[m-dev.] [m-users.] Comparison in the reference manual

[Paul Bone]

On Tue, Nov 17, 2015 at 12:21:13AM +1100, Mark Brown wrote:
> On Mon, Nov 16, 2015 at 9:38 AM, Julien Fischer <jfischer at opturion.com> wrote:
> >
> > Hi Mark,
> >
> > On Mon, 16 Nov 2015, Mark Brown wrote:
> >
> >> Moved to developers list...
> 
> >> I'm wondering, can the language define a bit more than it has thus
> >> far?
> >
> >
> > I think that's a good idea; I suspect most users have been assuming more
> > than that language actually guarantees anyway.
> 
> Attached diff is for review. Preferably by everyone, since it changes
> the language and is a small diff.
> 
> The actual changes are still up for discussion.
> 

This makes sense to me.  I see neither any sagnificant issues or trivial
errors (spelling).  I'd be happy with this but since it's a language
definition thing I'd suggest getting 1-2 more votes before committing it.

Cheers.


-- 
Paul Bone