Skip to content

[JsLIGO] Attributes can now occur before keyword "export".

Ghost Userrequested to merge
rinderknecht@jsligo_attributes into dev

type:fixed

Checklist:

  • Changes follow the existing coding style (use dune @fmt to check).
  • Tests for the changes have been added (for bug fixes / feature).
  • Documentation has been updated.
  • Changelog description has been added (if appropriate).
  • Examples in changed behaviour have been added (for breaking change / feature).

Motivation and Context

The JsLIGO parser did not allow for attributes to occur before the keyword "export". Now, if there is an exported statement, the attributes must occur just before it (as a line comment).

Description

I slightly changed the grammar and the semantic actions, but not the CST.

Changelog description

Changelog details: This MR enables attributes to occur just before the "export" keyword.

Examples

Edited by Alistair O'Brien

Merge request reports