[mercury-users] unification and polymorphism
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
-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 220.127.116.11 | struggling to survive. -- Carolyn Chute
More information about the users