[m-users.] IO argument clobbering

[Volker Wysk]

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
-------------- 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/20230718/4417eb8a/attachment.sig>