diff options
Diffstat (limited to 'assignment-13/Bootstrap.dcl')
| -rw-r--r-- | assignment-13/Bootstrap.dcl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/assignment-13/Bootstrap.dcl b/assignment-13/Bootstrap.dcl index 682714c..eaf1521 100644 --- a/assignment-13/Bootstrap.dcl +++ b/assignment-13/Bootstrap.dcl @@ -1,5 +1,7 @@ definition module Bootstrap +from StdOverloaded import class zero + import ufpl rwBool :: String Bool -> Expr Bool RW @@ -31,3 +33,5 @@ false :: Expr Bool RO true :: Expr Bool RO rts :: String + +instance zero CProg |