[mercury-users] unification and polymorphism

Peter Schachte pets at students.cs.mu.OZ.AU
Thu Aug 6 15:40:39 AEST 1998

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 | struggling to survive. -- Carolyn Chute 

More information about the users mailing list