
28 Jun
2013
28 Jun
'13
7:45 a.m.
Hi TP,
So, how does gchi print `runQ [| \x -> 1 |]`?
I think the type in this context is 'IO Exp', there's also the instance 'Quasi IO' and ghci seems to have some kind of special case for the IO monad containing something showable. Prelude> return "eee" "eee" Prelude> return $ \e -> e + 1 Prelude> Greetings, Daniel