[m-rev.] diff: mlds global defns

Zoltan Somogyi zoltan.somogyi at runbox.com
Sun May 21 01:49:20 AEST 2017

Previous message: [m-rev.] diff: tail recursion in ml_elim_nested.m
Next message: [m-rev.] diff: delete unused imports in packages
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

A small simplification.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.gd
Type: application/octet-stream
Size: 768 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20170521/497f1eec/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.gd
Type: application/octet-stream
Size: 11865 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20170521/497f1eec/attachment-0001.obj>

Previous message: [m-rev.] diff: tail recursion in ml_elim_nested.m
Next message: [m-rev.] diff: delete unused imports in packages
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the reviews mailing list