[mercury-users] unification and polymorphism

[Peter Schachte]

On Thu, 6 Aug 1998, Peter David ROSS wrote:

> ie. :- pragma type_spec(map__lookup/3, [K - (int:int)]).

That looks a bit odd.  K is a singlton variable.  Did you perhaps mean

	:- pragma type_spec(map__lookup(K,_,_), [K - (int:int)])?

And does int:int mean the same thing as int__int (ie, a module qualified
type name)?


-Peter Schachte               | There's no left or right, just up and down.
mailto:pets at cs.mu.OZ.AU       | All the fat cats up there having a good
http://www.cs.mu.oz.au/~pets/ | time, while the rest of us are down here
PGP: finger pets at 128.250.37.3 | struggling to survive. -- Carolyn Chute