Re: Typed splices and type checking

2015-03-27 Thread Brandon Allbery
On Fri, Mar 27, 2015 at 10:30 AM, J. Garrett Morris 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,

Typed splices and type checking

2015-03-27 Thread J. Garrett Morris
Hello, I've run into another misunderstanding with Template Haskell and typed splices. For example, I was hoping to use typed splices to generate earlier errors from Printf. Here's the world's least handy printf: > class Printf t > where printf :: String -> Q (TExp String) -> Q (TExp t) > >

Re: ANNOUNCE: GHC version 7.10.1

2015-03-27 Thread Jan Stolarek
Austin, links to x86_64 linux versions for CentOS don't work. Janek Dnia piątek, 27 marca 2015, Austin Seipp napisał: > == > The (Interactive) Glasgow Haskell Compiler -- version 7.10.1 >

ANNOUNCE: GHC version 7.10.1

2015-03-27 Thread Austin Seipp
== The (Interactive) Glasgow Haskell Compiler -- version 7.10.1 == The GHC Team is pleased to announce a new major release of GHC. There have been a number of significant cha