Support positional arguments #303
Labels
(normalization rules)
Related to normalization rules
(normalizer)
Related to the normalizer application
priority 1
There are$\alpha$ -bindings instead of normal names in generated PHI programs.
eoc
can't statically generate correct names for arguments.Program used in this example is available in this artefact
pipeline/phi/as-phi-tests.phi
:The text was updated successfully, but these errors were encountered: