[m-rev.] for review: Fix abstract equivalence types.

[Dirk Ziegemeyer]

What ist the reason for not using
:- type var(T) == int.
instead?

I suppose that the compiler won’t recognise if we accidentally mix up two types which are both equivalent to int.

Would „:- type var(T) == int.“ have advantages over the current definition? E.g. regarding memory consumption or unification speed.

Dirk.

> Am 22.08.2017 um 09:52 schrieb Zoltan Somogyi <zoltan.somogyi at runbox.com>:
> 
> 
> 
> On Tue, 22 Aug 2017 08:52:13 +0200, Dirk Ziegemeyer <dirk at ziegemeyer.de> wrote:
>> Is the abstract type definition of term.var as
>> 
>> :- type var(T)
>>    --->    var(int).
>> 
>> a workaround for Mantis bug 411
> 
> No, it isn't.
> 
> Zoltan.