Reworking parametric types in CameLIGO and JsLIGO (concrete syntax, CST, pretty-printing)
Compare changes
There are no changes yet
No changes between version 7 and version 7
In JsLIO, until now interface types could not be parametric and interface constants could not bear parametric types. This was an oversight. Also, the pretty-printing of parametric types wrongly discarded the parameters. Same with CameLIGO (val id : 'a.'a -> 'a
).
dune @fmt
to check).## Changelog
section with #### (if appropriate).No changes between version 7 and version 7