glesv2: small (but important) fixes

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

Merge: inkscape_tools: support Inkscape versions before and after 0.92

Inkscape changed the default DPI at version 0.92. This PR improves `svg_to_png_and_nit` to set the default DPI according to the detected Inkscape version, 90 DPI up until version 0.92 and 96 DPI for version 0.92 and later.

Reference: http://wiki.inkscape.org/wiki/index.php/Release_notes/0.92#Important_changes

This is a more portable solution than #2374.

Pull-Request: #2406

Merge: GC now collect cycles

This fixes an issue with the actor model where the GC is unable to collect cycles associated with actors objects and printing an annoying warning

Theses modifs should fix the tests in #2401

The downside is that the finalization is no longer in topological order

Pull-Request: #2404

Merge: Some minor fixes to actors examples

Tried to follow @tremblay-guy commentaries on #2361  to improve the code of the actors examples

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

inkscape_tools: support Inkscape versions before and after 0.92

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

fix the GC warning about cycles

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

Update the doc for Finalizable

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

Actors example Chameneos redux fixes

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

Actors example Fannkuch redux fixes

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

Actors example Mandelbrot fixes

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

Actors example Thread ring fixes

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

Merge: intrepreter: Fix the documentation of `PrimitiveInstance`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

Pull-Request: #2400

Merge: intrepreter: Fix the documentation of `Instance::is_true`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

Pull-Request: #2399

Merge: compiler: Refactor

Various minor refactorings done for PR #2397.

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

Merge: gamnit: optimize the `flat` 2D api using GPU buffers

`gamnit::flat` is an API to quickly and easily write 2D games, it is built around sprites added to either the world `sprites` or to the `ui_sprites` sets. However, the absolute lack of optimization led to slow performances when there was a large number of sprites.

This PR rewrites the implementation of the `flat` API using vertex buffer objects (VBO) to keep sprite data in the GPU memory. The data is updated only when an attribute of a sprite is modified.

The result is 200 times higher framerate in the new minimal program `template_flat` with 2000 sprites and random modifications, going from ~10 FPS to ~2000 FPS.

This requires managing the memory of the GPU, growing it as needed, keeping a list of freed spaces and defragmenting it to compress the data after sprite deletion. The GPU memory is simulated by the `GroupedArray` class, it keeps a bit more information than needed but it would also support objects with varying sizes like the 3D models of the `depth` API. All sprites are sorted when added to either `sprites` or `ui_sprites` allowing for bulk drawing of sprites using the same pixel data and usage type.

This PR extends the current API by adding a few new services:
* The attribute `Sprite::static`, when at `true`, gives a hint to the framework that this sprite won't change often and that it is added in bulk with other static sprites. This value can be ignored in the prototyping phase of a game and added when better performances are needed.
* The pseudo attributes `red`, `green` and `blue` modifies the tint of a sprite. They are more intuitive to use than the array `tint` and they allow for an automatic update of the related data on the GPU.

There is two downsides to this implementation:
* The attribute `Point3d::sprites` is added by refinement to all 3D points, even those not used directly by the graphics framework. Hopefully it will add only a small overhead, and (of course) only in clients of gamnit games.
* There is no easily predictable order in which the sprites are drawn anymore. Causing issues with non-opaque sprites which should normally be drawn last. This could be fixed by a new sprite category or a boolean attribute similar to `static`.

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

intrepreter: Fix the documentation of `PrimitiveInstance`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

intrepreter: Fix the documentation of `Instance::is_true`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

gamnit: make SpriteSet behave more like a Set

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

Merge: mdoc_or_fallback: Refactor

Centralize its definition and update its documentation.

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

model: Make the `anchor` parameter of `MType::anchor_to` nullable

Refactor the code of `TypeVisitor::anchor_to`.

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

model: Add a constant for the bottom type

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

model: Add precision to the documentation of type metrics

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

model: Fix indentation

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

java_compiler: Fix the documentation of `is_java_primitive`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

compiler: Merge `maybenull` and `maybe_null`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

Merge: hash_collections: Fix the documentation of `Set::new`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

Pull-Request: #2393

nitunit: intrude import modules to test private entities

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

gamnit: intro a template project for 2D games

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

gamnit: fix standalone triangle

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

action_nitro: update for the improved flat API and for a better look

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

action_nitro: bug fix

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

gamnit: intro color services to `Sprite`

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

gamnit: rewrite implementation to use VBOs

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

c & matrix: make some services public for low level clients

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

glesv2: add integer variants to operations on buffers

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

glesv2: intro buffer services

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

gamnit: time the performance of the core services

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

core: implement `MinHeap::clear` and intro `Pointer::nul`

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

hash_collections: Fix the documentation of `Set::new`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

model: Document base cases of `mdoc_or_fallback`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

mdoc: Fix documentation of `mdoc_or_fallback`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

highlight: Use `mdoc_or_fallback`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

model: Promote definitions of `mdoc_or_fallback`

Merge duplicates.

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

Merge: oot: add Devil's Avocados, a Recipe Preparation Game

Pull-Request: #2392

oot: add Devil's Avocados, a Recipe Preparation Game

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

Merge: typing: add services for intersecting and subtracting types

Nit does not have intersection nor union types, however, the intersection and the difference operations on types are needed for a better behavior of the adaptive typing system.

Currently, the only need of type intersection and type difference is with `isa`. The previous implementation did not really implement them and only did the following:

~~~nit
var x: X
...
if x isa Y then
   # if X<:Y then x is still a X (and you get a warning) else x is now a Y
   ...
else
   # nothing never change here. x is a X
   ...
end
~~~

Now, the `then` branch, handle the merge of nullable types and the `else` branch might also be adapted.

~~~nit
var x: nullable X # where Y <: X
...
if x isa Object then
   # x is a X (instead of Object as before)
else
  #  x is null (instead of nullable X as before)
end

if x isa nullable Object then # warning, useless isa
   # x is a nullable X (as before)
else
   # x is dead (instead of nullable X as before)
end

if x isa Y then
   # x is a Y (same as before)
else
   # x is a nullable X (same as before)
end

if x isa nullable Y then
   # x is a nullable Y (as before)
else
   # x is a X without nullable (instead of nullable X as before)
end
~~~

I do not expect that these change improve that much the expressiveness of the language. However, it makes the type system a little more consistent and a little less hackish.

Pull-Request: #2385
Reviewed-by: Jean-Christophe Beaupré <jcbrinfo.public@gmail.com>

Merge: grammar: add union and intersection types

This is a stub in the grammar to add intersection and union types.

* `var x: A and B`
* `var x: A or B and C or D or E`

Adding parenthesis `(A and B) or C` cause some nasty conflicts because the Nit grammar is very complex and organic (and sablecc is nowadays more a curse than a blessing).

all usage of types accept intersection and union except `new` and `isa` because LR1 conflicts with the boolean `or`.

* `x isa A or...`: shift type (`x isa A or B`) vs. reduce expr (`x isa A or true`)

This is not too much a problem because:

* intersection and union type are abstract (no `new`)
* `a isa A or B` should be the same than `a isa A or a isa B`

Note that this is only a stub: only the grammar is extended:
* there is no new AST node (`A or B` is parsed as `A`, the `B` is just dropped)
* there is no change in the metamodel of Nit

Pull-Request: #2389
Reviewed-by: Jean-Christophe Beaupré <jcbrinfo.public@gmail.com>

Merge: Docker, portability and crosscompiling tweaks

* Add the missing SDL2 package (since #2376) to the full DockerFile.
* Fix a warning raised by the C compiler when called by niti on 32 bits platforms.
* Clean up Makefile generation and enable using environment variables to override the default C compiler, C++ compiler, CFLAGS and whether or not to use libunwind. Making it possible to change the compiler for cross compilation and to skip linking with libunwind to create binaries compatible with more GNU/Linux systems.

Pull-Request: #2390
Reviewed-by: Romain Chanoir <romain.chanoir@viacesi.fr>

Merge: Windows: path, PATH, and exec improvements

This PR further improves Windows support in the Nit standard library and testing tools:

* Improve Windows path manipulation and standardize the solution. On Windows, services working on path strings first replace all `\` by `/`. This allows sharing the main code with other OS, data copy should be limited since only the first operation on a string should update it.
  All `file` services depending on the path separator should have been updated, except for `relpath`. Note that there is still no special treatment for FS root like `C:/`, so further work is needed.
* Support for Windows' PATH where the separator is `;`.
* Fix pipes left open on the parent side after `CreateProcess`.
* Intro a basic skip list for MINGW64 Windows system with projects that are either incompatible (cocoa & ios) or not available with msys2 and that I don't plan to configure manually on the test server in the near future.

There are still issues (including an int overflow in `Float::to_s`), but this PR allows a few larger projects to work on Windows. With #2390 gamnit projects can be compiled entirely from a Windows machine (or cross-compiled).

---

The unit tests are marked `~~~nitish` because they are only valid when `is_windows == true`. Maybe we could have a `~~~nitwindows` or something like that for such tests in the future. Note that you can set `-D is_windows=true` to try them (but not on nitunit sadly).

The Jenkins Windows test server is currently broken. I'll see if I can fix it, otherwise, I'll share the results form my test server later.

Pull-Request: #2391
Reviewed-by: Jean-Christophe Beaupré <jcbrinfo.public@gmail.com>

tests: add basic MINGW64 skip list

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

exec: close child pipes from the parent process

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

core: split PATH on ; on Windows

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

core: standardize Windows path handling

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

core: 32 bits fixes

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

nitc: let CC, CXX and NO_STACKTRACE use env value

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

nitc: clean up makefile header generation

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

docker: add missing libsdl2-image-dev

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

tests: update more sav because of the improved null-aware adaptive typing

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

parser: regenerate with union and intersection types

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

parser: add syntax for union and intersection types

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

tests: add base_adaptive_full.nit with a lots of pattenrns

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

nitc: adaptive typing apply non-nullness when fallbacking

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

tests: update test_isa_nil message

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

nitc/typing: isa uses intersect_types and diff_types

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

nitc/typing: add intersect_types and diff_types

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

nitc/typing: document `merge_types`

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

Merge: realtime: 32 bits compatibility

Fix `realtime::Timespec` services on 32 bits systems and Windows by moving some critical code to C. This PR does not change the API. However, I have plans for a future revamp of the API to reduce the number of mallocs.

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

Merge: nitweb: load catalog at startup instead of first page display

So the first user to access Nitweb does not have to wait 5 minutes for the catalog to be compiled.

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

Pull-Request: #2387

Merge: lib/json: fix array serialization

Fixes serialization error for array subclasses.

Be the following Nit code:

~~~nit
class Foo
    super Array[String]
    serialize

    var foo: String
end

print (new Foo("foo")).serialize_to_json
~~~

Output before:

~~~json
{"__kind":"obj","__id":0,"__class":"Foo", "__items":, "foo":"foo"[]}
~~~

Output after:

~~~json
{"__kind":"obj","__id":0,"__class":"Foo", "foo":"foo", "__items":[]}
~~~

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

Pull-Request: #2388

lib/json: fix array serialization

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

nitweb: load catalog at startup instead of first page display

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

Merge: regen csrc for Windows and to fix 32 bits support

Fix #2355.

Pull-Request: #2382

realtime: 32 bits safe

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

Merge: OSX use gtime

This could help to track why jenkins runs on osx are so slow

Pull-Request: #2384

Merge: re_parser: add pre-build target in the Makefile

Some automatic jenkins jobs expect that it this target exists, it can be
used to generate the missing .nit files

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

Pull-Request: #2383

Merge: lib/ini: do not abort when lines does not have "="

aborting in a library is bad™

Pull-Request: #2381

Merge: Test out-of-tree projects

This is a simple script that allows jenkins (and human users) to test out-of-tree projects that live in other repositories.

The main file is `contrib/oot.txt` that contains the various projects and `contrib/oot.sh` that tries to build them.

A preview of the current state is available at:
http://gresil.org/jenkins/job/nit_oot/lastCompletedBuild/testReport/

I will improve the script to add checks.

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

csrc: regen for 32 bits platforms and Windows

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

compiler: detect many versions of mingw64

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

macosx: silent error because hostame --vestion does no exists

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

macosx: use gtime (from gnu-time) if available to measure time

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

re_parser: add pre-build target in the Makefile

Some automatic jenkins jobs expect that it this target exists, it can be
used to generate the missing .nit files

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

tests: fix listfull.sh

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

lib/ini: do not abort when lines does not have "="

aborting in a library is bad™

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

contrib/oot: script to update and check oot projects

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

misc: new script to try to make some targets

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

Merge: Counter: fixes

Hey there,

Some fixes to counter:
* the first one should not be subject to discussion since it only fix the to_s nullable elements.
* the second one is more tricky. I propose to change the add_all behavior to increment all values instead of just rewriting them.

@privat, you are the main user of the `counter` lib, what is you feeling about that?

Pull-Request: #2377

Merge: gamnit: use SDL2 windows and events

_gamnit_ update to use SDL2 instead of SDL1.2. This change brings better code portability and fixes a few known SDL1.2 limitations. This PR does not significantly change the API, asides from removing the workarounds for old limitations.

As support, this PR also:
* Adds more SDL2 events and surface services.
* Updates the `opengles1_hello_triangle` example to use SDL2 and make it compatible with ANGLE and Windows.
* Drops the _gamnit_ workarounds for the previously slow mouse move events and mouse wrap for FPS like controls.
* Fixes shader compatibility with some graphics card and driver.
* General cleanup for the `egl` module.

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

Merge: Nit Actor Model, with some examples

A better version than the previous PR !

The model injection and support module generation are now two phases in the frontend.

Needs #2357 to be able to compile with `nitc`, for now you have to use it as `nitc module.nit -m actors_module.nit` for compiling.

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

kernel: intro `Pointer::==` and `Pointer::hash`

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

app: minor refactor of the audio services

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

model_viewer: update to new gamnit API with move events

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

gamnit: update doc

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

gamnit: use SDL2

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

gamnit: don't use `texture` as it may be a std function

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

glesv2: use SDL2 for a portable hello triangle example

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

glesv2: minor improvements to the hello_triangle example

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

sdl2: implement more events

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

sdl2: more display and surface services

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

sdl2: fix initialization services

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