-
Notifications
You must be signed in to change notification settings - Fork 276
Issues: unisonweb/unison
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
parser error matching constructor with leading underscore
bug
round-trip
#5699
opened May 14, 2025 by
ceedubs
Cannot change name of data constructors by editing the type
bug
#5694
opened May 13, 2025 by
kylegoetz
"I couldn't resolve these symbols" and
deprecated
path
feature request
language
#5692
opened May 12, 2025 by
kylegoetz
Implement optimized versions of Json-related functions
runtime
#5691
opened May 10, 2025 by
pchiusano
Confusing ability mismatch with record-of-functions
abilities
bug
#5688
opened May 9, 2025 by
sellout
Misleading error on non-unit value in do-block
error-message
Request for improved error message
#5686
opened May 8, 2025 by
ChrisPenner
LSP: don't offer constructor/term completions for a type
feature request
lsp
#5682
opened May 5, 2025 by
ceedubs
Confusing error when creating record-type which references a nullary type.
error-message
Request for improved error message
#5671
opened Apr 30, 2025 by
rlmark
Cyclical dependency error in certain cases guarded by a lambda
bug
#5668
opened Apr 30, 2025 by
runarorama
Capturing bind with symbolic name doesn't work in ability constructor match
bug
#5660
opened Apr 22, 2025 by
ceedubs
Badly formatted type error in this case
error-message
Request for improved error message
typechecker
#5655
opened Apr 15, 2025 by
pchiusano
Improve rendering of if-then-else blocks
feature request
pretty-printer
#5651
opened Apr 13, 2025 by
mitchellwrosen
Make scratch files in transcripts less ephemeral
feature request
transcripts
#5650
opened Apr 9, 2025 by
sellout
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.