[project @ 2000-02-23 19:41:50 by lewie]
authorlewie <unknown>
Wed, 23 Feb 2000 19:41:51 +0000 (19:41 +0000)
committerlewie <unknown>
Wed, 23 Feb 2000 19:41:51 +0000 (19:41 +0000)
commite87d56ce33f663da1c445f37e95c40d814caa384
treef4e2623a186ea97acf5039f8b23101831170774e
parentb78eb7be33564199dff5b03a452ea5d3b707f34d
[project @ 2000-02-23 19:41:50 by lewie]
Handle `with' more cleverly.  I was generating partially applied methods
for the case where the `with' expression was also overloaded, but this
was buggy, and completely unnecessary.  Instead, simply force the method
binding at the point of the `with' expression (we reap no benefits from
pushing the sharing further out anyway), and release the remainder of
the method's context into the LIE.
ghc/compiler/basicTypes/Id.lhs
ghc/compiler/typecheck/Inst.lhs
ghc/compiler/typecheck/TcExpr.lhs
ghc/compiler/typecheck/TcHsSyn.lhs