6 May
2007
6 May
'07
3:14 p.m.
On Sun, 2007-05-06 at 07:10 -0700, Stefan O'Rear wrote:
On Sun, May 06, 2007 at 03:11:12AM -0700, Mike Hamburg wrote:
Is there a clean way around this error?
Yes, upgrade.
Type classes and GADTs are broken in all versions prior to HEAD (at which point Simon made a heroic effort to do something I don't quite understand to the type checker).
Stefan
Ah. Well, thanks for your time, and props to Simon! Mike