misc: update NOTICE

* update dates
* add Alexandre Terrasa

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

doc: french doc "développez en Nit"

Signed-off-by: Alexandre Terrasa <alexandre@moz-concept.com>
Signed-off-by: Jean Privat <jean@pryen.org>

example: add circular_list.nit

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

example: add clock.nit and clock_mode.nit

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

doc: first real reference for the Nit language

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

Merge branch 'update_syntax' into next

Merge branch 'various-fixes' into next

parser: remove warning about useless cast

Old c_src was not able to infer that result is not null.

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

parser: use break and infinite loops

Because of the new c_src we can use them.

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

lib: fix NaiveCollection::length

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

metamodel: rename 'universal' to 'enum'

In the identifiers used in the metamodel and in the error messages.

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

misc: update syntax file with module and enum

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

tests: use enum instead of universal

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

metamodel: rename 'universal' to 'enum'

In the identifiers used in the metamodel and in the error messages.

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

parser: rename 'enum' to 'universal'

In fact, both are synonymous until 'universal' is completely removed.

Also rename some identifiers.

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

lib: change identifier enum to values

The keyword universal will be renamed to enum.

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

doc: use 'module' instead of 'package' in comments

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

tests: use module instead of package

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

parser: comment why !nopar is required in some place

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

tests: more documentation to tests_icode.sh

it was not really clear what it was doing :$

Signed-off-by: Jean-Sebastien Gelinas <calestar@gmail.com>
Signed-off-by: Jean Privat <jean@pryen.org>

tool: gccx use long version of the redirection

MacOS does not like the short one.

Signed-off-by: Jean-Sebastien Gelinas <calestar@gmail.com>
Signed-off-by: Jean Privat <jean@pryen.org>

c_src: update

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

Merge branch 'll-and-gg-operators' into wip

tests: add << and >> in test_operators.nit

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

parser: add << and >> operators

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

Merge branch 'package2module' into wip

Conflicts:
  src/program.nit
  src/abstracttool.nit
  analysis/inline_get_and_set.nit

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

Merge branch 'beef-up-gccx' into wip

misc: gccx does not accept more than 2 Vs (-vv), make sure we don't generate more than two Vs

A better way of handling this would be to make gccx smarter !

Signed-off-by: Jean-Sebastien Gelinas <calestar@gmail.com>

tool: use ccache in gccx, if available

This improves the compile-time of the hot-compilation case.

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

Merge branch 'alexis/various-fixes' into wip

compile: Check the validity of module filename before parsing.

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

lib: adds methods to tell if Char is a lower, upper, letter and digit

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Signed-off-by: Jean Privat <jean@pryen.org>

Merge remote branch 'pu/new-style_attributes' into wip

Conflicts:
src/parser/parser_tables.nit
src/parser/table_nit.c

Merge branch 'pu/parser_tables_in_c' into wip

compile: remove hackish optimization of Array::add

This optimization was useful with the parsing tables in Nit.

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

parser: update README

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

parser: use C tables in parser

Also remove all remainings of the old parser_tables.nit since it is
no more needed.

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

parser: use C tables in lexer

The new module parser/tables contains the tables used during the lexical
analysis.
Therefore, we do not need to have big tables in the Nit code for the lexer.

During the conversion, the handling of states (aka lexical contexts)
is removed since it is not used.

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

parser: factorize the lexer big accept switch

syntax: new-style attributes for those without underscore

A "new-style" attribute is not directly accessible.
Therefore it automatically comes with two accessors.

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

parser: accept attribute without underscore

This new syntax allow us to write
    class A
      var x: X
    end

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

parser: gnu sed do not like spaces

Fix 7d4ae02b1e07bc065063.
Next time do not forget to check that the parser is really buildable.

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

Merge remote branch 'jean-sebastien/various-fixes' into next

misc: save backup (with extention .orig) when regenerating parser/lexer

tests: add test for logging feature of nitc

Signed-off-by: Jean-Sebastien Gelinas <calestar@gmail.com>

tests: add nitc test

Signed-off-by: Jean-Sebastien Gelinas <calestar@gmail.com>

logs: add log information to the getter/setter inlining optimization

Signed-off-by: Jean-Sebastien Gelinas <calestar@gmail.com>

logs: fix logging feature, was crashing because of missing visibility tests

Signed-off-by: Jean-Sebastien Gelinas <calestar@gmail.com>

misc: add lib/*.log and lib/*.dot to .gitignore

Signed-off-by: Jean-Sebastien Gelinas <calestar@gmail.com>

misc: merge src/.gitignore to repository root

parser: rename package-related classes and properties

TKwpackage -> TKwmodule
APackagedecl -> AModuledecl
n_packagedecl -> n_moduledecl
n_kwpackage -> n_kwmodule

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

parser: accept the 'module' keyword

However, just make it a synonym for 'package'.

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

src: rename 'module' identifiers

'module' will become a keyword.
Therefore the identifiers 'module' must be renamed.

The strategy is the following:
* use 'mod' in local variables and parameters
* Program::module -> Program::main_module
* use mmmodule for other properties (no better ideas)

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

Merge branch 'optimize_c_code' into next

compatibility: fix compiler warning about size_t on some system

Signed-off-by: Jean-Sebastien Gelinas <calestar@gmail.com>

compile: LOCATE_* as static const strings

Do not use macros to factorize strings but static const strings.
This way the strings are stored in the RO segment of the binary.

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

compile: factorize abort code in the clib

Instead of generating again and again the same insructions for aborts
we have now a function nit_abort in the runtime C library.

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

compile: do not generate table and constructor iroutines of abstract/interface classes

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

Merge remote branch 'jean-sebastien/fix-test-icode' into next

tests: make sure all tests are ran by default

Signed-off-by: Jean-Sebastien Gelinas <calestar@gmail.com>

tests: add missing tests file for icode_ireg

Signed-off-by: Jean-Sebastien Gelinas <calestar@gmail.com>

misc: Adds type and universal to gtk syntax highlighting.

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

lib: Removes debug output from use of environement variables.

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

tool: add option -ll (clang) to gccx

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

tool: add option -R (recompilation) to gccx

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

Merge remote branch 'boa/pu/optimize_parser' into wip

parser: factorize reduce actions

The fact_parser script postprocesses the generated parser.nit and
factorizes the ReduceAction classes.

Before factorization: 605 classes
After factorization: 355 classes

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

lib: keys in maps and sets are not nullable

This removes some unsafe code and prepare for a potential strictier nullabe type
implementation.

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

# Conflicts:
#
#  lib/standard/collection/hash_collection.nit

lib: fix ArrayMap::first

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

tests: add base_orelse.nit

Commit 33928a213274ee42ea341113c746a064da3f6bf4 added the sav-files without
the test file.

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

parser: do not write the goto address in the generated action

Store the number in an attribute of the ReduceAction classes.
This is necessary for the factorisation of actions.

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

parser: add Parser::concat to factorize code

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

parser: reduce some automatic inlining

* readable and writable with automatic opt
* stmtsn = stmts + n
* noend -> nolabel
* remove methid~noassign variant
* remove propdefs_tail

Currently, the only automatic inlining that remains are:

* PRedef
* PRecv
* PImplicitTopClass
* PRecvNopar
* PRecvNobra

Before:
* maketime=1m35s
* parser_tables.nit=492KB
* parser.nit=1.3MB
* nb reduceactions=1199
After:
* maketime=28s
* parser_tables=251KN
* parser.nit=501KB
* nb reduceactions=664

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

misc: add *.log and *.dot to .gitignore

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

Merge branch 'hash_optimisations' into wip

compile: filter some loops in program icode generation

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

metamodel: use HashSets instead of Arrays

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

lib: hash_collection learns the standard hashmap implementation

The standard hashmap implementation use array with chained nodes (bucklets).
The previous implementation triggers patological case with a near O(n)
complexity.

Warm bootstrap shows an improvement from 0m21.217s to 0m18.613s.

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

lib: reduce acces to _array in hash_collection

Add helper functions and refactorize some code

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

lib: direct key access in HashMap and HashSet

Improve HashMap efficiency by acceding the key of HashNodes directely.

HashMapNode is no more a Couple and HashMap is no more a CoupleMap.

rought figures show a small speed improvement:

$ time ./nitc -v -W -p 2 nitc
avant: 1m15.061s
apres: 1m10.424s

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

Merge branch 'syntax_flow_and_scope' into wip

Merge branch 'valgrind_script' into wip

tools: add a valgrind helper script

The script call valgrind with the right options to disable the GC and
avoid loops.

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

syntax: merge ScopeContext and EscapeContext

and reorganize the related modules modules

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

syntax: split the VariableContext into a Scope and a Flow context

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

syntax: new enter_visit_block helper function

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

syntax: new mark_unreash helper function

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

syntax: factorize some block/loop structures

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

syntax: new "or else" construction

where
  var c = x or else y
is (roughly) equivalent to
  var c = x
  if c == null then c = y

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

syntax: "super" is a synonym of "special"

Nit syntax is declarative with nouns.

Examples:
  "class X" -> X is a class
  "fun x" -> x is a function of the class
  "var _x" -> _x is an instance variable of the class
  "init x" -> x is a constructor of the class

Therefore, it can make sense that the declaration
of superclasses use the same scheme.

  "super Y" -> Y is a superclass of the class
instead of the current
  "special Y" -> the class specializes Y
                (or the class is a special kind of Y)

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

icode: link INative with a MMMethod instead of a raw C code

syntax/icode_generation.nit is made cleaner since all the C stuff is
now done in compiling/compiling_icode.nit

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

metamodel: move the extern name of a method in the metamodel

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

icode: add I*Value classes

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

compile: declare NEW_NativeArray in nit_common.h

Thus simplify compiling_global::MMLocalClass::declare_tables_to_c

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

compile: add class compiling::CProgram to manage generated files

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

compile: use writers in icode compilation

Remove superstrings and other kinds of string concatenations.

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

compile: add module compiling_writer to replace CContext

It will helps to make the code generation more flexible and more efficient.
However, this patch does not change the generated C.

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

tools: nc kill showerr on TERM/INT

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

gc: rewrite for efficiency

* Major code clean
* Do only one pass (was 2 in the worst case)
* Map gc block to the page size
* Free the inactive heap

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

gc: new NIT_GC_OPTION 'malloc'

Used to have a genuine malloc thing that can be valginded.

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