On Jun 26, 2009, at 00:47 , Ahn, Ki Yung wrote:
We got a code (please refer to the attached lhs file) that uses type
families and type classes very cleverly. We don't know who wrote
I'm under the impression that many clever uses of type families
require GHC HEAD, as they're still evolving.
We got a code (please refer to the attached lhs file) that uses type
families and type classes very cleverly. We don't know who wrote
itbecause this was a contribution of an anonymous reviewer on our paper,
which we are still revising. http://kyagrd.dyndns.org/wiki/SharedSubtypes
Although we
Tom Schrijvers wrote:
Have you first, before you turn to GHC considered whether this code
should be well-typed in any type system?
Review3.lhs:67:29:
Could not deduce (Expandable (Tuple (Map ((,) t2) ys)))
from the context (xs ~ t2 ::: ts2, Expandable t2)
arising from a use of
Ahn, Ki Yung wrote:
Another problem, which I haven't mentioned, I have when I tried to make
additional type family instance declarations that latest (stable)
Typo: I mean type class instance declaration of course.
distributions of GHC 6.10.x does not let me declare instances of
Dear GHC type hackers,
We got a code (please refer to the attached lhs file) that uses type
families and type classes very cleverly. We don't know who wrote
itbecause this was a contribution of an anonymous reviewer on our paper,
which we are still revising.
