[CakeML-dev] Partial applications in CF
Ramana.Kumar at cl.cam.ac.uk
Thu Mar 9 02:52:57 UTC 2017
Hi Armaël, Magnus, developers,
Do you know how to use CF for partial applications of
translator-verified functions? It seems that app_of_Arrow_rule always
produces an app spec with the maximum number of arguments applied. Is
it possible to use this app spec (with xapp) in a situation where
only, say, the first out of two arguments has been applied?
If that is not possible, what is a good workaround? Do I need to
define a new function for every partial application?
More information about the Developers