[m-dev.] no tag types

[Fergus Henderson]

On 06-Nov-1998, Peter Schachte <pets at cs.mu.OZ.AU> wrote:
> I think a nicer solution is to put a section in the user manual about
> no-tag types so users understand them, and put in the reference manual
> a statement that Mercury implementations are required to implement
> one-constructor, one-argument types without (additional) tags.

Yes, I agree.  If we're going to make the implementations do that
work for certain specially-marked one-constructor one-argument types,
then they might as well do it for all of them.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.