diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-12-16 17:34:26 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-12-17 14:43:10 +0000 |
| commit | f50d62bb6c0357991fabf938bc971d528bbf5cc4 (patch) | |
| tree | 9c22376653e11cd99487401e09a5be99befa7788 /compiler/codeGen | |
| parent | 75c211ecafad890854f4a1f3e527bd42b13fc516 (diff) | |
| download | haskell-f50d62bb6c0357991fabf938bc971d528bbf5cc4.tar.gz | |
Fix the scope-nesting for arrows
Previously we were capturing the *entire environment* when moving under
a 'proc', for the newArrowScope/escapeArrowScope thing. But that a blunderbuss,
and in any case isn't right (the untouchable-type-varaible invariant gets
invalidated).
So I fixed it to be much more refined: just the LocalRdrEnv and constraints are
captured.
I think this is right; but if not we should just add more fields to ArrowCtxt,
not return to the blunderbuss.
This patch fixes the ASSERT failure in Trac #5267
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions