From cda243a41b13626f72ceaaa99901c402b9797dc7 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sat, 29 Jul 2017 00:17:28 +0200
Subject: Cleanup; add <> < > <= >=

---
 Sil/Types.icl | 21 +++++++++++++--------
 1 file changed, 13 insertions(+), 8 deletions(-)

(limited to 'Sil/Types.icl')

diff --git a/Sil/Types.icl b/Sil/Types.icl
index ba13cba..6f802d3 100644
--- a/Sil/Types.icl
+++ b/Sil/Types.icl
@@ -146,11 +146,16 @@ where
 
 instance type Op2
 where
-	type _ Add    = Just $ Ok $ TInt  --> TInt  --> TInt
-	type _ Sub    = Just $ Ok $ TInt  --> TInt  --> TInt
-	type _ Mul    = Just $ Ok $ TInt  --> TInt  --> TInt
-	type _ Div    = Just $ Ok $ TInt  --> TInt  --> TInt
-	type _ Rem    = Just $ Ok $ TInt  --> TInt  --> TInt
-	type _ Equals = Just $ Ok $ TInt  --> TInt  --> TBool
-	type _ LogOr  = Just $ Ok $ TBool --> TBool --> TBool
-	type _ LogAnd = Just $ Ok $ TBool --> TBool --> TBool
+	type _ Add      = Just $ Ok $ TInt  --> TInt  --> TInt
+	type _ Sub      = Just $ Ok $ TInt  --> TInt  --> TInt
+	type _ Mul      = Just $ Ok $ TInt  --> TInt  --> TInt
+	type _ Div      = Just $ Ok $ TInt  --> TInt  --> TInt
+	type _ Rem      = Just $ Ok $ TInt  --> TInt  --> TInt
+	type _ Equals   = Just $ Ok $ TInt  --> TInt  --> TBool
+	type _ Unequals = Just $ Ok $ TInt  --> TInt  --> TBool
+	type _ CmpLe    = Just $ Ok $ TInt  --> TInt  --> TBool
+	type _ CmpGe    = Just $ Ok $ TInt  --> TInt  --> TBool
+	type _ CmpLt    = Just $ Ok $ TInt  --> TInt  --> TBool
+	type _ CmpGt    = Just $ Ok $ TInt  --> TInt  --> TBool
+	type _ LogOr    = Just $ Ok $ TBool --> TBool --> TBool
+	type _ LogAnd   = Just $ Ok $ TBool --> TBool --> TBool
-- 
cgit v1.2.3