summaryrefslogtreecommitdiff
path: root/Unlambda
diff options
context:
space:
mode:
Diffstat (limited to 'Unlambda')
-rw-r--r--Unlambda/Builtins.hs8
1 files changed, 8 insertions, 0 deletions
diff --git a/Unlambda/Builtins.hs b/Unlambda/Builtins.hs
index 07f79a3..bb054a1 100644
--- a/Unlambda/Builtins.hs
+++ b/Unlambda/Builtins.hs
@@ -36,6 +36,14 @@ i = id
+class Void a where
+ v :: a -> r
+
+instance Void v => Void (a -> r) where
+ v x = v
+
+
+
dot :: Char -> a -> IO a
dot ch f = putChar ch >> return f