Email Gateway (Aug 19 2022 at 10:48): Email Gateway (Aug 19 2022 at 10:48):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi Cornelius,
as you have found out experimentally, the number of arguments to a
function which are passed tupled rather than curries is determined by
the number of arguments to the underlying code equations. E.g.
lemma [code]:
"f x y z = …"
has three tupled parameters, potential remaining parameters curried, but
lemma [code]:
"f = …"
has only curried parameters.
If you are working on a Scala-only environment, you should indeed
declare your code equations accordingly. Future will show whether it is
now time to admit distinct code equations for different target languages
(cf. the contemporary related discussions on this mailing list).
Hope this helps,
Florian
signature.asc
Last updated: Nov 21 2024 at 12:39 UTC