-
Notifications
You must be signed in to change notification settings - Fork 7
Issues: melt-umn/silver
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Lexer class flattening causes spurious MDA warnings about references to an external symbol
BadErrorMessage
bug
Copper
#853
opened Sep 4, 2024 by
krame505
Invalid tuple selector error hides others
BadErrorMessage
#845
opened May 23, 2024 by
RandomActsOfGrammar
Tuple selector sections
enhancement
good-first-issue
#844
opened May 17, 2024 by
RandomActsOfGrammar
Bad error message for attribute sections with indeterminate nonterminal type
BadErrorMessage
#836
opened Apr 15, 2024 by
RandomActsOfGrammar
Undefined types in lambda parameters do not give type errors
bug
#825
opened Dec 7, 2023 by
RandomActsOfGrammar
Dependencies from default productions aren't included in flow type inference
bug
FlowAnalysis
#820
opened Nov 17, 2023 by
krame505
Disallow multiple annotations with the same short name occuring on the same nonterminal
infelicity
Gross, but not gonna kill anyone
#815
opened Oct 27, 2023 by
krame505
Javascript backend
enhancement
wishlist
Issues that I wish someone else would do
#809
opened Sep 27, 2023 by
krame505
Crash when a concrete production has a child with no concrete productions
bug
Copper
#792
opened Aug 30, 2023 by
krame505
Irrefutable pattern syntax in let/lambda bindings
enhancement
good-first-issue
wishlist
Issues that I wish someone else would do
#752
opened May 8, 2023 by
krame505
Simplifying Silver's possibly-decorated type inference semantics
simplify-semantics
Issues whose resolution would make Silver's semantics simpler.
tracking
prefix operator for printf debugging
enhancement
good-first-issue
#749
opened Apr 24, 2023 by
remexre
Annotations are duplicated when undecorating a tracked nonterminal tree
question
#721
opened Oct 19, 2022 by
krame505
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.