issues
search
azdavis
/
millet
A language server for Standard ML.
https://azdavis.net/posts/millet
Apache License 2.0
197
stars
12
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Added basic support for ML-Lex and ML-Yacc files to CM file parser
#60
csb6
closed
2 days ago
0
Bump @azure/msal-node from 2.7.0 to 2.9.2 in /editors/vscode
#59
dependabot[bot]
opened
2 weeks ago
0
Bump @azure/identity from 4.1.0 to 4.2.1 in /editors/vscode
#58
dependabot[bot]
opened
2 weeks ago
0
Signature / structure type mismatch location
#57
vqns
opened
1 month ago
1
Issues with equality types inside of structures
#56
qtgeo1248
closed
2 months ago
2
Thinks Polymorphic Exceptions Don't Typecheck
#55
qtgeo1248
closed
2 months ago
2
Bump follow-redirects from 1.15.5 to 1.15.6 in /editors/vscode
#54
dependabot[bot]
closed
2 months ago
1
frequent crashing especially when dealing with function contexts
#53
hyperswine
closed
2 months ago
12
Bump follow-redirects from 1.15.3 to 1.15.4 in /editors/vscode
#52
dependabot[bot]
closed
4 months ago
2
Ignoring SML_LIB paths causes problems with MLYacc (shipped with MLton)
#51
aslrousta
closed
6 months ago
4
Documentation strings for structures
#50
ratsclub
closed
6 months ago
3
Bump rustix from 0.38.18 to 0.38.19
#49
dependabot[bot]
closed
8 months ago
1
Tweak inlay hints
#48
azdavis
closed
9 months ago
1
Feature request: support mutual inductive types in signatures
#47
Vtec234
closed
9 months ago
1
Possible file path bug with Windows
#46
Knaoinr
closed
9 months ago
7
support for successor ML extensions
#45
retrac0
closed
10 months ago
2
Eta reduction warning on recursive val
#44
azdavis
closed
11 months ago
1
Add hints to diagnostics
#43
azdavis
opened
11 months ago
1
Reporting generated ty var names does not consider nesting
#42
azdavis
opened
12 months ago
2
Exception copy is buggy
#41
azdavis
opened
12 months ago
1
Fixed and bound ty vars can interfere
#40
azdavis
closed
12 months ago
1
Complete inside structures
#39
azdavis
opened
1 year ago
0
Not all relevant type variables are considered when reporting types
#38
azdavis
closed
12 months ago
1
Apply Profile-Guided Optimization (PGO)
#37
zamazan4ik
closed
1 year ago
1
neovim and coc.nvim setup does not work
#36
mnegovanovic
closed
1 year ago
6
Link to other distributions
#35
azdavis
closed
1 year ago
1
Unclear license wording
#34
azdavis
closed
1 year ago
1
GraphSCCFun has wrong sig
#33
azdavis
closed
1 year ago
1
millet-ls does not terminate when closing the editor
#32
azdavis
closed
1 year ago
2
Crash with is_char_boundary in apply_changes
#31
yuriiShmal
closed
1 year ago
2
Implement lazy generalization
#30
azdavis
opened
1 year ago
5
Add completions
#29
azdavis
closed
1 year ago
2
Add inlay hints
#28
azdavis
closed
1 year ago
5
Permit disallowing certain types
#27
azdavis
opened
1 year ago
0
Permit disallowing certain structures
#26
azdavis
closed
1 year ago
1
Distribute binaries to ease usage with other editors
#25
igorlfs
closed
1 year ago
4
Permit disallowing certain values
#24
azdavis
closed
1 year ago
2
Support `lazy` keyword
#23
RobertHarper
opened
1 year ago
5
Crash on deleting ≤, ≥, or ≠
#22
ashermkn1
closed
1 year ago
1
Fun Dec Hover Types are incorrect
#21
T-Brick
closed
1 year ago
1
Allow specifying or deducing basis configuration
#20
shwestrick
opened
1 year ago
2
Integrate with SML/NJ
#19
azdavis
opened
1 year ago
1
Support MLton-style aggressive type inference
#18
shwestrick
opened
1 year ago
1
Unclear where error occurs: `cannot resolve record type containing ...`
#17
shwestrick
closed
1 year ago
1
Rust build error on M1 Mac
#16
mdbergmann
closed
1 year ago
1
Add fully qualified structure test
#15
PatrickSpieker
closed
1 year ago
1
Proposing snippets
#14
GulnazSerikbay
closed
1 year ago
1
Feature request: implement function docstring popup
#13
gnahtb
closed
1 year ago
5
Treat "non-exhaustive case" as warning
#12
gnahtb
closed
1 year ago
4
Publish diagnostics on DidChangeTextDocument notifications
#11
p7p7
closed
1 year ago
5
Next