From 79438c3822d86169680188280ddfabe77395de82 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 7 Feb 2019 15:54:07 +0000
Subject: Add a symbol for new implicit arguments for backwards compatability

Fix monomorphisation tests
---
 src/process_file.ml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'src/process_file.ml')

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
-- 
cgit v1.2.3