FW: [commit: ghc] tc-arrows: Rearrange the typechecking of arrows, especially arrow "forms" (49badc9)

Ross Paterson ross at soi.city.ac.uk
Tue Feb 19 14:40:53 CET 2013


On Thu, Feb 14, 2013 at 05:40:51PM +0000, Simon Peyton-Jones wrote:
> I've pushed a new branch, tc-arrows, for the new typechecking of arrows, based on the discussion we had last week.
> 
> It all compiles, but won't work because I have done nothing to the desugaring.  
> 
> It uses our new representation with (env, nested-tuple-with-unit-at-end)
> rather than (nested-tuple-with-env-at-the-end), so desugaring needs significant attention.

I think it's done.  All but 4 of the tests pass:
- I have new versions of arrowform1 and T5283 that pass.
- The type error message for T5380 has changed.
- The gimmick used by arrowapply4 is incompatible with the new representation,
  so this test should be dropped.



More information about the ghc-devs mailing list