cvs commit: fptools/ghc/compiler/typecheck TcMType.lhs

[Simon Peyton Jones]

simonpj     2002/11/18 06:22:02 PST

  Modified files:
    ghc/compiler/typecheck TcMType.lhs 
  Log:
        ----------------------------------
        Ambiguity for implicit parameters
        ---------------------------------
  
        MERGE TO STABLE
  
  Implicit parameters do not cause amiguity. For example, this is OK:
  
        foo :: (?x :: [a]) => Int -> Int
        foo _ = length ?x
  
  Test is tcrun023.hs
  
  Revision  Changes    Path
  1.42      +9 -2      fptools/ghc/compiler/typecheck/TcMType.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc