From df78e96aed91ba2ab84cb3423cb3fff6a9a7fdcb Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Mon, 3 Dec 2018 14:06:53 +0000
Subject: Fix = / == in a couple of monomorphisation tests

---
 test/mono/assert.sail     | 4 ++--
 test/mono/times8div8.sail | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'test')

diff --git a/test/mono/assert.sail b/test/mono/assert.sail
index ea286e93..46892956 100644
--- a/test/mono/assert.sail
+++ b/test/mono/assert.sail
@@ -24,7 +24,7 @@ function f(n,m) = {
 val f' : forall 'n 'm. (atom('n), atom('m)) -> unit effect {escape}
 
 function f'(n,m) = {
-    assert(constraint(('n = 8 | 'n = 16) & 'm < 'n), "nconstraint");
+    assert(constraint(('n == 8 | 'n == 16) & 'm < 'n), "nconstraint");
     let 'p = 2 * n in
     let x : bits('p) = replicate_bits(0b0,'p) in
     ()
@@ -54,4 +54,4 @@ function run () = {
     f'(8,3);
     g(16,3);
     h(8,3);
-}
\ No newline at end of file
+}
diff --git a/test/mono/times8div8.sail b/test/mono/times8div8.sail
index 240bbfc6..31f63fda 100644
--- a/test/mono/times8div8.sail
+++ b/test/mono/times8div8.sail
@@ -35,7 +35,7 @@ function f(n) = {
     assert(constraint('n in {8,16}));
     x : bits('n) = undefined;
     let 'm : {'o, true. atom('o)} = ex_int(n / 8) in {
-        assert(constraint(8 * 'm = 'n));
+        assert(constraint(8 * 'm == 'n));
         x = replicate_bits(0b00000000,'m);
         accept(m,x);
         accept(m,replicate_bits(0b00000000,'m));
@@ -51,7 +51,7 @@ val g : forall 'm 'n. (atom('m), atom('n), bits('n)) -> unit effect {escape}
 function g(m,n,v) = {
   assert(constraint('m >= 0 & 'n >= 0));
   let 'o : {'p, true. atom('p)} = ex_int(m / n) in {
-    assert(constraint('o * 'n = 'm));
+    assert(constraint('o * 'n == 'm));
     accept2(replicate_bits(v,o))
   }
 }
-- 
cgit v1.2.3