niti: disable interpretor_type_test

some type test are buggy. I do not know why.

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

diff --git a/src/nit.nit b/src/nit.nit
index 059743c..5c9f7e6 100644 (file)
--- a/src/nit.nit
+++ b/src/nit.nit
@@ -20,7 +20,7 @@ module nit
 import modelbuilder
 import exprbuilder
 import naive_interpreter
-import interpretor_type_test
+#import interpretor_type_test
 
 # Create a tool context to handle options and paths
 var toolcontext = new ToolContext

diff --git a/tests/sav/nit.sav b/tests/sav/nit.sav
index 06871e1..430c1ec 100644 (file)
--- a/tests/sav/nit.sav
+++ b/tests/sav/nit.sav
@@ -11,24 +11,4 @@
   --only-parse            Only proceed to parse step of loaders
   --only-metamodel        Stop after meta-model processing
   --discover-call-trace   Trace calls of the first invocation of a method
-  --ic-typing-mode        Incremental typing method. Possible values are:
-                                - BM: binary matrix
-                                - CL: coloration
-                                - PHAND: perfect hashing whith AND
-                                - PHMOD: perfect hashing whith MOD
-  --ic-load-mode          Dynamic loading mode. Possible values are:
-                                - type (default): load only the new type
-                                - module: load the module of new type
-  --ic-bootstrap          Bootstrap typing with standard library (default is no bootstrap)
-  --ic-recompute-mode     When to recompute typing. Possible values are:
-                                - always: recompute for each new type
-                                - never (default):  never recompute, use fallback instead
-                                - threshold:  recompute only when the threshold is reached, use fallback before
-                                - increment: try to update structures instead of recompute
-  --ic-threshold-mode     Threshold mode. Possible values are:
-                                - increment: recompute when the number of new type reach the threshold count
-                                -fallback: recompute when the use number of fallback use reach the threshold count
-  --ic-threshold-count    Threshold count. Take an integer
-  --ic-cache-size         Cache size. Take an integer
-  --ic-show-stats         Show statistics about typing at the end of the interpretation
   -o                      compatibility (does noting)

diff --git a/tests/sav/niti/fixme/base_formal_isa.res b/tests/sav/niti/fixme/base_formal_isa.res
deleted file mode 100644 (file)
index bb55c8f..0000000
--- a/tests/sav/niti/fixme/base_formal_isa.res
+++ /dev/null
@@ -1,23 +0,0 @@
-A[Int]
-true
-true
-true
-
-G[A[Bool], G[A[A[Int]], nullable A[Int]]]
-true
-true
-false
-true
-true
-
-G[Bool, Int]
-A[Bool]
-true
-true
-true
-true
-true
-true
-true
-true
-true

diff --git a/tests/sav/niti/fixme/base_isa_nullable2.res b/tests/sav/niti/fixme/base_isa_nullable2.res
deleted file mode 100644 (file)
index 09b831d..0000000
--- a/tests/sav/niti/fixme/base_isa_nullable2.res
+++ /dev/null
@@ -1,5 +0,0 @@
-base_isa_nullable2.nit:27,8--23: Warning: Expression is already a nullable A since it is a A.
-base_isa_nullable2.nit:29,8--30: Warning: Expression is already a nullable B[Object] since it is a B[Object].
-base_isa_nullable2.nit:30,8--39: Warning: Expression is already a nullable B[nullable Object] since it is a nullable B[Object].
-base_isa_nullable2.nit:33,8--30: Warning: Expression is already a C[nullable Object].
-Runtime error: Assert failed (base_isa_nullable2.nit:32)

diff --git a/tests/sav/niti/fixme/test_array_formal.res b/tests/sav/niti/fixme/test_array_formal.res
deleted file mode 100644 (file)
index 6ad81db..0000000
--- a/tests/sav/niti/fixme/test_array_formal.res
+++ /dev/null
@@ -1,51 +0,0 @@
-true
-true
-false
-
-true
-true
-false
-
-true
-true
-false
-
-true
-true
-false
-
-
-true
-true
-true
-
-true
-true
-true
-
-true
-true
-true
-
-true
-true
-true
-
-
-true
-true
-false
-
-true
-true
-false
-
-true
-true
-false
-
-true
-true
-false
-
-