[m-rev.] for post-commit review: improve typechecker's handling of contexts

Julien Fischer jfischer at opturion.com
Mon Jan 12 17:22:35 AEDT 2015

Previous message: [m-rev.] for post-commit review: improve typechecker's handling of contexts
Next message: [m-rev.] diff: type_assign.m
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On Fri, 9 Jan 2015, Zoltan Somogyi wrote:

> For post-commit review by anyone.
>

That looks fine.

Cheers,
Julien.

Previous message: [m-rev.] for post-commit review: improve typechecker's handling of contexts
Next message: [m-rev.] diff: type_assign.m
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the reviews mailing list