Fixes #1195

brownplt · Sep 25, 2017 · 8c6fd50 · 8c6fd50
1 parent 74cfe1a
commit 8c6fd50
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/src/arr/compiler/type-defaults.arr b/src/arr/compiler/type-defaults.arr
@@ -136,6 +136,14 @@ fun make-default-types() block:
   default-typs.set-now("hasField", t-arrow([list: t-record([string-dict: ]), t-string], t-boolean))
   default-typs.set-now("makeSrcloc", t-arrow([list: t-srcloc], t-bot))
 
+  default-typs.set-now("not", t-arrow([list: t-boolean], t-boolean))
+  default-typs.set-now("equal-always", t-arrow([list: t-top, t-top], t-boolean))
+  default-typs.set-now("equal-now", t-arrow([list: t-top, t-top], t-boolean))
+  default-typs.set-now("identical", t-arrow([list: t-top, t-top], t-boolean))
+  default-typs.set-now("equal-always3", t-arrow([list: t-top, t-top], t-equality-result))
+  default-typs.set-now("equal-now3", t-arrow([list: t-top, t-top], t-equality-result))
+  default-typs.set-now("identical3", t-arrow([list: t-top, t-top], t-equality-result))
+
   default-typs.set-now("getMaker", t-forall([list: tva, tvb], t-arrow([list: t-record([string-dict: "make", t-arrow([list: t-array(tvb)], tva)]), t-string, t-srcloc, t-srcloc], t-arrow([list: t-array(tvb)], tva))))
   default-typs.set-now("getLazyMaker", t-forall([list: tva, tvb], t-arrow([list: t-record([string-dict: "lazy-make", t-arrow([list: t-array(t-arrow([list: ], tvb))], tva)]), t-string, t-srcloc, t-srcloc], t-arrow([list: t-array(t-arrow([list: ], tvb))], tva))))
   default-typs.set-now("getMaker0", t-forall([list: tva], t-arrow([list: t-record([string-dict: "make0", t-arrow([list: ], tva)]), t-string, t-srcloc, t-srcloc], t-arrow([list: ], tva))))

diff --git a/tests/type-check/good/equality.arr b/tests/type-check/good/equality.arr
@@ -0,0 +1,4 @@
+1 <> 3
+"a" =~ 4
+"foo" == "bar"
+2 <=> "a"