[m-users.] higher order issue: `ground` seen but expecting higher-order pred

[Volker Wysk]

Oops, I made a mistake. It should be:

:- pred search(map(K, V)::in(map(I, J)), K::in(I), V::out(J)) is semidet.

And an inst "map(I,J)" would have to be defined. But then map/2 couldn't be
an abstract type.

Regards,
Volker
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://lists.mercurylang.org/archives/users/attachments/20221005/b42bf08f/attachment.sig>