From 630c36e3af777aba016b38ada83c7b42259f2a86 Mon Sep 17 00:00:00 2001
From: azidar
Date: Wed, 27 Jan 2016 12:24:12 -0800
Subject: Fixed bug and updated test for changing mod to rem

---
 src/main/stanza/errors.stanza       |  2 +-
 test/passes/infer-types/primops.fir | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/main/stanza/errors.stanza b/src/main/stanza/errors.stanza
index f9504bea..a0c48dc8 100644
--- a/src/main/stanza/errors.stanza
+++ b/src/main/stanza/errors.stanza
@@ -486,7 +486,7 @@ defn check-types-primop (e:DoPrim, errors:Vector<PassException>,info:FileInfo) -
       SUB-OP             : all-ground(args(e))
       MUL-OP             : all-ground(args(e))
       DIV-OP             : all-ground(args(e))
-      MOD-OP             : all-ground(args(e))
+      REM-OP             : all-ground(args(e))
       LESS-OP            : all-ground(args(e))
       LESS-EQ-OP         : all-ground(args(e))
       GREATER-OP         : all-ground(args(e))
diff --git a/test/passes/infer-types/primops.fir b/test/passes/infer-types/primops.fir
index 31846b88..de0f9f1d 100644
--- a/test/passes/infer-types/primops.fir
+++ b/test/passes/infer-types/primops.fir
@@ -40,11 +40,11 @@ circuit top :
       node ydiv = div(c, b) ;CHECK: node ydiv = div(c@<t:SInt>, b@<t:UInt>)@<t:SInt>
       node zdiv = div(c, d) ;CHECK: node zdiv = div(c@<t:SInt>, d@<t:SInt>)@<t:SInt>
    
-      node vmod = mod(a, c)    ;CHECK: node vmod = mod(a@<t:UInt>, c@<t:SInt>)@<t:UInt>
-      node wmod = mod(a, b) ;CHECK: node wmod = mod(a@<t:UInt>, b@<t:UInt>)@<t:UInt>
-      node xmod = mod(a, d) ;CHECK: node xmod = mod(a@<t:UInt>, d@<t:SInt>)@<t:UInt>
-      node ymod = mod(c, b) ;CHECK: node ymod = mod(c@<t:SInt>, b@<t:UInt>)@<t:SInt>
-      node zmod = mod(c, d) ;CHECK: node zmod = mod(c@<t:SInt>, d@<t:SInt>)@<t:SInt>
+      node vrem = rem(a, c)    ;CHECK: node vrem = rem(a@<t:UInt>, c@<t:SInt>)@<t:UInt>
+      node wrem = rem(a, b) ;CHECK: node wrem = rem(a@<t:UInt>, b@<t:UInt>)@<t:UInt>
+      node xrem = rem(a, d) ;CHECK: node xrem = rem(a@<t:UInt>, d@<t:SInt>)@<t:UInt>
+      node yrem = rem(c, b) ;CHECK: node yrem = rem(c@<t:SInt>, b@<t:UInt>)@<t:SInt>
+      node zrem = rem(c, d) ;CHECK: node zrem = rem(c@<t:SInt>, d@<t:SInt>)@<t:SInt>
    
       node vlt = lt(a, c)    ;CHECK: node vlt = lt(a@<t:UInt>, c@<t:SInt>)@<t:UInt>
       node wlt = lt(a, b) ;CHECK: node wlt = lt(a@<t:UInt>, b@<t:UInt>)@<t:UInt>
-- 
cgit v1.2.3