summaryrefslogtreecommitdiff
path: root/assignment-13/Util.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'assignment-13/Util.dcl')
-rw-r--r--assignment-13/Util.dcl20
1 files changed, 0 insertions, 20 deletions
diff --git a/assignment-13/Util.dcl b/assignment-13/Util.dcl
deleted file mode 100644
index 9e6ae0a..0000000
--- a/assignment-13/Util.dcl
+++ /dev/null
@@ -1,20 +0,0 @@
-definition module Util
-
-:: PrState =
- { indent :: Int
- , output :: [String]
- }
-
-class print a :: a -> PrState -> PrState
-
-printToString :: a -> String | print a
-
-instance print (PrState -> PrState)
-instance print String
-instance print Int
-
-nl :: PrState -> PrState
-indent :: PrState -> PrState
-unindent :: PrState -> PrState
-
-prsperse :: a [b] -> PrState -> PrState | print a & print b