Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[feature request] file/package tag #3

Open
tonyfettes opened this issue Mar 5, 2024 · 0 comments
Open

[feature request] file/package tag #3

tonyfettes opened this issue Mar 5, 2024 · 0 comments

Comments

@tonyfettes
Copy link
Contributor

tonyfettes commented Mar 5, 2024 •
edited
Loading

It would be helpful to specify the directory structure/filename the file to be check in. This will be of great help to create different namespace for different block.

Proposed Syntax

```moonbit file="a.mbt"
```

Proposed Semantic

This block should be placed inside a a.mbt inside a MoonBit project to be checked.
notch1p added a commit to notch1p/moonbit-markdown that referenced this issue Aug 1, 2024
@notch1p
Adds basic LP utility (moonbitlang#3)
e7d9528
notch1p added a commit to notch1p/moonbit-markdown that referenced this issue Aug 1, 2024
@notch1p
Adds basic LP utility (moonbitlang#3)
5075eff
@notch1p notch1p mentioned this issue Aug 1, 2024
Merged
peter-jerry-ye pushed a commit that referenced this issue Aug 19, 2024
@notch1p
FEAT: various improvements and fixes (#11)
e8210ba 
* FEAT: option to suppress warnings; dump generated code; various fixes

* replace regex matching w/ json output
better output format and performance

* Adds basic LP utility (#3)

* Update README.md
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@tonyfettes