Bug: mixing `export` with attributes

Motivation and Context

This comes from an issue reported by Benjamin, in which export and @entry do not interact correctly.

Description

In this MR we change the Export_declaration nanopass to generate an attribute public.

Component

• compiler
• website
• webide
• vscode-plugin
• debugger

Types of changes

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Performance improvement (non-breaking change that improves performance)
• None (change with no changelog)

Changelog

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).
• Start titles under ## Changelog section with #### (if appropriate).
• There is no image or uploaded file in changelog
• Examples in changed behaviour have been added to the changelog (for breaking change / feature).

assigned to @er433

added 1 commit

• a73c6408 - tests: add test file

Compare with previous version

added 1 commit

• d74f2134 - tests: move around test file

Compare with previous version

added 1 commit

• a2f02558 - tests: add test case

Compare with previous version

added 1 commit

• 4eae3895 - style: apply dune fmt

Compare with previous version

marked the checklist item Changes follow the existing coding style (use dune @fmt to check). as completed

marked the checklist item Tests for the changes have been added (for bug fixes / feature). as completed

approved this merge request

approved this merge request

resolved all threads

added 1 commit

• 33d8d2e8 - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

changed title from Fix: mixing export with attributes to Bug: mixing export with attributes

mentioned in commit 510a7f30

added 6 commits

• 33d8d2e8...a1270b8e - 4 commits from branch dev
• 510a7f30 - Merge branch 'er433/fix/nanopass-export' into 'dev'
• cd9fa3ad - [Bot] add changelog entry

Compare with previous version

enabled automatic add to merge train when the pipeline for 1f7efe95 succeeds

A new deploy preview is available on Netlify at https://2540-28d84a90--ligolang.netlify.app, you can view the logs at https://app.netlify.com/sites/ligolang/deploys/6442ae5fa75498133ea29a06

started a merge train

removed this merge request from the merge train because pipeline did not succeed

added this merge request to the merge train at position 3