nit.git
5 years agomisc/vim: inform the user when no results are found
Alexis Laferrière [Mon, 13 Apr 2015 03:52:34 +0000 (23:52 -0400)]
misc/vim: inform the user when no results are found

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

5 years agomisc/vim: update README file
Alexis Laferrière [Sat, 11 Apr 2015 14:21:51 +0000 (10:21 -0400)]
misc/vim: update README file

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

5 years agomisc/vim: delete the first empty line of the preview window on Nitdoc command
Alexis Laferrière [Sat, 11 Apr 2015 14:32:45 +0000 (10:32 -0400)]
misc/vim: delete the first empty line of the preview window on Nitdoc command

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

5 years agomisc/vim: the Nitdoc command search with priorities
Alexis Laferrière [Sat, 11 Apr 2015 14:12:30 +0000 (10:12 -0400)]
misc/vim: the Nitdoc command search with priorities

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

5 years agomisc/vim: make Nitdoc a command
Alexis Laferrière [Sat, 11 Apr 2015 13:41:21 +0000 (09:41 -0400)]
misc/vim: make Nitdoc a command

Use this vim command to show the doc of any entities `:Nitdoc Object`.

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

5 years agomisc/vim: fix omnifunc order of results found in the long doc
Alexis Laferrière [Sat, 11 Apr 2015 14:11:00 +0000 (10:11 -0400)]
misc/vim: fix omnifunc order of results found in the long doc

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

5 years agomisc/vim: make private functions local to the script
Alexis Laferrière [Sat, 11 Apr 2015 14:10:15 +0000 (10:10 -0400)]
misc/vim: make private functions local to the script

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

5 years agoMerge: Sys is top
Jean Privat [Fri, 10 Apr 2015 15:19:40 +0000 (22:19 +0700)]
Merge: Sys is top

And when I say *top* I mean *great*. But I also mean *top* in fact.

The idea is to move the top-level methods (those defined outside classes) from Object to Sys.
While this is a cosmetic move, it has a lot of benefits:

* top-level methods get a real meaningful receiver: the current system. It is meaningful both on the declaration side and the call side.
* no more need to distinguish the concept of top-level methods with their rules and semantic, so this simplify the language with one less thing (almost, see bellow)
* self is now usable in top-level methods, not that useful now because it is `sys`, a singleton, but this allow some kind of inheritance if you add super-classes to Sys.
* no more name conflicts between a standard class method and a top-level method
* no more useless slots in table of classes for crazy methods defined in Object and never redefined
* close #461 and close #1081 by making them irrelevant
* Let us see a bright future where the singleton Sys become a multiton and allow specific isolation of computation. Specific Sys will then be active objects (threads, computation node, actors, whatever) isolated with their own specific cloud of objects and efficient lock-less concurrency, dedicated memory model (realtime?), and why not transparent distribution

There is still two drawbacks

* what is the status of `sys` that represent the current `Sys`? I hard-coded it to stay a method in Object. One way to solve the probem is to make it a keyword (like `self`)
* when doing `foo(x)`, first this tries `self.foo(x)` then `sys.foo(x)` thus this is some additional rule of the language.

Pull-Request: #1249
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

5 years agoMerge: Robust IO
Jean Privat [Fri, 10 Apr 2015 11:27:53 +0000 (18:27 +0700)]
Merge: Robust IO

Some cleanup on lib/standard/file.nit
Especially close #755

There is still some work to do and question to answer from an API point of view.

Pull-Request: #1246
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

5 years agoMerge: miniclean quadtrees
Jean Privat [Fri, 10 Apr 2015 11:27:45 +0000 (18:27 +0700)]
Merge: miniclean quadtrees

Still a lot of warning remains...

Pull-Request: #1251
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>

5 years agotests: remove fixme sav/nitg-g/fixme/test_deriving_alt1.res
Jean Privat [Fri, 10 Apr 2015 10:31:17 +0000 (17:31 +0700)]
tests: remove fixme sav/nitg-g/fixme/test_deriving_alt1.res

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotests: ffi use `Sys_` instead of `Object_` prefix
Jean Privat [Wed, 8 Apr 2015 13:53:37 +0000 (20:53 +0700)]
tests: ffi use `Sys_` instead of `Object_` prefix

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotests: update tests results related to top-level or Object->Sys
Jean Privat [Wed, 8 Apr 2015 13:53:03 +0000 (20:53 +0700)]
tests: update tests results related to top-level or Object->Sys

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agocode: remove `protected` from top-level methods (now in sys)
Jean Privat [Wed, 8 Apr 2015 15:51:44 +0000 (22:51 +0700)]
code: remove `protected` from top-level methods (now in sys)

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotyping: remove most top-level things
Jean Privat [Wed, 8 Apr 2015 13:51:31 +0000 (20:51 +0700)]
typing: remove most top-level things

only kept for `new` factories and `sys` (for the moment)

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agolib/md5: do not import `print` in FFI
Jean Privat [Wed, 8 Apr 2015 13:50:04 +0000 (20:50 +0700)]
lib/md5: do not import `print` in FFI

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomixin: look for top-level methods in `Sys`.
Jean Privat [Wed, 8 Apr 2015 13:15:03 +0000 (20:15 +0700)]
mixin: look for top-level methods in `Sys`.

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodelize_classes: top-level methods are defined in Sys, not Object
Jean Privat [Wed, 8 Apr 2015 13:14:19 +0000 (20:14 +0700)]
modelize_classes: top-level methods are defined in Sys, not Object

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agoengines: implement special fall-back to sys
Jean Privat [Wed, 8 Apr 2015 13:11:35 +0000 (20:11 +0700)]
engines: implement special fall-back to sys

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotyping: look for method in `sys` when they are not in `self`
Jean Privat [Wed, 8 Apr 2015 13:10:54 +0000 (20:10 +0700)]
typing: look for method in `sys` when they are not in `self`

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodelize classes: process AStdClassdef before
Jean Privat [Wed, 8 Apr 2015 10:18:00 +0000 (17:18 +0700)]
modelize classes: process AStdClassdef before

So that non-AStdClassdef classes can be attached to existing ones if any

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agoniti: implements native `chdir` and `mkdir` with a return value
Jean Privat [Fri, 10 Apr 2015 10:09:18 +0000 (17:09 +0700)]
niti: implements native `chdir` and `mkdir` with a return value

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotests: update sav related to ligne changes in kernel
Jean Privat [Thu, 9 Apr 2015 14:50:55 +0000 (21:50 +0700)]
tests: update sav related to ligne changes in kernel

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agocontrib/nitester: no more free to call
Jean Privat [Thu, 9 Apr 2015 14:50:27 +0000 (21:50 +0700)]
contrib/nitester: no more free to call

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agolib: move errno and strerror to legacy FFI
Jean Privat [Mon, 6 Apr 2015 15:24:20 +0000 (22:24 +0700)]
lib: move errno and strerror to legacy FFI

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agolib/file: once some global constants
Jean Privat [Mon, 6 Apr 2015 15:10:17 +0000 (22:10 +0700)]
lib/file: once some global constants

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agolib/file: some methods return a nullable Error on error
Jean Privat [Mon, 6 Apr 2015 15:09:55 +0000 (22:09 +0700)]
lib/file: some methods return a nullable Error on error

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agolib/file: String::files does not exist on error
Jean Privat [Mon, 6 Apr 2015 15:08:52 +0000 (22:08 +0700)]
lib/file: String::files does not exist on error

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agolib/file: remove useless protected for top-level methods
Jean Privat [Mon, 6 Apr 2015 15:07:30 +0000 (22:07 +0700)]
lib/file: remove useless protected for top-level methods

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agolib/file: expose FileStat instead of NativeFileStat
Jean Privat [Mon, 6 Apr 2015 15:06:59 +0000 (22:06 +0700)]
lib/file: expose FileStat instead of NativeFileStat

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agoquatree: cleaup indentation
Jean Privat [Thu, 9 Apr 2015 13:30:54 +0000 (20:30 +0700)]
quatree: cleaup indentation

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agoquadtree: use new constructors
Jean Privat [Thu, 9 Apr 2015 13:30:39 +0000 (20:30 +0700)]
quadtree: use new constructors

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agoMerge: Misc AST
Jean Privat [Thu, 9 Apr 2015 05:24:43 +0000 (12:24 +0700)]
Merge: Misc AST

Various small improvements on the ast side.

The main improvement is the lower consumption of Location instances.
Before: 681k where created; for 174MIr
After:  472k are created (-30%); for 120MIr (-31%)
However, the final impact should be negligible.

Other changes are related to error messages in order to have them more useful in other context.
As a proof of concept, nitlight can show some warnings and errors in the generated HTML.
There is still issue, especially: how to display them property. Currently they are in a popupable dropdown boxes, but the with is too small and nested info boxes show unreadable stacked  things.

Eg, for `return new Foo[nullable Bar]`, how can I show

* information on the classes Foo and Bar
* error on the whole `nullable Bar` because Foo is in fact not generic
* error on the whole `new Foo[nullable Bar]` because in fact we are in a procedure, so no return value is expected

Pull-Request: #1248
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

5 years agoMerge: new `with` statement
Jean Privat [Thu, 9 Apr 2015 05:24:37 +0000 (12:24 +0700)]
Merge: new `with` statement

Introduce the `with` statement that is analogous to the `with` of Python or the `uning` of C#.

~~~nit
with x = something do
   x.work
end
~~~

That is equivalent with

~~~nit
do
   var x = something
   x.start
   x.work
   x.finish
end
~~~

Note that an alternative syntax, without the local variable exists:

~~~nit
with something do
   work
end
~~~

that is used when we want some automatic control or whatever. Eg resource allocation or critical section.

~~~nit
do
   var tmp = something
   tmp.start
   work
   tmp.stop
end
~~~

Most real-world examples could be

~~~nit
with file = path.create do
   file.write("Bla")
end
~~~

and

~~~nit
with a_mutex do
   work
end
~~~

## Names

I reused the `finish` method from Iterator.
I introduced the antonym `start` for the other side.

Note that the `start` is important because it helps the object to know it has to prepare itself for a `finish`.

I did not introduce an interface, mainly because I have no idea for a name. C# names it `IDisposable` and the `finish` method is called `Dispose`. There is no `start` because C# designers are lunatic sometime.

In python there is no interface (obviously) and the method are called
`__enter__` and `__exit__` because Python likes identifiers that resemble words eaten by boas.
Note that the returned variable is not the original expression but the result of `__enter__`.
With the Python semantic, but the Nit syntax, the first example will be equivalent to

~~~nit
do
   var tmp = something
   var x = tmp.start
   x.work
   x.finish
end
~~~

I am not sure of the benefits of the additional complexity, but the the more I thing about it the more I think this could be useful, ex for the control case the `start` can return the handler to `finish`.

The issue is that proposed syntax: `with x = something` does not make sense (because `tmp=something` and `x=tmp.start`) thus should be replaced with something else; Python uses `with something as x:` that we can reuse but I do not want because it is ugly.

An other alternative I tough of was to reuse the `for` keyword. but It is convoluted.
The two previous real world examples will then be

~~~nit
for file = path.create do
   file.write("Bla")
end
~~~

and

~~~nit
for a_mutex do
   work
end
~~~

Pull-Request: #1243
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Etienne M. Gagnon <egagnon@j-meg.com>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

5 years agotests: update nitlight and test_parser
Jean Privat [Wed, 8 Apr 2015 14:39:22 +0000 (21:39 +0700)]
tests: update nitlight and test_parser

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agohightlight: remove two asserts that make #1247 crashes
Jean Privat [Wed, 8 Apr 2015 14:36:59 +0000 (21:36 +0700)]
hightlight: remove two asserts that make #1247 crashes

the result is still buggy but things keep-going

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotest_parser: add option `-x` to output XML
Jean Privat [Wed, 8 Apr 2015 05:29:24 +0000 (12:29 +0700)]
test_parser: add option `-x` to output XML

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agohighlight: add infoboxes with messages
Jean Privat [Wed, 8 Apr 2015 05:22:11 +0000 (12:22 +0700)]
highlight: add infoboxes with messages

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agohighlight: factorize the creation of tags
Jean Privat [Wed, 8 Apr 2015 05:21:31 +0000 (12:21 +0700)]
highlight: factorize the creation of tags

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotoolcontext: error methods return the messages, to add information
Jean Privat [Wed, 8 Apr 2015 05:08:41 +0000 (12:08 +0700)]
toolcontext: error methods return the messages, to add information

unused yet.

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotoolcontext: attach errors message to their location
Jean Privat [Wed, 8 Apr 2015 16:10:42 +0000 (23:10 +0700)]
toolcontext: attach errors message to their location

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agoparser: reuse child location when possible
Jean Privat [Wed, 8 Apr 2015 05:01:07 +0000 (12:01 +0700)]
parser: reuse child location when possible

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agolexer: do not create useless location (for whitespaces)
Jean Privat [Wed, 8 Apr 2015 05:00:20 +0000 (12:00 +0700)]
lexer: do not create useless location (for whitespaces)

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agoMerge: Parallelization phase introduction
Jean Privat [Wed, 8 Apr 2015 01:03:25 +0000 (08:03 +0700)]
Merge: Parallelization phase introduction

Introduces the begining of the parallelization in Nit !

For now, only accepts the "threaded" annotation on methods without return value and without parameters.

Coming next :
Parametrized methods,
methods with return value,
for loops.

Pull-Request: #1247
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

5 years agoMerge: Not null types
Jean Privat [Wed, 8 Apr 2015 01:01:49 +0000 (08:01 +0700)]
Merge: Not null types

In order to fix #86 and #1238 some preliminary work to solve remaining issues with the type system is needed. This PR is a step toward this goal.

This introduce not-null types, that is a modifier to indicate that a type cannot contain null.
Basically, this new modifier is almost useless because it is the semantic of all the types (except obviously null and nullable things). Except in one case: when one adapts a formal type whose bound is nullable.

Before the PR, the semantic was the following

~~~nit
class A[E: nullable Object]
   fun foo(e: E, o: nullable Object) do
      var o2 = o.as(not null) # the static type of o2 is `Object`
      print o2 # OK
      var e2 = e.as(not null) # the static type of e2 is still `E` because there is no `nullable` to remove
      print e2 # Error: expected Object, got E
   end
end
~~~

Obviously, the issue was not that important because people managed to program complex things in Nit and I do not remember getting some complain about that particular issue. For the rare cases of this unexpected behavior, a workaround was possible: to cast on the non-nullable bound

~~~nit
   var e2 = e.as(Object)
   print e2 # OK
~~~

Nevertheless, the behavior was still buggy since type information was lost and not POLA. Moreover, `!= null` and `or else` did not have a workaround.

So, this PR introduces a special new type-modifier for this case so that everything become sensible.

~~~nit
      var e2 = e.as(not null) # the static type of e2 is now `not null E`
      print e2 # OK
~~~

Moreover, a lot of local refactorisation was done in model.nit and typing.nit to clean and harmonize the code. So that independently of the new notnull modifier, the code is cleaner, some bugs where removed and some small features added, especially the detection of useless `or else`.

Last, but not least, the `not null` thing is only an internal modifier and is not usable as a syntactic type construction (the grammar and the AST is unchanged); `not null` can however be shown to the programmer in messages.

~~~nit
      var e2 = e.as(not null) # the static type of e2 is now `not null E`
      var e3 = e2.as(not null) # << Warning: expression is not null, since it is a `not null E` >>
~~~

I could easily add `not null` as a specific syntactic construction since everything internally is ready. but 1. does this worth it?. 2. I do not want to conflict with #1243 that also change the grammar.
As an example, is it useful to write the following? (currently refused but very easy to add after this PR)

~~~nit
class A[E: nullable Object]
   fun foo(e: not null E): not null E do
      var x = e.to_s # no null pointer exception
      # ...
      return e
   end
end

var a = new A[nullable Int]
var i = a.foo(5)
~~~

Pull-Request: #1244
Reviewed-by: Etienne M. Gagnon <egagnon@j-meg.com>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

5 years agoMerge: Improve checking of virtual types
Jean Privat [Wed, 8 Apr 2015 01:01:15 +0000 (08:01 +0700)]
Merge: Improve checking of virtual types

This PR does 2 things to avoid runtime errors during nitc. Invalid programs that crashed the compiler now display errors messages.

* improve the static detection of loops in virtual types.
* consider types in the signatures of properties to be fragile since they contains potentially bad virtual types.

If merged with #1241 then nitpick can process the whole tests directory without crashing (impressive, since there is 1584 border-case files).
~~~
$ ./nitpick ../tests/*.nit ../tests/alt/*.nit -I ../lib/standard/ -I ../lib/standard/collection/
[... lots of errors ...]
Errors: 1766. Warnings: 195.
~~~

Pull-Request: #1245
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

5 years agoMerge: Clean benches
Jean Privat [Wed, 8 Apr 2015 01:01:07 +0000 (08:01 +0700)]
Merge: Clean benches

Some janitoring in the benchmarks directory

Pull-Request: #1242
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

5 years agoMerge: Robust keep-going
Jean Privat [Wed, 8 Apr 2015 01:00:53 +0000 (08:00 +0700)]
Merge: Robust keep-going

Detection and resolution of crashes or irrelevant error messages with tools that keeps going (eg. nitpick).

Historically, the compiler just exited at the end on a step when an error occured. The ToolContext#keep_going flag disable this automatic exit and was introduced for tool that are expected to be launched on broken code: nitpick and nitlight. However most parts of the code expected that:

* the previous steps where completed successfully, and expected information where available and correct.
* they are that special important snowflake can just exit the whole program when they are unhappy.

These rules can make sense for a compiler but are to strict for most SE tools that need to work (or continue working) when some random module contain an error.
Thus this PR improve the robustness of various parts of the code for the keep-going case so that we do not exit or crash before having processed all the modules.

With this PR, the following command does not crash anymore:

~~~
$ nitpick `nitls -rps ../lib ../contrib ../examples`
[...]
Errors: 10. Warnings: 31.
~~~

Note that `nitpick ../tests` still crashes. There is ugly errors hard to recover from in this directory.

Maybe, one day most of the tools can be made keep going by default.

Pull-Request: #1241
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Etienne M. Gagnon <egagnon@j-meg.com>

5 years agosrc/hightlight: hightlight and do not crash on MNotNullType
Jean Privat [Tue, 7 Apr 2015 10:37:36 +0000 (17:37 +0700)]
src/hightlight: hightlight and do not crash on MNotNullType

Also add MNullType that where missing.

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotests: add base_not_null.nit and base_notnull_lit.nit
Jean Privat [Sat, 4 Apr 2015 15:50:58 +0000 (22:50 +0700)]
tests: add base_not_null.nit and base_notnull_lit.nit

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agocode: remove useless `or else` now that they are detected
Jean Privat [Sat, 4 Apr 2015 15:46:56 +0000 (22:46 +0700)]
code: remove useless `or else` now that they are detected

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotests: update test_new_native_alt1.res because line change in array :(
Jean Privat [Sat, 4 Apr 2015 15:38:26 +0000 (22:38 +0700)]
tests: update test_new_native_alt1.res because line change in array :(

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotests: update because resolved types are in error messages
Jean Privat [Sat, 4 Apr 2015 15:37:56 +0000 (22:37 +0700)]
tests: update because resolved types are in error messages

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotyping: on type error, also indicate the resolved type
Jean Privat [Sat, 4 Apr 2015 15:36:53 +0000 (22:36 +0700)]
typing: on type error, also indicate the resolved type

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agoUpdate tests error message on null adaptation and tests
Jean Privat [Sat, 4 Apr 2015 15:04:55 +0000 (22:04 +0700)]
Update tests error message on null adaptation and tests

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agolib/array: suppress a warning to be compatible with the bootstrap
Jean Privat [Sat, 4 Apr 2015 13:36:44 +0000 (20:36 +0700)]
lib/array: suppress a warning to be compatible with the bootstrap

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodel: rename `as_notnullable` to `undecorate`
Jean Privat [Sat, 4 Apr 2015 13:35:41 +0000 (20:35 +0700)]
model: rename `as_notnullable` to `undecorate`

The behavior is to remove the decoration, and `as_notnullabe` is not
the best name to undecorate a `MNotNullType`

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotyping: add `check_can_be_null` to fix and factorize as_notnull transformations
Jean Privat [Sat, 4 Apr 2015 13:31:11 +0000 (20:31 +0700)]
typing: add `check_can_be_null` to fix and factorize as_notnull transformations

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodel: add new type `MNotNullType` to force that null is excluded from a type.
Jean Privat [Sat, 4 Apr 2015 13:29:08 +0000 (20:29 +0700)]
model: add new type `MNotNullType` to force that null is excluded from a type.

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotests: update sav/base_virtual_type7.res
Jean Privat [Mon, 6 Apr 2015 08:22:54 +0000 (15:22 +0700)]
tests: update sav/base_virtual_type7.res

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotests: add error_virtual_type.nit and error_virtual_type2.nit
Jean Privat [Mon, 6 Apr 2015 08:19:43 +0000 (15:19 +0700)]
tests: add error_virtual_type.nit and error_virtual_type2.nit

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agolib/file: add some doc and nitunits
Jean Privat [Mon, 6 Apr 2015 15:06:00 +0000 (22:06 +0700)]
lib/file: add some doc and nitunits

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agoclib/gc_chooser: add a default for a switch to silent a warning
Jean Privat [Mon, 6 Apr 2015 14:40:53 +0000 (21:40 +0700)]
clib/gc_chooser: add a default for a switch to silent a warning

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodelize_property: improve the search of circularity for virtual types
Jean Privat [Mon, 6 Apr 2015 08:17:00 +0000 (15:17 +0700)]
modelize_property: improve the search of circularity for virtual types

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodelize_property: use resolve_mtype_unchecked during build_signature
Jean Privat [Mon, 6 Apr 2015 05:10:29 +0000 (12:10 +0700)]
modelize_property: use resolve_mtype_unchecked during build_signature

Signature can contain illegal type made of virtual types.
But at this point, the virtual types are not yet validated.

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodelize_property: remove unused ASignature::build_signature
Jean Privat [Mon, 6 Apr 2015 08:11:24 +0000 (15:11 +0700)]
modelize_property: remove unused ASignature::build_signature

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agolib/ai: remove randomness in puzzle so benches can compare sanely
Jean Privat [Sat, 4 Apr 2015 21:43:32 +0000 (04:43 +0700)]
lib/ai: remove randomness in puzzle so benches can compare sanely

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodel: extract a common proxy from MNullableType
Jean Privat [Sat, 4 Apr 2015 10:34:05 +0000 (17:34 +0700)]
model: extract a common proxy from MNullableType

This will simplify the creation of future proxys/decorations for types.

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agosrc: use MFormalType for type checks when it makes sense
Jean Privat [Sat, 4 Apr 2015 09:57:09 +0000 (16:57 +0700)]
src: use MFormalType for type checks when it makes sense

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodel: introduce MFormalType as a superclass of MVirtualType and MParameterType
Jean Privat [Sat, 4 Apr 2015 09:56:12 +0000 (16:56 +0700)]
model: introduce MFormalType as a superclass of MVirtualType and MParameterType

Strangely enough, they do not have common methods yet.
It is why a super-class was never introduced.

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotests: add base_with.nit
Jean Privat [Mon, 30 Mar 2015 12:02:55 +0000 (19:02 +0700)]
tests: add base_with.nit

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agocode: rename identifiers `with` since it is a keyword now
Jean Privat [Mon, 30 Mar 2015 03:07:15 +0000 (10:07 +0700)]
code: rename identifiers `with` since it is a keyword now

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agointerpreter: interpret `with` statement
Jean Privat [Mon, 30 Mar 2015 02:59:48 +0000 (09:59 +0700)]
interpreter: interpret `with` statement

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotransform: transform the `with` statement
Jean Privat [Fri, 3 Apr 2015 07:59:12 +0000 (14:59 +0700)]
transform: transform the `with` statement

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agobenches/strings: add .gitignore and `make clean`
Jean Privat [Fri, 3 Apr 2015 05:44:33 +0000 (12:44 +0700)]
benches/strings: add .gitignore and `make clean`

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agobenches/engines: remove nitcc generated files for calc
Jean Privat [Fri, 3 Apr 2015 05:36:47 +0000 (12:36 +0700)]
benches/engines: remove nitcc generated files for calc

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agobenchs/markdown: add a .gitignore to avoid cruft
Jean Privat [Fri, 3 Apr 2015 05:32:06 +0000 (12:32 +0700)]
benchs/markdown: add a .gitignore to avoid cruft

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agobenchs/markdown: add a root Makefile
Jean Privat [Fri, 3 Apr 2015 05:31:38 +0000 (12:31 +0700)]
benchs/markdown: add a root Makefile

most for the for the `clean` than for the `all`

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotests: update fatal error messages.
Jean Privat [Fri, 3 Apr 2015 05:52:14 +0000 (12:52 +0700)]
tests: update fatal error messages.

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotoolcontext: call only `errors_info` once at the end
Jean Privat [Fri, 3 Apr 2015 02:47:05 +0000 (09:47 +0700)]
toolcontext: call only `errors_info` once at the end

Thus only display one total of errors/warnings, not one per call of `check_errors`

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodelbuilder: run_global_phases do nothing for an empty list of modules
Jean Privat [Fri, 3 Apr 2015 02:45:57 +0000 (09:45 +0700)]
modelbuilder: run_global_phases do nothing for an empty list of modules

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotyping: do not rely on `MModule.object_type` that will fatal error
Jean Privat [Fri, 3 Apr 2015 02:45:21 +0000 (09:45 +0700)]
typing: do not rely on `MModule.object_type` that will fatal error

Instead get the standard `missing class` error and continue processing

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodel: get_primitive_class filter classes by module
Jean Privat [Fri, 3 Apr 2015 02:35:54 +0000 (09:35 +0700)]
model: get_primitive_class filter classes by module

This make the analysis of distinct kernels possible (and robust)

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agotyping: be more robust on missing/buggy information
Jean Privat [Fri, 3 Apr 2015 02:42:20 +0000 (09:42 +0700)]
typing: be more robust on missing/buggy information

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodelize_class: make the class-name-conflict a warning
Jean Privat [Fri, 3 Apr 2015 02:44:12 +0000 (09:44 +0700)]
modelize_class: make the class-name-conflict a warning

as an error, it prevents temporary duplication of same classes
for development and experimentation.

One do not want to have an hard error in a file because a random file
in the same directory has issues.

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodelize_property: invalidate information to avoid causing cascaded errors
Jean Privat [Fri, 3 Apr 2015 05:54:46 +0000 (12:54 +0700)]
modelize_property: invalidate information to avoid causing cascaded errors

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodelize_class: make various steps more robust if the previous steps failed
Jean Privat [Fri, 3 Apr 2015 02:40:36 +0000 (09:40 +0700)]
modelize_class: make various steps more robust if the previous steps failed

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodelbuilder: promote `get_mclass_by_name` from typing
Jean Privat [Fri, 3 Apr 2015 02:36:57 +0000 (09:36 +0700)]
modelbuilder: promote `get_mclass_by_name` from typing

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodelbuilder: resolve_mtype does not crash when the class is incomplete
Jean Privat [Fri, 3 Apr 2015 02:34:36 +0000 (09:34 +0700)]
modelbuilder: resolve_mtype does not crash when the class is incomplete

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agomodel: protect MClassDef.is_intro and provide MClass.try_intro
Jean Privat [Fri, 3 Apr 2015 02:34:01 +0000 (09:34 +0700)]
model: protect MClassDef.is_intro and provide MClass.try_intro

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agoloader: build_module_importation invalidates the mmodule on errors
Jean Privat [Fri, 3 Apr 2015 02:33:01 +0000 (09:33 +0700)]
loader: build_module_importation invalidates the mmodule on errors

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agoloader: the AModule.mmodule can be null if the mmodule is invalid
Jean Privat [Fri, 3 Apr 2015 02:32:04 +0000 (09:32 +0700)]
loader: the AModule.mmodule can be null if the mmodule is invalid

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agovarious phases: more robust for keep-going
Jean Privat [Fri, 3 Apr 2015 02:30:22 +0000 (09:30 +0700)]
various phases: more robust for keep-going

Entry point of most phases return gracefully in case of missing info.
Instead of crashing.

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agobenchs/markdown: fix location of nitc
Jean Privat [Fri, 3 Apr 2015 05:30:46 +0000 (12:30 +0700)]
benchs/markdown: fix location of nitc

do not assume $PATH and make it modifiable

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agoMerge: parser: add a basic sabblecc3 parser in Java
Jean Privat [Fri, 3 Apr 2015 01:28:33 +0000 (08:28 +0700)]
Merge: parser: add a basic sabblecc3 parser in Java

So one can more easily play and compare parsers.

Sometime, when I have issues with the parser, it helps to understand if it is nit-related, sablecc-related or grammar-relater.

Pull-Request: #1240
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>

5 years agoMerge: Unite app.nit metadata annotations common to Android and iOS
Jean Privat [Fri, 3 Apr 2015 01:27:33 +0000 (08:27 +0700)]
Merge: Unite app.nit metadata annotations common to Android and iOS

* Rename the annotation `java_package` to `app_namespace`.
* Move up `app_name`, `app_version` and `app_namespace` and their default values from the Android platform.
* Apply these annotations in iOS too.
* Use the annotations in Hello iOS.

Pull-Request: #1233
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

5 years agoMerge: Updated bench scripts for strings
Jean Privat [Fri, 3 Apr 2015 01:27:25 +0000 (08:27 +0700)]
Merge: Updated bench scripts for strings

Updated the script for benching the variants of strings.

Some new variations for strings will follow in further PRs

Pull-Request: #1230
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Jean Privat <jean@pryen.org>

5 years agoparser: add a basic sabblecc3 parser in Java
Jean Privat [Fri, 3 Apr 2015 01:11:49 +0000 (08:11 +0700)]
parser: add a basic sabblecc3 parser in Java

So one can more easily play and compare parsers.

Signed-off-by: Jean Privat <jean@pryen.org>

5 years agoMerge: benches/markdown: add `pandoc` engine.
Jean Privat [Thu, 2 Apr 2015 16:54:08 +0000 (23:54 +0700)]
Merge: benches/markdown: add `pandoc` engine.

Here the result for 5 consecutive runs.

![image](https://cloud.githubusercontent.com/assets/583144/6013527/3bc7acae-ab56-11e4-819a-937b4550575e.png)

Pull-Request: #1136
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

5 years agoMerge: Test compilation of OS X and iOS programs, on OS X
Jean Privat [Thu, 2 Apr 2015 16:53:38 +0000 (23:53 +0700)]
Merge: Test compilation of OS X and iOS programs, on OS X

The results of the compilation of iOS apps by XCode are directories. This PR fix tests.sh to detect those directory and report them cleanly.

Also intro a script for running OS X specific tests.

Pull-Request: #1232
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>