Skip to content

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.

Sign up for GitHub

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

1,079 Open 1,731 Closed
1,079 Open 1,731 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

consider making merge process more stateful? / better output? feature request
#5456 opened Nov 15, 2024 by aryairani
mergetool: provide absolute path to $MERGED feature request
#5455 opened Nov 15, 2024 by aryairani
Kind inference exception bug
#5453 opened Nov 13, 2024 by etorreborre
Improve rendering of functions in pipelines feature request
#5451 opened Nov 12, 2024 by SystemFw
run with a return type that's not in the codebase can cause a crash that mentions kind inference bug crash
#5448 opened Nov 7, 2024 by aryairani
typeof command to just print the type of a term in ucm without printing the body and cluttering the terminal
#5445 opened Nov 6, 2024 by aryairani
1
a merge.abort command which deletes the branch and pops you back; (same as branch.delete <merge branch>) workflow
#5444 opened Nov 6, 2024 by aryairani
type errors can be wrong-kinded bug
#5440 opened Nov 5, 2024 by ceedubs
2
knn-search-demo doesn't round-trip bug round-trip
#5436 opened Oct 30, 2024 by aryairani
run says "multiple matching refs" when there are zero error-message Request for improved error message
#5430 opened Oct 26, 2024 by aryairani
Strange ucm -> update -> scratch file behavior bug
#5429 opened Oct 25, 2024 by kylegoetz
Wrongful "update" prompt / EffectConstructorHadMultipleEffects bug
#5428 opened Oct 25, 2024 by Baccata
update renders typecheckedunisonfile without leading . bug
#5427 opened Oct 24, 2024 by aryairani
@mitchellwrosen
compile.native does not work with relative file paths with at least one directory bug
#5426 opened Oct 24, 2024 by fwip
Forward declarations in terms are reordered by UCM bug
#5425 opened Oct 24, 2024 by rlmark
Enhancement: be able to write docs in a library that does not have base installed feature request
#5422 opened Oct 23, 2024 by kylegoetz
1
Function type inferred with additional generic ability parameters when recursing bug
#5421 opened Oct 23, 2024 by bbarker
1
lsp unused binding warning shown on wrong line bug lsp
#5418 opened Oct 20, 2024 by aryairani
support multi-word arguments in run command feature request
#5417 opened Oct 20, 2024 by aryairani
pretty-printed types that take one line per identifier are no good feature request pretty-printer
#5413 opened Oct 16, 2024 by aryairani
1
use clauses below pretty-printed term does not parse, but use clauses above does parse bug
#5412 opened Oct 16, 2024 by kylegoetz
1
Kind error using a phantom type variable for abilities bug
#5410 opened Oct 11, 2024 by ceedubs
The transcript runner hasn't produced ucm feedback for this unison block bug
#5407 opened Oct 10, 2024 by mitchellwrosen
3
Put ability term link in payload of unhandled ability exception feature request
#5400 opened Oct 8, 2024 by ceedubs
io.test does not fail if term doesn't exist bug transcripts
#5399 opened Oct 8, 2024 by ceedubs
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.