From 8d42d2a0c5c3069f9eb9314f129d4b4f5120af78 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 10 Oct 2013 14:43:29 +0100
Subject: Use ocamlbuild, no findlib required

---
 src/test/test1.sail | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 src/test/test1.sail

(limited to 'src/test')

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