patch applied (testsuite): No pattern matching on GADTs except if type is rigid

Simon Peyton Jones <[email protected]> Wed, 3 Jan 2007 02:19:18 -0800

Newsgroups	gmane.comp.lang.haskell.cvs.all,gmane.comp.lang.haskell.cvs.ghc
Message-ID	<[email protected]>

Wed Jan  3 02:17:15 PST 2007  [email protected]
  * No pattern matching on GADTs except if type is rigid
  
  GHC currnently will only pattern-match on a GADT if the scrutinee type
  is rigid.  It's kind-of possible to mactch a wobbly scrutinee if all
  the case alternatives can be made compatible, but that seems a rare case.
  
  So for now, I'm just making it illegal.
  

    M ./tests/ghc-regress/gadt/gadt13.stderr -4 +5
    M ./tests/ghc-regress/gadt/gadt7.stderr -9 +13