Skip to content
  • Simon Peyton Jones's avatar
    Fix the scope-nesting for arrows · f50d62bb
    Simon Peyton Jones authored
    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
    f50d62bb