fa-ml at ariis.it
Wed Apr 13 19:33:49 UTC 2016
On Wed, Apr 13, 2016 at 11:41:10AM -0500, Christopher Allen wrote:
> > On Apr 13, 2016, at 11:38 AM, Dan Burton wrote:
> > Presumably the reason for using hugs is friendlier error messages for
> > new Haskellers, or something of the sort?
> That's not the real reason and the errors aren't better.
Indeed not the real reason (he wants/ed something that didn't change
often -- hugs, a haskell 98 interpreter, apparently fits his bill), but
I think there is some value in Hugs error reporting (tabular, slightly
more concise, expression-to-type instead of type-to-expression).
I think there was even a discussion on Trac but now I cannot fish it.
λ> and True
Couldn't match expected type ‘t0 Bool’ with actual type ‘Bool’
In the first argument of ‘and’, namely ‘True’
In the expression: and True
Hugs> and True
ERROR - Type error in application
*** Expression : and True
*** Term : True
*** Type : Bool
*** Does not match : [Bool]
More information about the Haskell-Cafe