On Fri, Feb 6, 2015 at 12:22 PM, Daniel Trstenjak < daniel.trstenjak@gmail.com> wrote:
Hi Richard,
The errors generated by tiny misuses of this package are disastrous. But, figuring out what went wrong from an error message would still be hard, even as a plugin.
Yes, it also feels a bit too heuristically and if GHC changes, extensions get added or just activated, then the type errors might change and the heuristics break.
Instead, it would be much better if extra checks were put in place during typechecking; if these checks fail, then the errors are easier to diagnose.
Yes, this seems like a more stable approach.
Maybe a sort pre-compilation of the DSL, to catch the most common errors?
Greetings, Daniel _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe