-
Notifications
You must be signed in to change notification settings - Fork 266
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
Ability system crashes with higher-order abilities
crash
error-message
Request for improved error message
typechecker
#822
opened Sep 28, 2019 by
isovector
Better support for inline examples with type signatures
documentation
pretty-printer
#2868
opened Feb 7, 2022 by
pchiusano
run command: should threads be able to keep themselves running after interrupt?
#4894
opened Apr 18, 2024 by
ceedubs
Share feature request: URI to pull a namespace as a SQLite file
team-arya
unison-share
#3892
opened Apr 3, 2023 by
ceedubs
Make TDNR more predictable
dx
Developer experience improvements or workflow fixes
tdnr
typechecker
#448
opened Apr 9, 2019 by
pchiusano
when rendering merge conflicts, prefer the current branch's names
feature request
#5208
opened Jul 11, 2024 by
mitchellwrosen
Record field accessors don't typecheck if the field is polymorphic
parser
typechecker
#498
opened May 14, 2019 by
pchiusano
Bounded polymorphism and typeclasses - ideas
design needed
feature request
ideas
#502
opened May 17, 2019 by
atacratic
Pretty-printer should indent arguments of higher order functions
pretty-printer
#626
opened Aug 2, 2019 by
atacratic
Minor niggles in message text
dx
Developer experience improvements or workflow fixes
#628
opened Aug 2, 2019 by
atacratic
Use different representation of programs before and after typechecking
feature request
#513
opened Jun 6, 2019 by
TomasMikula
Filtering
find
output to just types / terms / abilities
feature request
#639
opened Aug 3, 2019 by
atacratic
unhelpful error message when you forget to delay a function using an ability
error-message
Request for improved error message
help wanted
#641
opened Aug 3, 2019 by
atacratic
need an automated mechanism for catching edit-slurp round-trip failures
feature request
needs-tests
pretty-printer
#643
opened Aug 3, 2019 by
atacratic
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-06-11.