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

[Simon Peyton-Jones]

Sounds great.  Will you send me the new versions of arrowform1 and T2583?

Thanks

Simon

|  -----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
|  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.