Add a symbol for new implicit arguments for backwards compatability

Fix monomorphisation tests

1 files changed, 6 insertions, 2 deletions

diff --git a/src/process_file.ml b/src/process_file.ml
index e8f255ff..94a6cd3e 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -90,9 +90,13 @@ let parse_file ?loc:(l=Parse_ast.Unknown) (f : string) : Parse_ast.defs =
 (* Simple preprocessor features for conditional file loading *)
 module StringSet = Set.Make(String)
 
-let symbols = ref StringSet.empty
+let default_symbols =
+  List.fold_left (fun set str -> StringSet.add str set) StringSet.empty
+    [ "FEATURE_IMPLICITS" ]
 
-let clear_symbols () = symbols := StringSet.empty
+let symbols = ref default_symbols
+
+let clear_symbols () = symbols := default_symbols
 
 let cond_pragma l defs =
   let depth = ref 0 in