Chris Penner
Chris Penner
At the moment search ignores things within libs, but it uses dependency mounts to do this, and we don't make a distinction between actual lib dependencies and sub-projects at the...
Steps: 1. rm scratch.u 2. open ucm and run the following: ``` @unison/base/main> edit Optional Encountered exception: /Users/cpenner/Desktop/temp/scratch.u: withFile: does not exist (No such file or directory) ``` I'm guessing...
**Choose your PR title well:** Your pull request title is what's used to create release notes, so please make it descriptive of the change itself, which may be different from...
## Overview For https://github.com/unisonweb/unison/issues/4223 ## Implementation notes How does it accomplish it, in broad strokes? i.e. How does it change the Haskell codebase? ## Interesting/controversial decisions Include anything that you...
**Choose your PR title well:** Your pull request title is what's used to create release notes, so please make it descriptive of the change itself, which may be different from...
In https://github.com/unisonweb/unison/issues/4610 @SystemFw noted that `@source{foo}` sometimes gets transformed into `{{ docSource [docSourceElement (docEmbedTermLink 'foo) []] }}`, e.g. [here](https://share.unison-lang.org/@systemfw/aoc-2023/code/main/latest/terms/day10/README) I wasn't able to reproduce it, so just tracking the issue...
Low priority, but if you edit a term it'll print the prompt twice, as though the user hit enter once. E.g.: ``` @systemfw/aoc-2023/main> edit day10.README ☝️ I added 1 definitions...
If we want to encourage keeping docs up-to-date we may want to consider automatically editing those too; preferably bringing them into the file in the abbreviated syntax: ``` {{ my...
@aryairani asked that I collect up the paper cuts from a recent discussion: - [x] Better project-tab-complete for `merge`: https://github.com/unisonweb/unison/pull/4513 - [x] Better/more complete tab-completion coverage - [x] Better/more complete...
## Overview - [ ] Wait until PG Share is deployed before merging. Any more than 1 push worker just causes Postgres serialization conflicts and actually slows down pushing. The...