diff options
Diffstat (limited to 'assignment-13/uFPL/Bootstrap.dcl')
-rw-r--r-- | assignment-13/uFPL/Bootstrap.dcl | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/assignment-13/uFPL/Bootstrap.dcl b/assignment-13/uFPL/Bootstrap.dcl new file mode 100644 index 0000000..201957c --- /dev/null +++ b/assignment-13/uFPL/Bootstrap.dcl @@ -0,0 +1,37 @@ +definition module uFPL.Bootstrap + +from StdOverloaded import class zero + +import uFPL + +rwBool :: String Bool -> Expr Bool RW +roBool :: String Bool -> Expr Bool RO + +rwInt :: String Int -> Expr Int RW +roInt :: String Int -> Expr Int RO +rwUInt :: String Int -> Expr Int RW +roUInt :: String Int -> Expr Int RO + +rwLong :: String Int -> Expr Int RW +roLong :: String Int -> Expr Int RO +rwULong :: String Int -> Expr Int RW +roULong :: String Int -> Expr Int RO + +boolmap :: Bimap Bool CExpr +intmap :: Bimap Int CExpr +longmap :: Bimap Int CExpr + +b0 :: Expr Bool RO +b1 :: Expr Bool RO +b2 :: Expr Bool RO +b3 :: Expr Bool RO +b4 :: Expr Bool RO + +millis :: Expr Int RO + +false :: Expr Bool RO +true :: Expr Bool RO + +rts :: String + +instance zero CProg |