nitg-s/-e: avoid compilation of emtpy vt/ft/unanchored structs.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-s: merged fts, vts and unanchored struct types representations.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-s: reorder struct type fields

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-s: introduce unanchored resolution tables.

Unanchored resolution tables allow the compiler to retrieve at runtime a live generic type with given formal types
Old tree based resolution structure with tree is now an option of nitg (--generic-resolution-tree)

Options --bm-typing and --ph*-typing affects the unanchored tables generations.

Updated nitg.res with new option. Also added tests in makefile.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge remote-tracking branch 'alexandre/master'

tests: add test_array_formal.nit

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

tests: add base_virtual_type_variance.nit

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

tests: add base_attr_boxing.nit

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

nitg-e: add option --no-check-erasure-cast to disable erasure-casts

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

nitg-e: implements erasure-cast

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

typing: add CallSite::erasure_cast to indicate if a cast may be required

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

nitg: add v.compile_callsite to generate the send associated to a CallSite instances

The point of this method is to extends the CallSite concept
to the compiler.

A future commit will redefine compile_callsite method to add erasure-casts.

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

typing: attach CallSite instances to AST nodes

Instead of having some partial information, just attach the whole thing.
Previous partial information is tagged @depreciated

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

nitg-s: retrieve recursively all partial generic types

for new G[H[nullable T], Object] and T: X
nitg-s will now find :
G[H[nullable X], Object]
H[nullable X]
nullable X
Object
as type to generate.

H[nullable X] and nullable X are considered as partial type because they are only used as part of a generic livetype.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

typing: new class CallSite

This class is used to combine information on a specific call site.

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

nitg-s: add cast to remove c warnings

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

benchs: add entry for nitg-e with inline colors, bm, phmod and phand

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

tests: add goals in makefile for nitg-s/-e with --bm-typing --phmod-typing and --phand-typing

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

tests: update option list for nitg, nitg-s & nitg-e

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

coloring: replace static bound of OrderedSet[nullable Object] with Object

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-s/-e: rename c variable "type" in body function to avoid conflicts with parameter names

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge remote-tracking branch 'github-privat/master'

nitg-s: introduce formal type perfect hashing

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-s/-e: introduce virtual type perfect hashing

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-s: limit table access by factoring c code

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-s: instantiate the right array in case of unresolved elttype

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

nitg-s/-e: make typing related option names simpler

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-s: option --use-naive-coloring now affects FT, VT and livegen fabrics coloring

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-s/-e: always use coloration for attributes and methods are always

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-s: allocate HashSet[MType] for conflicts_graph_cache

A covariant cast error is raised by non-buggy engines when
a MNullableType object is added into a Set[MType] that is
dynamically a HashSet[MClassType].

Instantiate HashSet[MType] instead of HashSet[MClassType] remove
the cast error.

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

bench: split and specialize "options" benchs

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

bench: do not crash on die, just flag the failed command

This will make bigtests tests other benchs.

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

tests: upgrade nitg-s to *.nit

There is still an unknown breakage on nit_args1 :/

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

nitg: do not compile main during the instantiation

main requires `init` and `send`, thus it is preferable to
wait that basic structures or whatever are built.

For instance, the new behavior fixes --hardering with nitg.

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

nitg-s/-e: add option --use-*-perfect-hashing

Coloration can be replaced by perfect hashing for subtyping tests.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge remote branch 'alexandre/master'

tests: add base_autocast.nit

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

nitg: implements implicit casts for unsafe nexpr

add the option --no-check-autocast to disable it.

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

tests: declare Bool to base_types_nullable_formal_and_virtual

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

tests: fix test_attr_easy.res for the new model.

Commit d2992803b added a space in the representation of generic types,
thus changed an error message.

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

niti: implements implicit casts for unsafe nexpr

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

typing: new attribute AExpr::implicit_cast_to

If required, the following implicit cast ".as(XXX)"
Such a cast may by required after evaluating the expression when
a unsafe operation is detected (silently accepted by the Nit language).

The attribute is computed by `check_subtype`

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

typing: the return of check_subtype can distinguish safety and unsafely.

Thus visit_expr_subtype can return the correct type
as if an implicit cast was added.

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

lib: fix ArrayMapValues::first

Thanks to the new MType::is_subtype test, bugs like these can be spotted.

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

model: rewrite of MType::is_subtype

The previous writing was just wrong.
Mainly because the two first `resolve_for` always lost the parameter types.
But the rest of the method was also overly complex and buggy.

Note that the fixed behavior make a test pass because of the
"FIXME workaround" in typing.nit

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

nitg: refactoring

No more intrude include import of  coloring
Change blocks from run_global_compiler as new services of GlobalCompiler to nitg for better code reuse in subclasses
* compile header
* compile class names
Rename some functions from generate_ to compile_ for more uniform naming

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

lib: rewrite Collection::rand without explicit closure

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

tests: test equality on Float

The point is that some floats are equal even if the bit representation
differs. This helps to illustrate bad implementation of floats.

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

tests: add base_attr_init_val_raf.nit

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

tests: add base_gen_variance.nit

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

nitg-s/-e: Add option --use-naive-coloring

When enabled, this option replace standard coloring by a naive one allowing the compiler to simulate binary matrix type representation.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-e: change empty slots representation in vt tables to avoid C warning in sparse tables.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg: fix tests/sav/nitg with new options added in nitg-s

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-s: add --inline-coloring-numbers option

With this option activated nitg-s use #define to inline coloring numbers.
Without, nitg-s use const.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-s/-e: refactor property coloring for use of #define

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-s: rename SeparateCompiler:do_global_type_coloring to do_type_coloring

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-s/-e: move compiler.header initialisation into init

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg/nitg-s: move MParameterType::c_name and MNullableType::c_name from nitg to nitg-s

Both are only used from nitg-s and subclasses

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge remote-tracking branch 'github-privat/master'

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-s/nitg-e: handles nullable virtual type based on non-nullable virtual types.

class A
   type T: X
   type U: nullable T
end

U is now correctly considered as a nullable T.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

niti: move base_isa_nullable2 to fixme

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

niti: do not output object_id (not reliable)

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

nitg: check_init_instance use a call CHECK_NEW_XXX

This is analogous the the instantiation that call NEW_XXX.
The point is to move global stuff (like the collect of attributes)
to the link-time in separate compilers.

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

nig: localize init_expr in attributes

Add tests to illustrate the behavior.

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

nitg: factorize Compiler#generate_init_attr

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

nitg: check_init_instance require a type

Relying on recv.mcasttype is dangerous.

The check_init_instance should be analogous to the init_instance.

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

bench: compilation_time: replace nitg.bin by nitg-e

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

nitg: two equal C types do not imply equal Nit types

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

nitg: add dangerous options to disable runtime tests

These options can be used to evaluate the runtime cost of some
features of Nit.

run_bench is updated to include these options.

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

nirg-sep: introduce box_kind to implements the "is" equality test

Each class is associated with a box_kind value that indicate if it is
a box and what kind of box.

Thus on comparaison, the box_kind can be used to unbox and compare
the real value.

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

nitg-sep: add option --no-inline-intern

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

nitg-sep: inline primitive call on intern methods

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

nitg-e: fix implementation of class_name_string

see a9435075f8ea304415ca846d69f14b888b3ed37f for details.

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

nitg: move engine selection to nitg.nit

No more ugly hijacking.

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

nitg-e: better handling of virtual types.

VT are now colorized and stored in the class table to be retrieved à type test.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

tests: add some tests on virtual types.

tests use recursive vt declarations

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

tests: add some tests for covariant genericity.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

model: MGenericType::to_s add space between formal types

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-sep: fix calloc_array to use the live generic type of self

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge branch 'master' of https://github.com/privat/nit

nitg-sep: better handling of nullable types

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-sep: colorize live generic types entries

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

Conflicts:

src/separate_compiler.nit

bench: add a boostrap test to generate compilers

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

bench: add nitg-e as en engine

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

tests: add nitg-s and nitg-e as specific engines

Notes:
* the base_gen* bug need to be investigated
* make nitg-s only run the base tests

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

tests: put stderr before stdout

The result files contain in order:

- compiler messages
- error output
- standard output

This improve the compatibility of res with niti since compiler
messages are issued on the error output.

Update the sav/* file to reflect the change.

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

niti: write fatal error on stderr

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

tests: niti skips test_mem

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

nitg-e: remove autobox since the inherited one is identical

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

nitg-sep: BOX_XX does not require a type argument, the class is enough

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

nitg-sep: partially revert the last commit; do not change nitattribute_t

As usual, it is the little change that could not potentially break things
that break the build.

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

nitg-sep: improve attribute implementation for primitives

primitives are boxed, but the box is reused on write and the unboxed value
is returned on read.

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

nitg-e: type_test do it easy if the result is statically true

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

nitg-e: type_test do not box the value.

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

nitg-sep: monomorphic_send if the mcasttype is primitive

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

nitg: implements force_garbage_collection

Just call GC_gcollect

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

nitg: stop displaying debug info on Unimplemented expr

Runtime still print NOT YET IMPLEMENTED however.

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

nitg-sep: handles virtual types in typing and init_instance

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-sep: autobox self before call on self->type

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

nitg-sep: fix recursive unanchored type declarations

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>