projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29e342d) | patch
Make scoped type variables work for default methods
authorsimonpj@microsoft.com <unknown>
Mon, 12 Jun 2006 11:38:55 +0000 (11:38 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 12 Jun 2006 11:38:55 +0000 (11:38 +0000)
commit1dfd77341ec56e9d61f2d78cb7ff2b9900385dac
tree446b8af401e0b1dfbcb6282087925eed5a4272a7tree | snapshot
parent29e342d1903ba4cb4b58a66605f00920eddae7a5commit | diff
Make scoped type variables work for default methods

Consider
  class C a where
    op :: forall b. a -> b -> b
    op = <rhs>

Then 'b' should be in scope in <rhs>.  I had omitted this case.
This patch fixes it.
compiler/rename/RnBinds.lhs diff | blob | history
compiler/rename/RnSource.lhs diff | blob | history
compiler/typecheck/TcBinds.lhs diff | blob | history
compiler/typecheck/TcClassDcl.lhs diff | blob | history
compiler/typecheck/TcDeriv.lhs diff | blob | history
compiler/typecheck/TcInstDcls.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)