Commit ffdda437 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Follow error message change

parent 7c792311
lazypat.hs:7:2:
A lazy (~) pattern cannot bind existential type variables
A lazy (~) pattern cannot match existential or GADT data constructors
`a' is a rigid type variable bound by
the constructor `T' at lazypat.hs:7:4
the constructor `T' at lazypat.hs:7:4
In the pattern: ~(T x f)
In the definition of `f': f ~(T x f) = f x
Markdown is supported
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