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

470 Open 538 Closed
470 Open 538 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
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
`run` reports that a given term does not exist if that term does not have the proper type
#1747 opened Nov 6, 2020 by samgqroberts
Patch propagation doesn't update dependencies of propagated types codebase-manager propagation
#1746 opened Nov 6, 2020 by runarorama
request: `edit`ing out tests should write them as test watch expressions
#1745 opened Nov 6, 2020 by samgqroberts
pretty printer can break `match` expression into multiple lines, breaking `edit` round-trip
#1744 opened Nov 6, 2020 by samgqroberts
docs don't render / some terms decompile incorrectly bug new-runtime
#1743 opened Nov 4, 2020 by aryairani
@dolio
make sure we don't sync dependents indices of definitions not being synced
#1742 opened Nov 4, 2020 by aryairani
@aryairani
dependents showing multiple entries for multiple names w/ same hashw bug dx
#1741 opened Nov 4, 2020 by aryairani
watch expression referencing recursive term crashes crash decompilation new-runtime runtime
#1739 opened Oct 28, 2020 by aryairani
1
Naming a cases branch variable the same as an ability constructor leads to empty ucm output suffix-based-resolution typechecker
#1731 opened Oct 19, 2020 by samgqroberts
1
Code serialization builtins builtins rfc
#1728 opened Oct 14, 2020 by pchiusano
15
Ability mismatch error
#1725 opened Oct 12, 2020 by FintanH
handler weirdness? new-runtime
#1724 opened Oct 11, 2020 by aryairani
5
add new-runtime flag to `ucm -help` dx
#1723 opened Oct 11, 2020 by aryairani
Misleading error message error-message
#1721 opened Oct 10, 2020 by FintanH
How should universal ordering functions behave for Float builtins new-runtime question
#1717 opened Oct 8, 2020 by pchiusano
10
Universal hashing and HMAC implementations builtins universal-functions
#1714 opened Oct 7, 2020 by pchiusano
Add tests for Bytes base16/32/64 encoding and decoding bytes needs-tests
#1713 opened Oct 7, 2020 by pchiusano
New runtime fails with "Blank" when evaluating this watch expression new-runtime
#1711 opened Oct 7, 2020 by pchiusano
@dolio
1
UCM gives no feedback(empty prompt) while processing the following code
#1707 opened Oct 3, 2020 by greenhat
Viewing a record type in `ucm` does not provide information about argument names dx pretty-printer
#1698 opened Sep 27, 2020 by samgqroberts
2
IO ability not inferred typechecker
#1696 opened Sep 27, 2020 by fboeller
Typechecker hang in this example typechecker
#1695 opened Sep 25, 2020 by pchiusano
TLS builtins proposal builtins
#1693 opened Sep 24, 2020 by pchiusano
1
WIP: HTTP client builtins builtins
#1692 opened Sep 23, 2020 by pchiusano
@pchiusano
8
Crash for ill typed program
#1689 opened Sep 22, 2020 by sullyj3
ProTip! Updated in the last three days: updated:>2020-11-06.
You can’t perform that action at this time.