summaryrefslogtreecommitdiff
path: root/assignment-13/Bootstrap.dcl
diff options
context:
space:
mode:
authorCamil Staps2018-01-03 09:19:48 +0100
committerCamil Staps2018-01-03 09:19:48 +0100
commita57034a3afa166979bd88232b810dc88c3ae2bae (patch)
tree6821d00e41b11ce51f916e2a2717e797504be900 /assignment-13/Bootstrap.dcl
parentProper initial values for shares (diff)
Cleanup
Diffstat (limited to 'assignment-13/Bootstrap.dcl')
-rw-r--r--assignment-13/Bootstrap.dcl4
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