[Haskell-cafe] Follow up on type error diagnosis for DSLs in Haskell

2013-05-05 Thread Jurriaan Hage
Dear all (and in particular Alberto G. Corona and Stephen Tetley), First of all, thanks Stephen for pointing out our work to Alberto. Second, you may be interested to know that I just (as in two weeks ago) obtained a grant to hire a PhD student to scale the work of the ICFP '03 paper (as

Re: [Haskell-cafe] Follow up on type error diagnosis for DSLs in Haskell

2013-05-05 Thread Alberto G. Corona
Jurriaan: That is very good news for the people that create DSLs for industry, for haskell teaching and in general for the Haskell comunity. For a context, I add here the ticket http://hackage.haskell.org/trac/ghc/ticket/7870 and the discussion: