[project @ 2005-04-16 16:05:52 by ross]
authorross <unknown>
Sat, 16 Apr 2005 16:05:53 +0000 (16:05 +0000)
committerross <unknown>
Sat, 16 Apr 2005 16:05:53 +0000 (16:05 +0000)
commit872f7e822cb83692afa808509b4f2a6b4343fb2c
treed628e322a39cc136b0782528f76a6aa169026e07
parent7ffe2d8843bee42e9a26103c1e7d7019caba1f78
[project @ 2005-04-16 16:05:52 by ross]
Rejig handling of environments in arrow notation: instead of the
proc_level stuff, we just record the environment of the proc, and
use that on the left side of -< and the head of (|...|).

This also makes the arrow1 test yield a compile error, as it should,
but the error message is uninformative.
ghc/compiler/typecheck/TcArrows.lhs
ghc/compiler/typecheck/TcEnv.lhs
ghc/compiler/typecheck/TcExpr.lhs
ghc/compiler/typecheck/TcRnMonad.lhs
ghc/compiler/typecheck/TcRnTypes.lhs
ghc/compiler/typecheck/TcSplice.lhs