diff options
| author | Camil Staps | 2017-07-29 00:17:28 +0200 |
|---|---|---|
| committer | Camil Staps | 2017-07-29 00:18:29 +0200 |
| commit | cda243a41b13626f72ceaaa99901c402b9797dc7 (patch) | |
| tree | 88788ec4d6d7490e2b4aa9da5f3cba570ff18151 /Sil/Types.icl | |
| parent | Fix lazy operators (diff) | |
Cleanup; add <> < > <= >=
Diffstat (limited to 'Sil/Types.icl')
| -rw-r--r-- | Sil/Types.icl | 21 |
1 files changed, 13 insertions, 8 deletions
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 |