aboutsummaryrefslogtreecommitdiff
path: root/Misc.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'Misc.dcl')
-rw-r--r--Misc.dcl5
1 files changed, 5 insertions, 0 deletions
diff --git a/Misc.dcl b/Misc.dcl
index acd5117..3e632bf 100644
--- a/Misc.dcl
+++ b/Misc.dcl
@@ -1,3 +1,8 @@
definition module ABC.Misc
+from StdOverloaded import class toString
+
abortn :: String -> a
+
+(<+) infixl 5 :: a b -> String | toString a & toString b
+(<++) infixl 5 :: a (g, [b]) -> String | toString a & toString b & toString g