Re: [m-users.] IO argument clobbering
Volker Wysk <[email protected]>
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
Am Dienstag, dem 18.07.2023 um 18:32 +1000 schrieb Peter Wang: > To clarify, you CAN approximate a higher-order term with the inst `ground', > because the term has no variables (variables essentially meaning "holes" > in the term that are not yet filled in). > > What you can't do is CALL a higher-order term approximated by `ground' > because `ground' does not include any higher-order inst information. Hmmm... Why would you want to approximate a higher order inst with a ground inst? Isn't calling the term as a function or predicate the only thing you can do with it? 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+K4ydFOsHoUFAmS2XuAACgkQ+K4ydFOs HoWCjRAAyiQO5caJ39/IiblUV4jmgTaMZH0+xk5EaJTCDBjJibnq110K8NIs1+VH r8pq6a4jJK/Rf8NHsz0rMJ6GR/uIMIF3sexgFoAa7BkoFGqZjVSkEUwqf6LeJ0U3 05dm0PZYjYap62tC0rtbFU84f60GJrHfjubbiJQjltr0GOsjyqZ5ysH4ZWhh0PG9 TnzhBPSPA7sIxR76axN1HY1I0NbZqB6tTS0oP8vBgVRCkRHfagUW9JQfbBWedETj rGRVlpq/Hobhix6y/xEAIU0qWNe5mW6IPDDgcwefM0FEB+Ukzokem627dLGgP2tN 3IJ4cT/0leBFTFRsQ5znb2DCH0+ttG4/vtEnb0/lzvP+aH46xForDn4RzGvrXQdE /9UNtCPfMUMnT74+9BAozKpykSp8NzXDV8MMEcgMt0BBkqSNKPAZne0Ns3W6fFyi o0fY975lRvpkIBE8mksrwJEEg7nuCTNe7mYhhPGrTLDw8W4xFuzE0qRfqOFYpVB6 HIvq1eN/HVfZMEvpVosnQtUtTh8KCVZax7JW0Zgsjkr1clXTP2wdK7FIrgMscP60 QFYKNok9ALGGfxM2l5jzZHwhf3I3zO4IqBy48PYK4YSTe+O+m01yhbCSC4z4cd0i hms9UGXa5Pnwv4uHmNFdKTl4SKz4yAEPDCwg6vP/HHfaMdulsLU= =wdrh -----END PGP SIGNATURE-----