Initial commit: parser for tiny subset of SCADE language...

1 files changed, 20 insertions, 0 deletions

diff --git a/libs/util.ml b/libs/util.ml
new file mode 100644
index 0000000..30cf5bf
--- /dev/null
+++ b/libs/util.ml
@@ -0,0 +1,20 @@
+exception TypeError
+
+module VarMap = Mapext.Make(String)
+
+let rec fix equal f s =
+  let fs = f s in
+  if equal fs s
+    then fs
+    else fix equal f fs
+
+let (@@) f x = f x
+
+let print_list x l =
+    Format.printf "%s: " x;
+    let rec aux = function
+        | [] -> ()
+        | [a] -> Format.printf "%s" a
+        | p::q -> Format.printf "%s, " p; aux q
+    in
+    Format.printf "["; aux l; Format.printf "]@.";