Bug in Generics.lhs (before-ghci-branch)

Simon Peyton-Jones simonpj@microsoft.com
Fri, 27 Oct 2000 07:46:00 -0700


Patrick

Thanks for reporting two bugs in the generics stuff.  I've fixed
them both.  (which, fortunately, turned out to be easy)

cvs update; make

Simon

| In short: generic default cases end up in the wrong order.
| 
| The progranm below is supposed to be an equality test but it gives the
| wrong result (always False) when comparing lists and Maybe's.

| prg/genericsinghc> ghc -c -fgenerics -fglasgow-exts -lHSstd_g 
| Hyperstrict.hs
| 
| types/Generics.lhs:211: Irrefutable pattern failed for 
| pattern (Just (tc, tys))
| 
| Any hints as to what this might be caused by?
|