Skip to content

Issues: azdavis/millet

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

Clear current search query, filters, and sorts
11 Open 41 Closed
11 Open 41 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Running/debugging
#9 by matozoid was closed Aug 21, 2022 updated Aug 21, 2022
2
Relax constraint that CM file must be sources.cm enhancement New feature or request
#3 by jez was closed Jul 4, 2022 updated Sep 25, 2022
6
Allow using libraries built into SML/NJ enhancement New feature or request
#5 by jez was closed Jul 6, 2022 updated Sep 25, 2022
5
cm errors should have better error locations enhancement New feature or request
#6 by azdavis was closed Jul 5, 2022 updated Sep 25, 2022
allow configuring path to lang-srv executable enhancement New feature or request
#8 by smasher164 was closed Aug 22, 2022 updated Sep 25, 2022
4
Feature request: implement function docstring popup enhancement New feature or request
#13 by gnahtb was closed Sep 25, 2022 updated Sep 25, 2022
5
couldn't process CM file: expected a class bug Something isn't working
#4 by jez was closed Jul 4, 2022 updated Sep 25, 2022
3
Don't depend on rustfmt to build Millet bug Something isn't working
#7 by marsam was closed Jul 20, 2022 updated Sep 25, 2022
2
Treat "non-exhaustive case" as warning enhancement New feature or request
#12 by gnahtb was closed Oct 5, 2022 updated Oct 5, 2022
4
Proposing snippets enhancement New feature or request
#14 by GulnazSerikbay was closed Oct 5, 2022 updated Oct 5, 2022
1
Rust build error on M1 Mac bug Something isn't working
#16 by mdbergmann was closed Dec 12, 2022 updated Dec 12, 2022
1
Unclear where error occurs: cannot resolve record type containing ... bug Something isn't working
#17 by shwestrick was closed Jan 14, 2023 updated Jan 14, 2023
1
Fun Dec Hover Types are incorrect bug Something isn't working
#21 by T-Brick was closed Jan 18, 2023 updated Jan 18, 2023
1
Crash on deleting ≤, ≥, or ≠ bug Something isn't working
#22 by ashermkn1 was closed Jan 26, 2023 updated Jan 26, 2023
1
Distribute binaries to ease usage with other editors enhancement New feature or request
#25 by igorlfs was closed Mar 21, 2023 updated Mar 21, 2023
4
Permit disallowing certain values enhancement New feature or request
#24 by azdavis was closed Mar 28, 2023 updated Mar 28, 2023
2
millet-ls does not terminate when closing the editor bug Something isn't working
#32 by azdavis was closed Apr 19, 2023 updated Apr 19, 2023
2
GraphSCCFun has wrong sig bug Something isn't working
#33 by azdavis was closed Apr 21, 2023 updated Apr 21, 2023
1
Unclear license wording bug Something isn't working
#34 by azdavis was closed Apr 23, 2023 updated Apr 23, 2023
1
Link to other distributions bug Something isn't working
#35 by azdavis was closed Apr 23, 2023 updated Apr 23, 2023
1
Crash with is_char_boundary in apply_changes bug Something isn't working
#31 by yuriiShmal was closed May 7, 2023 updated May 7, 2023
2
Permit disallowing certain structures enhancement New feature or request
#26 by azdavis was closed May 10, 2023 updated May 10, 2023
1
neovim and coc.nvim setup does not work bug Something isn't working
#36 by mnegovanovic was closed Jun 4, 2023 updated Jun 4, 2023
6
Add completions enhancement New feature or request
#29 by azdavis was closed Jun 16, 2023 updated Jun 16, 2023
2
Apply Profile-Guided Optimization (PGO) enhancement New feature or request
#37 by zamazan4ik was closed Jun 24, 2023 updated Jun 24, 2023
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.