cvs commit: fptools/ghc/compiler/typecheck TcInstDcls.lhs fptools/ghc/compiler/types FunDeps.lhs

[Simon Peyton Jones]

simonpj     2001/01/29 00:42:54 PST

  Modified files:
    ghc/compiler/typecheck TcInstDcls.lhs 
    ghc/compiler/types   FunDeps.lhs 
  Log:
  Be a bit more liberal about allowing instance decls through.
  In particular, allow this:
  
  	instance C a b => C [a] [b] where ...
  
  if we have
  
  	class C a b | a -> b
  
  This is an experimental feature. Furthermore it requires a 
  little more work (which I have not yet done) to make improvement
  work properly.
  
  
  Revision  Changes    Path
  1.109     +6 -6      fptools/ghc/compiler/typecheck/TcInstDcls.lhs
  1.11      +8 -7      fptools/ghc/compiler/types/FunDeps.lhs