diff options
-rw-r--r-- | frontend/general.dcl | 2 | ||||
-rw-r--r-- | frontend/general.icl | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/frontend/general.dcl b/frontend/general.dcl index 9ef927f..9fe2ccc 100644 --- a/frontend/general.dcl +++ b/frontend/general.dcl @@ -25,8 +25,6 @@ instance <<< [a] | <<< a hasOption :: (Optional x) -> Bool -:: Choice a b = Either a | Or b - (--->) infix :: .a !b -> .a | <<< b (<---) infix :: !.a !b -> .a | <<< b traceValue :: !String !String .a -> .a diff --git a/frontend/general.icl b/frontend/general.icl index cd25cbc..2d4a7b2 100644 --- a/frontend/general.icl +++ b/frontend/general.icl @@ -11,8 +11,6 @@ import StdEnv :: Optional x = Yes !x | No -:: Choice a b = Either a | Or b - cMAXINT :== 2147483647 :: BITVECT :== Int |