Merge branch 'sail2' of https://bitbucket.org/Peter_Sewell/sail into sail2

2 files changed, 17 insertions, 0 deletions

diff --git a/test/mono/assert.sail b/test/mono/assert.sail
new file mode 100644
index 00000000..4b782398
--- /dev/null
+++ b/test/mono/assert.sail
@@ -0,0 +1,8 @@
+val f : forall 'n. atom('n) -> unit effect {escape}
+
+function f(n) = {
+    assert(constraint('n in {8,16}));
+    let 'm = 2 * n in
+    let x : bits('m) = replicate_bits(0b0,'m) in
+    ()
+}
diff --git a/test/mono/assert2.sail b/test/mono/assert2.sail
new file mode 100644
index 00000000..67e18f76
--- /dev/null
+++ b/test/mono/assert2.sail
@@ -0,0 +1,9 @@
+val f : forall 'n. atom('n) -> unit effect {escape}
+
+function f(n) = {
+    let 'm = 2 * n in {
+      assert(constraint('n in {8,16}));
+      let x : bits('m) = replicate_bits(0b0,'m) in
+      ()
+    }
+}