diff options
author | Camil Staps | 2018-01-03 09:19:48 +0100 |
---|---|---|
committer | Camil Staps | 2018-01-03 09:19:48 +0100 |
commit | a57034a3afa166979bd88232b810dc88c3ae2bae (patch) | |
tree | 6821d00e41b11ce51f916e2a2717e797504be900 /assignment-13/Bootstrap.dcl | |
parent | Proper initial values for shares (diff) |
Cleanup
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 |