Commit 5e5ed24f authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

gadt: slighly changed error msg with equalities

parent 6c949914
gadt21.hs:21:59:
Could not deduce (Ord a2) from the context ()
Could not deduce (Ord a1) from the context (a ~ Set a1)
arising from a use of `f' at gadt21.hs:21:59-61
Possible fix:
add (Ord a2) to the context of the constructor `TypeSet'
add (Ord a1) to the context of the constructor `TypeSet'
In the first argument of `Just', namely `(f e)'
In the expression: Just (f e)
In the definition of `withOrdDynExpr':
withOrdDynExpr (DynExpr (e@(Const (TypeSet _) _))) f = Just (f e)
withOrdDynExpr (DynExpr (e@(Const (TypeSet _) _))) f = Just (f e)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment