[m-rev.] diff: delete "this" from MLDS calls

Julien Fischer jfischer at opturion.com
Tue Aug 1 15:52:50 AEST 2017

Previous message: [m-rev.] diff: delete "this" from MLDS calls
Next message: [m-rev.] for post-commit review: prepare to move tail calls to ml_call_gen.m
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi Zoltan,

On Mon, 31 Jul 2017, Zoltan Somogyi wrote:

> I don't know if we ever used the field that this diff deletes.

I've just had a look back at the IL backend (which is the only other
thing that could have used it) and it wasn't use there either.

Julien.

Previous message: [m-rev.] diff: delete "this" from MLDS calls
Next message: [m-rev.] for post-commit review: prepare to move tail calls to ml_call_gen.m
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the reviews mailing list