summaryrefslogtreecommitdiff
path: root/Unlambda
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2014-04-09 23:17:38 +1000
committerJed Barber <jjbarber@y7mail.com>2014-04-09 23:17:38 +1000
commite8695600977769008f285f9958eb043cca1b9b29 (patch)
tree7c8bc8792ad6cb4c2599f33bb310f5119e4a0a13 /Unlambda
parent16eb169df1f5a2dedfc6f71673982960d3ea73e6 (diff)
v function added, still not type perfect
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