[m-rev.] diff: tighten MLDS function and class names

Zoltan Somogyi zoltan.somogyi at runbox.com
Wed May 31 02:01:49 AEST 2017

Previous message: [m-rev.] diff: add reverse modes for uint.xor/2 (part 1)
Next message: [m-rev.] diff: eliminate most mlds_entity_names
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More encoding of invariants in types.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.name
Type: application/octet-stream
Size: 1186 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20170531/a700d3b6/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.name
Type: application/octet-stream
Size: 109479 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20170531/a700d3b6/attachment-0003.obj>

Previous message: [m-rev.] diff: add reverse modes for uint.xor/2 (part 1)
Next message: [m-rev.] diff: eliminate most mlds_entity_names
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the reviews mailing list