diff options
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 |