FW: [commit: ghc] tc-arrows: Rearrange the typechecking of arrows, especially arrow "forms" (49badc9)
simonpj at microsoft.com
Tue Feb 19 19:10:35 CET 2013
Sounds great. Will you send me the new versions of arrowform1 and T2583?
| -----Original Message-----
| From: Ross Paterson [mailto:ross at soi.city.ac.uk]
| Sent: 19 February 2013 13:41
| To: Simon Peyton-Jones
| Cc: ghc-devs at haskell.org
| Subject: Re: FW: [commit: ghc] tc-arrows: Rearrange the typechecking of arrows,
| especially arrow "forms" (49badc9)
| 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
| 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