[m-dev.] cvs diff: Bug fix for layoutst

Fergus Henderson fjh at cs.mu.oz.au
Thu Mar 20 15:11:14 AEDT 1997


Tyson Richard DOWD, you wrote:
> 
> Ok, I'm a little confused about the place of univ in schemes like this.
> 
> For example:
> 
> :- type foo ---> foo(univ).
> 
> 	type_to_univ(4, Univ),
> 	type_to_univ('a', Univ2),
> 
> Does type_of(foo(Univ)) = type_of(foo(Univ2))?

Yes.  The type, in both cases, is `foo/0'.

> Does type_of(Univ) = type_of(Univ2)?

Yes.  The type, in both cases, is `univ/0'.

-- 
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.



More information about the developers mailing list