[m-users.] Insts of tuple types?
Volker Wysk <[email protected]>
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
Hello.
I have an argument of this type:
maybe(
{ (pred(io, io)),
place_data
}
)
I need to specify a higher order inst because the first component is a
predicate. What is the inst? This inst doesn't work:
:: out(
maybe(
{ pred(di, io) is det,
ground
}
))
I get this error message:
amend.m:099: In declaration of predicate `amend_new_file_place'/5:
amend.m:099: error: undefined inst `{}'/2.
Cheers,
Volker
_______________________________________________
users mailing list
[email protected]
https://lists.mercurylang.org/listinfo/users
signature.asc
(application/pgp-signature, 833 B)
-----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEE6QXGh82Ov3+2nrxp+K4ydFOsHoUFAmTP2nEACgkQ+K4ydFOs HoUdRA//f3EdeFFNBKYuk0z/fkG08F3u9/Cz9MW1XvsXxbq7ysCKLsJk7rJe/VLh 2gVepTg6ZmF1yNo6FIkGU+J8n36OI0ufkVSaGJ4e7IJtWJBjheprp5ayvHlMRAGR NYw2vHYPVIEzDXBD03iuOTgyUGgEX8E4S+h6f5f+VwiWesXzQDGOyPxHjjX0JThq 7yBgGI3RH4PU0abbw+TDcQX84K9EOXDDGLBXcP1tN0YT0jduOMuTmZsBdgh/hrX8 d+rLtZNVKGq84GPkraiXZO1BFJxQB26A5PFh/qtBJdztbjWS81mB6SXbGX55bSd5 hQsKP71VLLDf0C6+DlVqFNg6SvHmxrur+kptCBPMSLJ9RylRYXH/zsojjpmQwlJn yS4LygQ6HkDu+XFEO15oRMlk1ActOJOdCjwtwdP3dzul6BpRJ3yxdrSbNjQ2nVZh 7Yg0zywYmXwBlgJqfl/AXJcvnNGpTnrldGklol7Hq2DCufy1mAIisL3Nx7NRg9J8 4yvr8hLnOoarkNMJTiegSp7n855GSnw3p7swqKzHWfccSwsUt/5L9evZEJsL4tAs sSlXpIgrZMmrdE5eMhygTF1FhjZ2TWV3EmTuDD4EXQ+IbVdf/Q/fheT7iI8M3cCh KZFlnaaROBnYrhN/yjzsnFXeUnlX0j1srROkFBFyToN5G8UFAnQ= =50Ni -----END PGP SIGNATURE-----