Use ocamlbuild, no findlib required

1 files changed, 13 insertions, 0 deletions

diff --git a/src/test/test1.sail b/src/test/test1.sail
new file mode 100644
index 00000000..29f479d6
--- /dev/null
+++ b/src/test/test1.sail
@@ -0,0 +1,13 @@
+default Nat i
+default Order o
+default bool b
+default forall a. (list a) b
+val forall a, b . ((a * b) -> b pure) snd
+val forall Type i, b. ((i * b) -> i pure) fst
+typedef int_list [name = "il"] = list nat
+typedef reco = const struct forall i, a, b. { (a[i]) v; b w; }
+typedef maybe = const union forall a. { unit None; a Some; }
+typedef colors = enumerate { red; green; blue }
+typedef creg = register bits [5:i] { 5 : h ; 6..7 : j}
+let bool e = true
+let unit x = main ()