[m-rev.] for review: subtypes

[Julien Fischer]

On Tue, 31 Dec 2013, Mark Brown wrote:

> I have had a shot at implementing something along the lines of the old
> subtypes proposal. It is for review by anyone. The log message is
> attached, and the diff can be found at
>
> https://github.com/markbrown/mercury/
>
> in the subtypes branch. Please note I am not currently subscribed to this list.
>
> Merry Christmas :-)

For the benefit of those who weren't about or can't remember that far
back, the relevant threads on the developers list are:

``subtyping proposal'': <http://lists.mercurylang.org/pipermail/developers/1998-February/002274.html>
``for discussion: subtypes documentation'': <http://lists.mercurylang.org/pipermail/reviews/2002-November/004675.html>
``Ye Olde Subtyping Proposal'': <http://lists.mercurylang.org/pipermail/developers/2002-November/002285.html>
``subtypes discussion'': <http://lists.mercurylang.org/pipermail/developers/2002-December/012992.html>

Cheers,
Julien.