Won't Compile
<interactive>:5:28:
Couldn't match type ‘'NoEffect’ with ‘'Effect’
Expected type: Exp Effect ()
Actual type: Exp NoEffect ()
In the expression: e_1
In the expression: (let e_1 = do { ... } in e_1) :: Exp Effect ()
It's not so helpful and exposing Nomyx internals.
A better error message would be to hint that the player forgot a "liftEffect" instruction.
The only quick-and-dirty solution I see is to pattern-match for it and display an additional hint line...
That is fantastic news. Very nice to know that the project is alive and with aims to produce tangible results.As Felipe said, please ping your advances there. To add some estimated dates would be fantastic.2014-11-24 17:37 GMT+01:00 Felipe Lessa <felipe.lessa@gmail.com>:_______________________________________________On 24-11-2014 06:27, Alejandro Serrano Mena wrote:
> At Utrecht University we are currently tackling this problem, in the
> form of the DOMain Specific Type Error Diagnosis (DOMSTED) Project [1].
> So at least we have one person (me) working full-time on it, plus my
> supervisor Jurriaan Hage, which had already worked in a similar project
> for Haskell 98 which produced the Helium [2] compiler.
> We are slowly building step towards a nice way to create domain specific
> error messages, and we expect to have some nice results soon :)
> Of course, if you have any ideas on how to improve error messages, feel
> free to contact me :)
It would be nice if you could ping relevant issues (such as [1]) stating
that you're researching on this topic.
Cheers,
[1] https://ghc.haskell.org/trac/ghc/ticket/7870
--
Felipe.
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
--Alberto.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe