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,080 Open 1,738 Closed
1,080 Open 1,738 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

io.test doesn't handle ambiguity well bug
#5478 opened Dec 4, 2024 by ceedubs
2
tab completion should work on suffixified names feature request
#5477 opened Dec 3, 2024 by aryairani
why is move slow? bug slow
#5476 opened Dec 3, 2024 by aryairani
@mitchellwrosen
move.term should move its doc too feature request
#5475 opened Dec 3, 2024 by aryairani
Missing closing parentheses are not always handled as errors bug
#5473 opened Dec 3, 2024 by daniel-szarkowicz
1
test.io doesn't like un-add-ed terms bug
#5471 opened Dec 2, 2024 by dfreeman
2
alias.type creates broken type bug
#5467 opened Nov 26, 2024 by ChrisPenner
1
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 0.5.29
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
1
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
ProTip! Type g i on any issue or pull request to go back to the issue listing page.