cvs commit: fptools/ghc/compiler/deSugar Match.lhs fptools/ghc/compiler/hsSyn HsPat.lhs

Simon Peyton Jones simonpj@glass.cse.ogi.edu
Mon, 9 Sep 2002 05:57:48 -0700 

simonpj     2002/09/09 05:57:48 PDT

  Modified files:
    ghc/compiler/deSugar Match.lhs 
    ghc/compiler/hsSyn   HsPat.lhs 
  Log:
  	--------------------------------
  	Fix rank-2 pattern-match failure
  	--------------------------------
  
  This fixes the failure when you have a rank-2 type sig
  matching a data type pattern.  Thus
  
  	data T a = T1 | T2 a
  
  	f :: (forall x. T x) -> Int
  	f T1 = ...
  
  This crashes GHC 5.04
  
  Revision  Changes    Path
  1.59      +45 -11    fptools/ghc/compiler/deSugar/Match.lhs
  1.39      +4 -1      fptools/ghc/compiler/hsSyn/HsPat.lhs
_______________________________________________
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc