Issues
- 0
structured numbered args megaticket
#4899 opened by aryairani - 0
update precondition messages in `merge` to instruct the user on how to resolve
#4928 opened by aryairani - 0
Nix flake is invalid
#4940 opened by sellout - 4
sort out loose code migration plan
#4994 opened by aryairani - 0
"already up to date" message could be more helpful.
#4988 opened by stew - 0
Doc parsing: parentheses throw off definition references
#4993 opened by ceedubs - 0
post-new-merge delete old stuff megaticket
#4989 opened by mitchellwrosen - 0
- 0
merge precondition message: Conflict involving builtin
#4980 opened by aryairani - 0
merge precondition message: Conflicted aliases
#4979 opened by aryairani - 0
merge precondition message: Term or type in `lib`
#4985 opened by aryairani - 0
merge precondition message: Stray constructor alias
#4984 opened by aryairani - 0
merge precondition message: Nested decl alias
#4983 opened by aryairani - 0
merge precondition message: Missing constructor name
#4982 opened by aryairani - 0
merge precondition message: Constructor alias
#4981 opened by aryairani - 0
improve/simplify `pull` messages
#4978 opened by aryairani - 0
- 0
intermittent "Network.Socket.sendBuf: resource vanished (Broken pipe)" in interpreter tests / mac
#4975 opened by aryairani - 0
include `ui` in generic launcher script
#4971 opened by aryairani - 1
add lib install command
#4945 opened by aryairani - 0
- 0
test failure watch expressions can get lost in the noise
#4968 opened by ceedubs - 0
misleading `merge` error message
#4965 opened by mitchellwrosen - 0
proposed more ergonomic way of adding test docs
#4963 opened by kylegoetz - 2
elaborate the migration startup message
#4956 opened by aryairani - 0
ucm 0.5.20 fails to start up via symlink
#4958 opened by aryairani - 0
Soft-hang isn't used if one thing doesn't fit
#4955 opened by pchiusano - 2
create transcript creation guide for submitting tickets
#4913 opened by aryairani - 0
confirm that `run.native` is visible
#4950 opened by aryairani - 0
confirm that #4844 and #4932 are known on Share
#4952 opened by aryairani - 0
- 0
update to use Node.js 20: cachix/cachix-action@v12.
#4947 opened by aryairani - 0
migration to reset user's current path to the root of their current project
#4909 opened by aryairani - 0
bundle launcher scripts for manual installs
#4943 opened by aryairani - 2
Tidying up Contributor Branches view in Share
#4941 opened by SystemFw - 1
- 0
Deduplicate "scratch.u" updates
#4938 opened by ChrisPenner - 0
more helpful error message for errors that occur when typechecking record field accessors
#4934 opened by aryairani - 0
fix up udp tests
#4933 opened by aryairani - 0
add contributors.md check to ci
#4925 opened by aryairani - 0
ucm presents out-of-date current namespace to user
#4921 opened by aryairani - 0
"Contract violation" when JIT builtin test fails
#4914 opened by kylegoetz - 0
warn that updates in `lib` aren't allowed.
#4915 opened by aryairani - 0
new `update` doesn't really do the right thing when updating a term to a constructor
#4912 opened by mitchellwrosen - 1
improve error message for run.native tests.jit.only
#4911 opened by kylegoetz - 0
redesign `add`/`update`/`commit`
#4908 opened by aryairani - 0
- 1
- 3
run command: should threads be able to keep themselves running after interrupt?
#4894 opened by ceedubs - 4
(possibly) LSP missing type names from scratch file?
#4893 opened by aryairani