Typed splices and type checking

Brandon Allbery allbery.b at gmail.com
Fri Mar 27 15:11:01 UTC 2015


On Fri, Mar 27, 2015 at 10:30 AM, J. Garrett Morris <Garrett.Morris at ed.ac.uk
> wrote:

> Should I have anticipated this?  Ought the interaction of typed splices
> and eta-expansion be problematic?
>

In the specific case of printf, which uses typeclasses to play dirty tricks
that interact "interestingly" with eta expansion, it's not particularly
surprising. I would suggest using wrappers if possible.

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/glasgow-haskell-users/attachments/20150327/d00dabd2/attachment.html>


More information about the Glasgow-haskell-users mailing list