-
Notifications
You must be signed in to change notification settings - Fork 267
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
Make TDNR more predictable
dx
Developer experience improvements or workflow fixes
tdnr
typechecker
#448
opened Apr 9, 2019 by
pchiusano
Feature suggestion - evaluate Unison expressions from the command line
dx
Developer experience improvements or workflow fixes
feature request
help wanted
#479
opened May 4, 2019 by
atacratic
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
Use different representation of programs before and after typechecking
feature request
#513
opened Jun 6, 2019 by
TomasMikula
distinguish codebase names from .u file names when pretty-printing decompiled/evaluated terms
bug
pretty-printer
#524
opened Jun 20, 2019 by
aryairani
add commands to show the history of a term or type name
feature request
#555
opened Jul 4, 2019 by
aryairani
ucm seems to get a stray carriage return after an edit command
bug
help wanted
#624
opened Aug 2, 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
exotic character in ability sets in signatures emitted by unison
feature request
#630
opened Aug 3, 2019 by
atacratic
find
outputs inconsistently highlighted results
dx
#638
opened Aug 3, 2019 by
atacratic
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!
Updated in the last three days: updated:>2024-06-26.