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

Bug in parsing higher-order infix operators. bug Something isn't working
#64 by MizurenNanako was closed Dec 18, 2024
2
Millet hasn't recognized glob syntax from v0.14.4 onwards bug Something isn't working
#62 by Knaoinr was closed Sep 20, 2024
1
0.14.5 retag issue bug Something isn't working
#61 by chenrui333 was closed Aug 9, 2024
2
Issues with equality types inside of structures bug Something isn't working
#56 by qtgeo1248 was closed Apr 26, 2024
2
Thinks Polymorphic Exceptions Don't Typecheck bug Something isn't working
#55 by qtgeo1248 was closed Apr 26, 2024
2
frequent crashing especially when dealing with function contexts bug Something isn't working
#53 by hyperswine was closed Apr 26, 2024
12
Ignoring SML_LIB paths causes problems with MLYacc (shipped with MLton) bug Something isn't working
#51 by aslrousta was closed Dec 6, 2023
4
Documentation strings for structures enhancement New feature or request
#50 by ratsclub was closed Dec 7, 2023
3
Tweak inlay hints enhancement New feature or request
#48 by azdavis was closed Sep 21, 2023
1
Feature request: support mutual inductive types in signatures enhancement New feature or request
#47 by Vtec234 was closed Sep 14, 2023
1
Possible file path bug with Windows bug Something isn't working
#46 by Knaoinr was closed Sep 4, 2023
7
support for successor ML extensions enhancement New feature or request
#45 by retrac0 was closed Aug 28, 2023
2
Eta reduction warning on recursive val bug Something isn't working
#44 by azdavis was closed Jul 19, 2023
1
Fixed and bound ty vars can interfere bug Something isn't working
#40 by azdavis was closed Jul 1, 2023
1
Not all relevant type variables are considered when reporting types bug Something isn't working
#38 by azdavis was closed Jul 1, 2023
1
Apply Profile-Guided Optimization (PGO) enhancement New feature or request
#37 by zamazan4ik was closed Jun 24, 2023
1
neovim and coc.nvim setup does not work bug Something isn't working
#36 by mnegovanovic was closed Jun 4, 2023
6
Link to other distributions bug Something isn't working
#35 by azdavis was closed Apr 23, 2023
1
Unclear license wording bug Something isn't working
#34 by azdavis was closed Apr 23, 2023
1
GraphSCCFun has wrong sig bug Something isn't working
#33 by azdavis was closed Apr 21, 2023
1
millet-ls does not terminate when closing the editor bug Something isn't working
#32 by azdavis was closed Apr 19, 2023
2
Crash with is_char_boundary in apply_changes bug Something isn't working
#31 by yuriiShmal was closed May 7, 2023
2
Add completions enhancement New feature or request
#29 by azdavis was closed Jun 16, 2023
2
Add inlay hints enhancement New feature or request
#28 by azdavis was closed Jun 26, 2023
5
Permit disallowing certain structures enhancement New feature or request
#26 by azdavis was closed May 10, 2023
1
ProTip! Mix and match filters to narrow down what you’re looking for.