[m-rev.] for review: stricter checks on mode and det declarations

Julien Fischer jfischer at opturion.com
Tue Jan 12 21:03:17 AEDT 2016

On Tue, 12 Jan 2016, Zoltan Somogyi wrote:

> For review by Julien, since he proposed these changes.
> The diff requires a workaround for the declaration of "is"
> in library/int.m. I propose that we mark "is" as obsolete;
> it has LONG outlived its usefulness.

Agreed.  I think you could probably get away with simply deleting
it now.

The diff looks fine.


More information about the reviews mailing list