runtime: inform the dynamic type of self on `Abstract method called`
[nit.git] / tests / sav / nitg.res
index 55cd3f1..55c09f5 100644 (file)
@@ -13,6 +13,7 @@
   -o, --output                Output file
   --no-cc                     Do not invoke C compiler
   --make-flags                Additional options to make
+  --compile-dir               Directory used to generate temporary files
   --hardening                 Generate contracts in the C code against bugs in the compiler
   --no-shortcut-range         Always insantiate a range and its iterator on 'for' loops
   --no-check-covariance       Disable type tests of covariant parameters (dangerous)
@@ -29,6 +30,8 @@
   --bm-typing                 Colorize items incrementaly, used to simulate binary matrix typing
   --phmod-typing              Replace coloration by perfect hashing (with mod operator)
   --phand-typing              Replace coloration by perfect hashing (with and operator)
-  --generic-resolution-tree   Use tree representation for live generic types instead of flattened representation
+  --tables-metrics            Enable static size measuring of tables used for vft, typing and resolution
   --erasure                   Erase generic types
   --no-check-erasure-cast     Disable implicit casts on unsafe return with erasure-typing policy (dangerous)
+  --global                    Use global compilation
+  -m                          Additionals module to min-in