From d7e72f54b8097cb188e4fc9cb284e585c4d63514 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sun, 27 Mar 2011 19:36:52 +0000 Subject: [PATCH] uncomment more of the tutorial --- examples/tutorial.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/examples/tutorial.hs b/examples/tutorial.hs index 1ac97ae..6ef4cbd 100644 --- a/examples/tutorial.hs +++ b/examples/tutorial.hs @@ -384,7 +384,7 @@ class GuestStream g a where class GuestEqChar g where <[ (==) ]> :: <[ Char -> Char -> Bool ]>@g -{- + staged_accept :: Regex -> forall c s. @@ -419,7 +419,7 @@ staged_accept (Const c) k = <[ \s -> if gs_empty s then false else (gs_head s) == ~~(guestCharLiteral c) && ~~k (gs_tail s) ]> --} + -- this type won't work unless the case for (Star e) is commented out; -- see loop above @@ -451,7 +451,7 @@ instance Category Code where id = Code <[ \x -> x ]> f . g = Code <[ \x -> ~~(unCode f) (~~(unCode g) x) ]> -instance GArrow Code (,) where +instance GArrow Code (,) () where ga_first f = Code <[ \(x,y) -> ((~~(unCode f) x),y) ]> ga_second f = Code <[ \(x,y) -> (x ,(~~(unCode f) y)) ]> ga_cancell = Code <[ \(_,x) -> x ]> -- 1.7.10.4