New test suite for closures

Type and check 'break' return values.
A small inference is done in case of multiple breaks.

Type and check 'continue' return value.
Also detects closure with a missing continue.

Typing of closures

Update Nit grammar to add closures.

Add default values for some primitive type attributes.

Fix opts: forgot to assign the default value.

No more default value for local variables.
Control flow requires that a variable is assigned before used.

Remove a old exception for constructors.

New tests base_init_auto and error_init_auto.

Fix base_init_linext tests.

Do not compile unaccessible constructors.

Update get_default_constructor_for and AConcreteInitPropdef
* Use is_init_for
* No super-constructor found is now an error
* super_init_calls skips mixin classes

Promote mixin concept to the abstractmetamodel module.
Add is_mixin and mixing_of in MMGlobalClass.
Add is_init_for in MMGlobalProperty.
Update process_default_constructors in mmbuilder.

Fix some broken constructors.
Unautomatize attributes in MMAncestor class.
Explicitly call super in MMTypeFormal.

Suppress C warnings related to NEW_ functions
Declare real NEW_{class}_{meth} function prototypes in sep.h files
Remove useless NEW_{meth} functions prototypes from sep.h files

Show gcc warnings.
Also remove some trivial warnings.

Make 'self' a standard parameter (ParamVariable)
This simplify the implementation and allows isa to work on self.
A new test, base_isa_cast_self, is also added to check cast on self.

Move local variable declarations in a structure.
All local variables are created in an array declared in the top of the C functions.

Split CompilerVisitor into 3 classes.
CFunctionContext is about the C function currently written
NitMethodContext is about the Nit method currenlty compiled

Dot not try to work after parsing if --only-parse is given.

Prevent statements to be used as expressions.
Add two method check_expr and check_conform_expr that check if an
PExpr is a real expression (not a statement) and its conformity.

Update existing tests to match the possibly updated error message.
Add a new test, base_meth_call, to detect some 'stmt as expr' errors.

Simplify control flow and update tests.
attr _has_return is not needed since _unreash can do the job.
Also improve the error message if a return is missing.
Tests results are updated to reflect the new error message.

Remove specific flow analysis for params and forvardecls
Instead, consider that only variable declared with var need to be set.

Fix tests.sh to not forget some alternatives.
Negative-only alternatives are now included.

Extract get_signature from process_signature.
Rationale: blocs will require processing of a known signature.

New SignatureBuilder class.
Extract signature buildding from PropertyVerifierVisitor to the
new class SignatureBuilder.
Rationnale is that with blocs, signatures will be somewhat nested.

Specialize Variable class.
Create 3 subclasses: VarVariable, ParamVariable and AutoVariable

Generate parser prod subclasses with null assigned attributes.

Rename methods named 'with'.
Blocs will use the reserved 'with' keyword.

Add "file_delete" method in String and NativeString.
Implemented native function to delete a file.

Update SCM ignore rules.

Update c_src with new default constructor rules.

More picky 'super' in constructors.
Now super do not chose any constructor without parameter, but only those named 'init'

Automatic constructors.
Automatic constructors are implicit anonymous init that collects unassigned
attributes in their signatures.

Methods without PNodes.
Unlike explicit methods, implicit methods are not associated with a PNode.
These changes bring up the infrastructure for such inplicit methods.

New tests for inherited constructors.

Inheritance of constructors.
A class without constructors can inherit those of its superclasses.
These classes are called "Mixin" since their subclasses do not have to care about their initialisation.

The inherited constructors are all that belong to the most specific non-mixin superclass.

Customize constructor call.
Now that properties are not adapted during inheritance:
 * compile_constructor_call takes the static type of the instantiated class
 * constructors are customized according to the instantiated class

Do not crash if a constructor is not found.

Conform constructors to the strict 'redef' rule.
For some old reasons, 'redef' in front of a new constructor was ignored.
Now the standard behavior is the rule for constructors.

Prepare Nit code for inherited and automatic constructors.
All components are impacted (stdlib, compiler and tests).
Changes concern:
 * attribute default values
 * constructor namies
 * class kind
 * redef keyword

Update c_src. Enable one gcc pass bootstrap.

Only one gcc pass for initial bootstrap

Make that option -p is appenned to comdir instead of each file.

Add option --compdir to specify the compilation directory.
By the way, rename the badly named 'base_dir' attrbute to 'compdir'.

Make gccx consider filepaths independently.

Make that generated files are path independent.

Update c_src

Update tests
Fix count in tests.sh
Update various .nit and .sav

test add rterror_check.sav ####

Move test *.sav files to a sav/ subdirectory.

Do not abort when comparing signatures, just return false

Fix nitdoc since MMConcreteProperty is removed.

Move property selectors from types to local classes

Remove the now useless MMConcreteProperty class

Simplify local property inheritance.
Without implicit properties, local property inheritance is easier.

start removing implicit properties

Remove some remaining PRM references

Fix nitdoc

remove putenv, setenv and unsetenv

Remove non portable -C option in makefiles

Fix 64 bits: use long int in class tables

Automatically enable Bohem's GC if available.
On Debian based system, just run
# aptitude install libgc-dev

Remark: it is only a trade off until we have our own GC.

Unset variable control flow

Prepare unset variable control flow

As keyword (for casts)

Fix bug: select incompatible default constructor

Prepare infrastructure for default constructor

Remove class MMSrcLocalProperty. Use MMConcreteProperty instead

Dot not consider Sys::init as an entry point

Prepare default constructors

new devel tool: mkcsrc
mkcsrc is used to generate a new c_src/ directory from a nitc executable
generated in src/

New c_src (with reduced string pool and simplified building)

Factorize common strings in generated C.
It reduces the constant pool size in the executable.

Add a first comment line for files generated by nitc.

Added tag v0.1 for changeset 6979f59d3d1c

First NIT release and new clean mercurial repository