diff options
| author | Camil Staps | 2018-01-03 09:24:21 +0100 |
|---|---|---|
| committer | Camil Staps | 2018-01-03 09:24:21 +0100 |
| commit | 33db1946d2a09898761b7d397fe4028725f2215b (patch) | |
| tree | 1f68cb8b276b7a20f42f325c76e6d4853ea8e68f /assignment-13/Bootstrap.dcl | |
| parent | Cleanup (diff) | |
Rename & restructure
Diffstat (limited to 'assignment-13/Bootstrap.dcl')
| -rw-r--r-- | assignment-13/Bootstrap.dcl | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/assignment-13/Bootstrap.dcl b/assignment-13/Bootstrap.dcl deleted file mode 100644 index eaf1521..0000000 --- a/assignment-13/Bootstrap.dcl +++ /dev/null @@ -1,37 +0,0 @@ -definition module 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 |