Jean Privat [Thu, 27 Feb 2014 16:31:48 +0000 (11:31 -0500)]
Merge remote-tracking branch 'alexis/mnit-comments'
in response to #241 and #242
Jean Privat [Thu, 27 Feb 2014 13:34:41 +0000 (08:34 -0500)]
Merge branch 'super_init_call'
Current uses of explicit and implicit `super` in constructors are not
checked.
1. this series add required static verification (in `typing` and
`auto_super_int`) on the super init call (and remove two TODO).
2. the correct argument passing is implemented in the engines for the
super init calls
3. assertions are added in engines to check that the number of arguments
matches the number of parameters
4. tests are also provided (or updated)
This series is required to fix the current implementation so that the
implementation of the new style constructors can go on.
Alexis Laferrière [Wed, 26 Feb 2014 23:16:41 +0000 (18:16 -0500)]
lib/mnit: rewrite doc of `input_events`
In response to issue #241.
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Wed, 26 Feb 2014 23:13:05 +0000 (18:13 -0500)]
lib/mnit: rewrite doc of `InputEvent`
In response to issue #242.
<Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Wed, 26 Feb 2014 19:52:39 +0000 (14:52 -0500)]
tests: error_needed_method_alt5
Range::init signature is not checked when [x..y[ notation is transformed.
The fix will require more work, so just disable the test temporally.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 26 Feb 2014 19:32:42 +0000 (14:32 -0500)]
tests: add base_init_super_call*
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 26 Feb 2014 19:01:37 +0000 (14:01 -0500)]
engines: assert the right number of arguments in calls
Also remove old NYE (where here because of closures)
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 26 Feb 2014 18:48:05 +0000 (13:48 -0500)]
engines: collect only required arguments in super init calls
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 26 Feb 2014 18:03:50 +0000 (13:03 -0500)]
typing: check signature in super init call without arguments
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 26 Feb 2014 18:02:25 +0000 (13:02 -0500)]
auto_super_init: Better check of the signature
Also improve error messages
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 26 Feb 2014 18:00:49 +0000 (13:00 -0500)]
lib: suppr useless (and unafe) constructor in FlatBufferCharView
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 26 Feb 2014 17:54:53 +0000 (12:54 -0500)]
Merge remote-tracking branch 'lucas/unwind_integration'
prints the type of the signal it has caught before exiting with a stack
trace.
Jean Privat [Wed, 26 Feb 2014 15:53:47 +0000 (10:53 -0500)]
Merge remote-tracking branch 'alexis/cleanup-c-make-and-copy'
This is in preparation for the support of different platforms,
especially Android.
Copy all .[ch] files used by the legacy native interface and the
gc_chooser.[ch] files to the compilation dir. Allows for local
compilation, generated code portability and compatibility with difficult
compilation tool chains. Only the output executable may link outside of
the compilation dir.
Also cleans up the method in charge of compiling the C code and
Makefile. It is now separated in three methods with a clearer use of
variables and better readability. This will allow to customize the
behavior of the final compilation according to the platform.
Lucas Bajolet [Wed, 26 Feb 2014 15:32:05 +0000 (10:32 -0500)]
nitg: Added signal information when producing a stack trace.
Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>
Alexis Laferrière [Tue, 25 Feb 2014 22:36:42 +0000 (17:36 -0500)]
nitg: fix errors related to mainmodule (.mk file and generated binary)
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Tue, 25 Feb 2014 22:32:26 +0000 (17:32 -0500)]
nitg: minor optimization and cleanup
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Tue, 25 Feb 2014 21:14:14 +0000 (16:14 -0500)]
Merge remote-tracking branch 'alexandre/fix-iterators'
Conflicts:
src/icode/icode_builder.nit
src/naive_interpreter.nit
tests/sav/base_attr_gen.res
tests/sav/error_needed_method_alt2.res
tests/sav/nitc/fixme/base_attr_gen_alt1.res
tests/sav/nitc/nitmetrics_args1.res
Alexandre Terrasa [Sat, 1 Feb 2014 04:56:08 +0000 (23:56 -0500)]
nitmetrics: correct typo from `reciever` to `receiver`
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Sat, 1 Feb 2014 04:54:44 +0000 (23:54 -0500)]
correct typo from `reciever` to `receiver` in error messages
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Sat, 1 Feb 2014 04:51:44 +0000 (23:51 -0500)]
tests: fix test errors for engine nitc
(actually not fixing anything but putting tests away waiting for kill-nitc)
This follows the iterator error messages from
a9986ea596189a1b3743ae0c897f2bdbb8d5e6f0
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Sat, 1 Feb 2014 04:50:14 +0000 (23:50 -0500)]
tests: fix error messages for engine nitg-s
This follows the iterator error messages from
a9986ea596189a1b3743ae0c897f2bdbb8d5e6f0
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Sat, 1 Feb 2014 04:47:20 +0000 (23:47 -0500)]
typing: standardize error messages for AForExpr loops
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 25 Feb 2014 18:48:01 +0000 (13:48 -0500)]
typing: fix failed cast when iterate over a nullable collection
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexis Laferrière [Tue, 25 Feb 2014 05:17:18 +0000 (00:17 -0500)]
Merge branch 'privat' into 'cleanup-c-make-and-copy'
For FFI and use of compile_dir.
Jean Privat [Mon, 24 Feb 2014 22:49:20 +0000 (17:49 -0500)]
Merge branch 'c_ffi_alive_again'
Last of the serie
Jean Privat [Mon, 24 Feb 2014 20:53:46 +0000 (15:53 -0500)]
Merge remote-tracking branch 'alexis/deserialization'
Adds deserialization support to serialization framework and the Json
implementation. Also fix wrongful use of `' '` for chars in
generated
Json.
Merged to prevent bug with nitdoc and duplicate modules.
To be done next:
* Support for generic types
* Separate the json_serialization services in 2: pure json and json
* for
deserialization.
* Support NativeArray or its users
Alexis Laferrière [Fri, 7 Feb 2014 21:33:29 +0000 (16:33 -0500)]
tests: skip test_json for nitg-g
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Mon, 3 Feb 2014 17:42:35 +0000 (12:42 -0500)]
niti: import common_ffi module to support some FFI phases
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Mon, 3 Feb 2014 16:57:06 +0000 (11:57 -0500)]
lib/realtime: use c_linker_option in realtime module
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 28 Nov 2013 20:17:58 +0000 (15:17 -0500)]
example: update and fix the extern_methods example
The implementation of the method foo wrongfully called its C self.
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sun, 8 Dec 2013 02:41:25 +0000 (21:41 -0500)]
lib/socket: fix missing FFI imports in socket
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Mon, 20 Jan 2014 14:51:14 +0000 (09:51 -0500)]
lib/sdl: use c_compiler_option annotations
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Fri, 29 Nov 2013 16:08:41 +0000 (11:08 -0500)]
lib/sqlite3: use pkgconfig in sqlite3
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Mon, 20 Jan 2014 14:54:40 +0000 (09:54 -0500)]
lib/json: make SequenceRead jsonable instead of Sequence
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Mon, 20 Jan 2014 14:54:57 +0000 (09:54 -0500)]
lib/json: fix missing FFI imports
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Fri, 18 Oct 2013 17:24:40 +0000 (13:24 -0400)]
lib/json: use pkgconfig in json module
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Fri, 18 Oct 2013 17:23:42 +0000 (13:23 -0400)]
lib/curses: use pkgconfig in curses module
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Fri, 29 Nov 2013 16:04:52 +0000 (11:04 -0500)]
lib/curl: adds missing FFI import
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sun, 6 Oct 2013 14:16:43 +0000 (10:16 -0400)]
lib/curl: use pkgconfig in curl module
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sat, 21 Sep 2013 05:50:30 +0000 (01:50 -0400)]
lib/gtk: use the pkgconfig annotation in GTK module
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sat, 19 Oct 2013 15:11:26 +0000 (11:11 -0400)]
tests: adds tests for the annotations "c_?_options"
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Mon, 24 Feb 2014 20:53:12 +0000 (15:53 -0500)]
Merge commit 'b7e675f'
Partially fixes issue #276 and add the test to exhibit the remaining bad
behavior of the issue
Jean Privat [Mon, 24 Feb 2014 15:55:20 +0000 (10:55 -0500)]
Merge branch 'use_more_callsite'
CallSite is a great data-class to store various information on a call
site.
This series generalizes its usage in some place, and remove a old
depreciated API.
This uniformization and cleanup will be useful in future work, like
call-site optimizations and the new constructors
Jean Privat [Mon, 24 Feb 2014 15:49:37 +0000 (10:49 -0500)]
tests: add base_attr_init_val_int.nit
This is used to show the current bad behavior of uninitialized primitive
types.
See issue #276
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 24 Feb 2014 15:44:20 +0000 (10:44 -0500)]
RTA: force primitive types to be alive
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 24 Feb 2014 13:59:34 +0000 (08:59 -0500)]
Merge remote-tracking branch 'lucas/string_integration'
Part of String refactor, adds a new "chars" method on strings, should be
preferred to the old way of calling Collection services on Strings and
Buffers.
Alexis Laferrière [Sat, 22 Feb 2014 16:45:20 +0000 (11:45 -0500)]
Merge branch 'privat' into deserialization
Alexis Laferrière [Sat, 22 Feb 2014 15:26:03 +0000 (10:26 -0500)]
tests: use a Char in test_deserialization
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sat, 22 Feb 2014 15:19:31 +0000 (10:19 -0500)]
lib/json_serialization: fix support for Char
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sat, 22 Feb 2014 15:20:21 +0000 (10:20 -0500)]
lib/json_serialization: remove use of \b in Nit strings
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 20 Feb 2014 18:02:09 +0000 (13:02 -0500)]
phase/serialization: detect unsupported case until it is supported
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 20 Feb 2014 17:22:14 +0000 (12:22 -0500)]
phase/serialization: fix test_serialization_redef to suport basic deserialization
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Mon, 3 Feb 2014 03:59:30 +0000 (22:59 -0500)]
lib/simple_json_reader: unprotect special char in strings
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sun, 2 Feb 2014 22:53:48 +0000 (17:53 -0500)]
tests: add deserialization test
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Fri, 21 Feb 2014 20:33:53 +0000 (15:33 -0500)]
tests: update RTA tests to relates the change in rta module
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 21 Feb 2014 19:56:44 +0000 (14:56 -0500)]
typing: remove depreciated API and rely only on callsites
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 21 Feb 2014 19:55:09 +0000 (14:55 -0500)]
niti: use callsite to do the interpretation
Instead of the old API
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 21 Feb 2014 19:54:17 +0000 (14:54 -0500)]
rta: use callsites to do the analysis
This is also simpler than using the deprecated API
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 21 Feb 2014 19:52:51 +0000 (14:52 -0500)]
typing: use a callsite to store "super init call"
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 21 Feb 2014 19:12:13 +0000 (14:12 -0500)]
Merge branch 'fix_param_check'
Jean Privat [Fri, 21 Feb 2014 19:11:56 +0000 (14:11 -0500)]
Merge branch 'fix_mkcsrc'
merge 407771f (#269) broke the regeneration of c_src
(because of hard coded ".nit_compile" path)
This series fixes the issue, and provide a script usable by Jenkins
to ensure that this does not occurs again.
This also highlight that the reviews of #269 where insufficient
and/or motivated by something else than code quality :)
Jean Privat [Fri, 21 Feb 2014 16:58:58 +0000 (11:58 -0500)]
src: new script full_bootstrap
Used to check that mkcsrc is not broken
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 21 Feb 2014 16:57:10 +0000 (11:57 -0500)]
mkcsrc: remove and replace old c_src
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 21 Feb 2014 16:24:28 +0000 (11:24 -0500)]
compiler_ffi: use `compile_dir` instead of hard-coded ".nit_compile"
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 21 Feb 2014 16:23:53 +0000 (11:23 -0500)]
abstact_compiler: add `ModelBuilder::compile_dir`
So each part do not have to retrieve it from opt_compile_dir
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 21 Feb 2014 14:43:09 +0000 (09:43 -0500)]
Merge remote-tracking branch 'lucas/local_redef_fix'
Jean Privat [Fri, 21 Feb 2014 14:42:32 +0000 (09:42 -0500)]
Merge branch 'fix_lookup_definitions'
Jean Privat [Fri, 21 Feb 2014 14:07:29 +0000 (09:07 -0500)]
tests: update sav and remove some fixme.
It means that #271 was already known but nobody cared :(
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 21 Feb 2014 14:05:08 +0000 (09:05 -0500)]
modelize_properties: improve error messages
So that the original propdef is shown
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 21 Feb 2014 14:04:08 +0000 (09:04 -0500)]
modelize_property: fix the check of the types of parameters in a redef
COMP101 brownbag bug where someone mistake 'or' and 'and'
Fixes #271
Reported-by: Julien Pagès <julien.m.pages@gmail.com>
Signed-off-by: Jean Privat <jean@pryen.org>
Alexis Laferrière [Sat, 1 Feb 2014 19:09:14 +0000 (14:09 -0500)]
phases: add support for deserialization
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Lucas Bajolet [Thu, 20 Feb 2014 15:45:05 +0000 (10:45 -0500)]
nitg: Fixed modelize_property to print an error when two redefs of the same method occur locally.
Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>
Alexis Laferrière [Tue, 18 Feb 2014 21:39:31 +0000 (16:39 -0500)]
nitg: divide C compilation into 3 methods in abstract compiler
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Tue, 18 Feb 2014 20:43:08 +0000 (15:43 -0500)]
nitg: use only local files in compilation
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Tue, 18 Feb 2014 20:42:40 +0000 (15:42 -0500)]
nitg: copy over gc_choser files
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Tue, 18 Feb 2014 20:33:40 +0000 (15:33 -0500)]
nitg: move adding gc_chooser out of the makefile generation
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Tue, 18 Feb 2014 20:20:48 +0000 (15:20 -0500)]
nitg: actually copy over files to compile_dir
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Tue, 18 Feb 2014 20:02:18 +0000 (15:02 -0500)]
nitg: keep a list of source files to copy to the compile_dir
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 13 Feb 2014 23:51:26 +0000 (18:51 -0500)]
lib: intro the method String::file_copy_to
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Tue, 18 Feb 2014 20:26:59 +0000 (15:26 -0500)]
model: select_most_specific behave correctly when given comparable propdefs
Keep all occurences of comparable but distinct propdefs.
This case should not occurs in sane usage of the function.
But having a good behavior is good nevertheless.
Reported-by: Lucas Bajolet <lucas.bajolet@hotmail.com
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 18 Feb 2014 20:16:01 +0000 (15:16 -0500)]
model: factorize `select_most_specific` from `lookup_*_definitions`
Signed-off-by: Jean Privat <jean@pryen.org>
Alexis Laferrière [Sat, 19 Oct 2013 03:42:32 +0000 (23:42 -0400)]
nitg/ffi: adds the annotations c_[copiler|linker]_option
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 30 Jan 2014 20:58:51 +0000 (15:58 -0500)]
tests: add tests for the pkgconfig annotation
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sat, 21 Sep 2013 18:03:18 +0000 (14:03 -0400)]
nitg/ffi: adds the pkgconfig annotation to detect required C compilation flags
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Mon, 17 Feb 2014 19:40:30 +0000 (14:40 -0500)]
Merge branch 'ffi_core' into merge_ffi
Alexis Laferrière [Wed, 29 Jan 2014 16:01:55 +0000 (11:01 -0500)]
nitg: detect if a compiler supports the FFI
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Mon, 17 Feb 2014 19:11:26 +0000 (14:11 -0500)]
nitg: activate support for the FFI in nitg
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Conflicts:
src/abstract_compiler.nit
src/separate_compiler.nit
Alexis Laferrière [Wed, 29 Jan 2014 21:14:47 +0000 (16:14 -0500)]
nitg-g: support cast between subtypes of Pointer
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 28 Nov 2013 19:19:45 +0000 (14:19 -0500)]
nitg: intro the compiler_ffi module to support the FFI in nitg
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 28 Nov 2013 19:19:04 +0000 (14:19 -0500)]
nitg: intro the common_ffi module and support for the C language
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Fri, 15 Nov 2013 21:07:07 +0000 (16:07 -0500)]
nitg: intro the nitni module
Offers services defining the tailored API used by the FFI.
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Mon, 17 Feb 2014 19:08:11 +0000 (14:08 -0500)]
Merge branch 'ffi_libupdate' into merge_ffi
Alexis Laferrière [Fri, 29 Nov 2013 16:08:27 +0000 (11:08 -0500)]
lib: update json module to the latest FFI spec
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 28 Nov 2013 20:20:21 +0000 (15:20 -0500)]
lib: update the callback_monkey example to the latest FFI spec
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 28 Nov 2013 20:16:32 +0000 (15:16 -0500)]
lib: update sort_downloads to the latest FFI spec
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 28 Nov 2013 20:16:19 +0000 (15:16 -0500)]
lib: update the socket module to the latest FFI spec
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 28 Nov 2013 20:16:10 +0000 (15:16 -0500)]
lib: update the curses module to the latest FFI spec
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 28 Nov 2013 20:16:02 +0000 (15:16 -0500)]
lib: update the signal module to the latest FFI spec
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Mon, 17 Feb 2014 15:46:48 +0000 (10:46 -0500)]
lib: update mnit module to the latest FFI spec
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Signed-off-by: Jean Privat <jean@pryen.org>
Alexis Laferrière [Thu, 28 Nov 2013 20:15:24 +0000 (15:15 -0500)]
lib: update gtk3_4 module to the latest FFI spec
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>