interaction of GADTs and data families: a bug?
sebf at informatik.uni-kiel.de
Thu Apr 15 09:21:36 EDT 2010
> but later in the comments I show an example with data families
> which fails on both 6.10.4 and 6.12.1.
Ah, I think I misinterpreted your comment, when I read it for the
first time. Thanks for pointing me at it again. But I still don't see
whether or not the two examples are related. At least the error is
Underestimating the novelty of the future is a time-honored tradition.
More information about the Glasgow-haskell-users