[Haskell-cafe] Domain specific error messages

[Corentin Dupont]

On Fri, Feb 6, 2015 at 12:22 PM, Daniel Trstenjak <
daniel.trstenjak at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20150206/7451c618/attachment.html>