cvs commit: fptools/ghc/compiler/typecheck TcMType.lhs TcMonoType.lhs fptools/ghc/compiler/types Type.lhs

[Simon Peyton Jones]

simonpj     2001/10/17 03:35:35 PDT

  Modified files:
    ghc/compiler/typecheck TcMType.lhs TcMonoType.lhs 
    ghc/compiler/types   Type.lhs 
  Log:
  	-------------------------------
  	Fix type-synonym arity checking
  	-------------------------------
  
  	*** MERGE TO STABLE BRANCH ***
  
  The newish stuff on checking types (checkValidType etc)
  didn't detect an un-saturated, but *kind-correct* type
  synonym occurrence.  Example:
  
  	type A i = i
  	type B = A
  
  Result: crash.  Fix is rather easy.
  
  Thanks to Thomas Hallgren.
  
  Revision  Changes    Path
  1.10      +8 -1      fptools/ghc/compiler/typecheck/TcMType.lhs
  1.86      +2 -6      fptools/ghc/compiler/typecheck/TcMonoType.lhs
  1.93      +19 -6     fptools/ghc/compiler/types/Type.lhs