projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38f4f2e) | patch
Simplify desugaring of left sections
authorsimonpj@microsoft.com <unknown>
Mon, 11 Sep 2006 08:35:10 +0000 (08:35 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 11 Sep 2006 08:35:10 +0000 (08:35 +0000)
commit67c2b6a15ec56f45001e24dc910282385e0cc6bf
tree1a210925feadb0c624b102b096fe1143cc2369aatree | snapshot
parent38f4f2e06695db9e396e3ebaf97b870c4975c803commit | diff
Simplify desugaring of left sections

MERGE TO 6.6 branch!

Some while ago I made the type checker a tiny bit more lenient about
left sections, so that
(x !)
would typecheck iff
((!) x)
typechecks.

Strictly, Haskell 98 requires that the section typechecks iff
(\y. (!) x y)
typechecks, and I should really have made the relaxation dependent on a
flag, but I didn't.

Anyway, this commit fixes the *desugarer* so that it correctly desugars
the programs that the typechecker passes.
compiler/deSugar/DsExpr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)