[m-dev.] For review: Add implementation of reference types (global heap)

[Fergus Henderson]

On 10-Jun-1998, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> 
> Personally, I'm not convinced that we should allow polymorphic equivalence
> types with monomorphic definitions at all. I don't think that the "equivalence"
> makes sense.

Sure it does.

If I write

	:- type foo(T) == bar.

then this means that for all types T, the types `foo(T)' and `bar'
are equivalent, which in turn means that

	for all types T, 
		for all expressions X,
			well_typed(X, foo(T)) <=> well_typed(X, bar)

where `well_typed(Expr, Type)' means that X is a well-typed expression
with type `Type'.

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