From e8695600977769008f285f9958eb043cca1b9b29 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Wed, 9 Apr 2014 23:17:38 +1000 Subject: v function added, still not type perfect --- Unlambda/Builtins.hs | 8 ++++++++ 1 file changed, 8 insertions(+) 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 -- cgit