Merge: Personalized tests

Extends the tests.sh infrastructure to be configurable by os and hostname

* handle `sav/$os`, `sav/$os/fixme`, `sav/$hostname` and `sav/$hostname/fixme` sav directories that can contains specific results `.res` when there is an expected divergence on results per architecture or machine
* specific `$hostname.skip` file to skip tests on a host basis (`$os.skip` files did already exists to filter at the architecture level)
* additional `sav/$foo/cc.skip` and `sav/$foo/exec.skip` where foo can be engines, os or hostname to fine-tune more things

Pull-Request: #1540
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>

Merge: Opportunity templates and pizzas

Adds templates to the Opportunity meetup creation page. The default software provides: 4 kinds of pizzas, 5 days work week and 7 days week. The software customized for xymus.net also provides: pizzas special LATECE and meeting hours for UQAM Sciences.

It is already available at http://xymus.net/opportunity/.

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

Merge: Third batch of rosettacode

Cleaning, small fixes and/or improved tests

Pull-Request: #1535
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

Merge: Audio API implementation for linux

fixes #1527.
The ideal solution would still be to implement SDL sounds but for now, this will be sufficient

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

Merge: example: add arithmetic mean example from rosetta code

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

Pull-Request: #1480
Reviewed-by: Jean Privat <jean@pryen.org>

lib&src/serialization: use deserialize_class_intern to avoid conflicts with custom implementations

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

src/serialization_phase: fix searching for `deserialize_class` in `Deserializer`

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

lib/json: there's no need for the length attribute in the generated JSON

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

lib/json: clear error list on each call to deserialize

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

lib/json: improve the human readable version of JsonParseError

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

lib/json: the `__kind` attribute is optional

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

lib/json: parse errors are moved to deserializer errors

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

lib/json: serialization is more tolerant to errors

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

lib/json: object __id is optional

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

src/serialization_phase: generate code to be more tolerant to errors

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

lib/serialization: deserialize_class should not be public

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

lib/serialization: prepare to collect errors and customize reactions to them

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

src/serialization: use multiline strings

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

tests: remove undefined tests results that work without the hacks

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

src/niti: mkdir the compile dir only if it doesn't exist

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

src/niti: use a real NativeString

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

src/niti: remove hack on NativeFile

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

src/niti: remove intern implementations to extern methods

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

contrib/opportunité: prevent useless xss exploit in meetup confirmation

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

nitdoc: introduce DocCommand `list`

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

markdown: add_wikilink accept a TokenWikiLink so clients can use the location

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

markdown: fix token location in multilines input

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

loader: set correct location for README files

Also correct comment for line_starts

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

doc_down: introduce `synopsis` service

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

doc_down: make processors visibles from other modules

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

nitdoc: update tests for svg

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

nitdoc: convert dot to svg instead of png

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

bench_nitdoc: allow other git ref than origin/master

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

example: add arithmetic mean example from rosetta code

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

nitdoc: make `DocComposite::title` writable

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

nitdoc: remove `well` around level 2 titles

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

nitdoc: introduce `DocCommand` concept for nitdoc and nitx

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

contrib/friendz/friendz_linux.nit uses linux audio app

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

Audio : Introduces linux audio

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

tests: skips some tests for Darwin

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

contrib/opportunity: add the 'Clear' template

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

tests: skip tests by hostname

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

tests: exec.skip and cc.skip are searched in the sav directories

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

tests: special sav directories available for uname and system.

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

examples/xymus.net: use the french Opportunité name in the header

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

examples/xymus.net: add UQAM/LATECE specific opportunities templates

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

contrib/opportunity: provide french translation for default templates

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

contrib/opportunity: add opportunities templates

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

contrib/opportunity: improve style of the maybe option checkbox

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

rosetta: ethiopian_multiplication

Close #1464

Signed-off-by: Renata Carvalho <renatawm@gmail.com>

RosettaCode: Vignere

Close #1479

tests: add pig_the_dice_game

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

rosettacode: pig the dice game

Close #1485

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

Merge: rosetta code: one_dimensional_cellular_automata

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

Pull-Request: #1493

Merge: Opportunity i18n & traduction française

This PR brings partial i18n support to Opportunity with a french translation. Most strings from the
 UI are covered but not the error messages. This PR also fixes a few bugs in the i18n phase.

I still have difficulty with the deployment. Launching my web server use `LANGUAGE=fr sudo bin/xymus_net` works, but not when using `daemonize -E LANGUAGE=fr ...`. @R4PaSs do you have an idea for a solution?

http://xymus.net/opportunity/ temporary serves the French version of the site. I may have to revert tot the English version if I need monit and I can't fix the locale issue.

Pull-Request: #1531
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

Merge: Geometry fix

There was a big mistake in the boxes API where you would get the bottom of a line when calling for it's top and get the top when you were calling for the bottom xD, so fixed it.
There also was a bug with the usage of the Numerics in the quadtree API.
Also implemented a to_s for quadtree, but not sure if it needs to stay here.

Pull-Request: #1534
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Jean Privat <jean@pryen.org>

Merge: Use light FFI instead of the legacy NI in the lib

Update all extern methods previously implemented with the legacy NI to use the light FFI. Also cleans up the `_nit.[ch]` files and a few redundant `is extern` declarations.

There could be a performance hit because we add at least one layer of indirection when invoking the extern method code. And some were previously only macros applied within the generated internal code... However I don't see a difference with the performance of nitc and it can be optimized by the C compiler.

The C structure used in the `exec` module should be replaced by a Nit class. I've added 2 FIXMEs to make it clear. The C structure makes dealing with calls to `pipe` easier but it also makes the rest of the code more complex than needed.

The only use of the legacy NI left is the parser generated by the modified SableCC.

Pull-Request: #1520
Reviewed-by: Jean Privat <jean@pryen.org>

Merge: Nitunit fails bad code

Documentation that contains only bad code (not tagged) is now reported by nitunit as it should be.

Pull-Request: #1522
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

Merge: Adaptive typing: fix buggy warning messages

 #1257 relaxed some rules about untyped code in order to allow the compiler to compute a fixed point. So an inconsistent state with untyped code was permitted during the typing.

The problem is that errors messages or warnings could be prematurely displayed during the analysis thus be false because based on non final information.
The solution is to add a post-processing after the fixed point and delay the premature warning so that the information used is computed and reliable.

Moreover, the `useless null test because always null` is now brought back (it was disabled because caused too much unreliable noise)

Close #1257

Pull-Request: #1524
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

tests: skip nitpick args1 in niti and nitvm

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

contrib/opportunity: gitignore .pot and .mo files

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

src/i18n_phase: there's no need to unescape

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

src/i18n_phase: breakup 2 complexe lines of code

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

src/i18n_phase: use an escape custom to gettext

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

contrib/opportunity: add rule to build .mo files

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

contrib/opportunity: intro french translation

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

contrib/opportunity: hack to circumvent #1530

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

contrib/opportunity: prepare for i18n by separating the localized strings from the rest

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

geometry/quadtree: fixed use of the numerics

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

geometry/boxes: top and bottom in ILine were inversed...

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

lib/text: protect the `format` method against inconsistencies

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

src/i18n_phase: accepts string literals within a superstring

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

Merge: Check for errors in regex within string literals at compilation

This is the first part for #1511.

Pull-Request: #1528
Reviewed-by: Jean Privat <jean@pryen.org>

Merge: niti-ffi: NativeString is re-a `char*` since #1502

This removes a warning during the initial make.

Pull-Request: #1529
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>

niti-ffi: NativeString is re-a `char*` since #1502

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

Merge: Bug fixes in SSA module

This small PR fixes two bugs in SSA.

First: A property was unecessary specific in the hierarchy.
Second: Bad initialization of two attributes which cause runtime error in new tests.

Pull-Request: #1526
Reviewed-by: Jean Privat <jean@pryen.org>

Merge: Fix FFI with private extern classes not needing a "C Header" block

According to the [manual of the C FFI for wrappers](http://nitlanguage.org/FFI/wrapping_C_libraries/), a private extern class does not need to import (or declare) its C equivalent type in the "C header" it can be done only in the "C body" (or the default "C" block).

This bug broke this feature. It may have been reintroduced by 16f94e0, or maybe even before. This PR adds a test to prevent future regression.

Bug referenced in #1520.

Pull-Request: #1521
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

tests: test regular expression validation phase

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

src/frontend: add a phase to validate regular expression

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

ssa: Delete an unused variable

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

ssa: Bug fixe with a wrong initialization

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

ssa: Make a property more general

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

tests: mark as undefined tests using NativeFile, hacked in niti

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

lib/signals: fix missing import and initializer for GCC

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

lib/signals: do no pin references if the FFI feature is not available

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

lib/signals: clean up whitespaces and style

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

lib/signals: remove full FFI features from the module blocks

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

tests: intro a test with the different FFI module block

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

src/ffi: do not declare the impl signature before the custom C code

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

Merge branch 'master' into lib-use-light-ffi

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

Merge: Second batch of RosettaCode

In this one, I rewrote the commits to squash them, clean them and add tests.

Since the commits are rewrote, their sha1 differ so the PR numbers are added in the descriptions of the commits to keep track of the original request.

Pull-Request: #1519
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

Merge: Do not compile dead modules

Separate compilation implies that a module is compiled independently of its clients.
This point ensure us that the recompilation of programs is fast since only modified modules need to be recompiled and that modules used by multiples clients need to be compiled only once.

Unfortunately, currently an already compiled module need to still to be fully compiled in C on each compilation (avoiding doing it is a very complex matter). Fortunately, most of the compilation time is spend by the C compiler (especially when #1498) and this time is safely decimated by ccache.

However, a thing that some modules are imported by programs (thus provide declarations, introductions, importations) but are only made of method definitions that will never be executed by the program. Such a module is called a *dead* module and our static analysis RTA can approximate them.
So, now, the generation of C code for such a module is skipped (and its associated C compilation, obviously)

This will benefit mostly small programs that imports standard and other libraries but only use a small portion of them. Eg: programs in `tests/` or in `examples/rossetacode`.

For numbers, lets try with `time ./tests.sh ../examples/rosettacode/*.nit` to test the 32 (currently) programs.

* before: 30s
* after: 21s

I hope that CI servers will like what we, human masters, do for them!

Pull-Request: #1509
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

tests: other update related to adaptive typing messages

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

tests: new tests base_adaptive_loop_null2.nit base_adaptive_loop_isa.nit

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

typing: warn about useless null when the target is always `null`

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

typing: warnings related to adaptive typing are moved to the post_typing

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

lib/markdown: fix markdown used in documentation (how ironic)

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

typing: new PostTypingVisitor that is run after the visit

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

typing: factorize AEqExpr and ANeExpr into AEqFormExpr

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

ast: new class AEqFormExpr to factorize AEqExpr and ANeExpr

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