[m-rev.] for review: pre_quantification.m

[Zoltan Somogyi]

On Mon, 03 Jul 2017 20:05:44 +0200 (CEST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> > (As an aisde, the documentation in enum.m doesn't state the conditions
> > under which the from_int/1 method is expected to fail.)
> 
> It is there, implicit in the maths notation if you look hard enough,
> but not in plain english.
> 
> I will post a proposed diff fixing this hole in the docs.

It is attached. I committed it; reviews can take the form of other
commits.

Zoltan.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.enum
Type: application/octet-stream
Size: 1194 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20170704/6b85ec72/attachment.obj>