Skip to content

/ 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

432 Open 516 Closed
432 Open 516 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Spurious pattern arity mismatch error when nullary patterns are involved pattern-matching typechecker
#1640 opened Jul 28, 2020 by pchiusano
display command doesn't handle absolute term paths bug
#1638 opened Jul 26, 2020 by ceedubs
1
Type violation when ability constructors aren't handled during pattern matching.
#1632 opened Jul 20, 2020 by jsthomas
Wrong type inference in handler without signature
#1630 opened Jul 8, 2020 by dariooddenino
Possible issue with typechecking of `handle` blocks that push an ability of same head as existing ambient typechecker
#1626 opened Jun 26, 2020 by pchiusano
Typechecking fails silently when a pattern binding clashes with an ability operation name typechecker
#1625 opened Jun 22, 2020 by atacratic
1
can't add a test to the codebase if it hits a todo/bug (so no TDD) bug
#1622 opened Jun 19, 2020 by atacratic
1
"name.segments" test fails when `numDots` and `numSegs` are both 0
#1620 opened Jun 18, 2020 by aryairani
1
Incorrect zero counting ops on Int runtime
#1613 opened Jun 12, 2020 by dolio
Document on unison-language vs. chapel-language?
#1612 opened Jun 12, 2020 by zhongwm
UriParser doesn't correctly distinguish scp-style urls from local relative url + namespace suffix
#1610 opened Jun 9, 2020 by aryairani
@mitchellwrosen
try using pinboard to canonicalize data in V1 codebase, and quantify performance
#1606 opened Jun 4, 2020 by aryairani
@mitchellwrosen
28
replace.term doesn't appear to work with records need more info
#1604 opened Jun 3, 2020 by icidasset
2
bigly rearrange modules
#1603 opened Jun 3, 2020 by aryairani 148 of 180
type error - tried to apply a non-function
#1599 opened Jun 1, 2020 by dariooddenino
Create a non-leaky data structure to canonicalize bytestrings and text
#1597 opened May 31, 2020 by aryairani
@mitchellwrosen
4
overhaul old names behavior rfc
#1594 opened May 30, 2020 by aryairani
Wrong handler may be used at runtime when multiple handlers provide the same ability runtime typechecker
#1590 opened May 29, 2020 by anovstrup
Add or co-opt syntax for escaped identifier names ideas rfc suggestion
#1589 opened May 28, 2020 by aryairani 0 of 4
@mitchellwrosen
2
Consider disallowing name segments with `.` in them. suggestion
#1587 opened May 28, 2020 by runarorama
2
`unison --help` hard-codes the string "ucm" help wanted
#1585 opened May 28, 2020 by juhp
3
create transcript codebases in system or user temp directory instead of cwd codebase-manager help wanted
#1583 opened May 25, 2020 by aryairani
4
Duplicate abilities in error message
#1580 opened May 21, 2020 by dariooddenino
Suffix-based name resolution uses definitions from the codebase instead of definitions from the current file suffix-based-resolution
#1578 opened May 21, 2020 by pchiusano
3
actually look up .configured git repo for `PullRemoteBranchI Nothing` reflog message
#1577 opened May 21, 2020 by aryairani
ProTip! What’s not been updated in a month: updated:<2020-06-28.
You can’t perform that action at this time.