Cody Allen
Cody Allen
Related: #1904
@pchiusano pointed out that you can use a structural find to accomplish this. In `scratch.u`: ```haskell myConstructors x = @rewrite term MyConstructor x ==> () ``` In ucm: ``` @unison/base>...
#5171 is really similar to this but for `project.rename` as opposed to `branch.create`
I think that this is the same as #2805 but how it manifests when there are no numbered args saved in the ucm session.
There is some discussion (which I think probably should be linked to in `Additional context`) in #5173 in which @mitchellwrosen and I speculate that this short-hand wouldn't hold its weight.
@aryairani right I am slightly opposed. In addition to the reasons listed in the other ticket, I fear it could mask issues. Like imagine that there was a regression and...
@aryairani right I should clarify that I'm not comparing to the current state but to the proposal in #5173.
Before much time/effort is put into addressing this, I think that it's worth considering how useful it is to make the `todo` command find calls to the `todo` term. To...
There are a couple of docs in the cloud client such as [this one](https://share.unison-lang.org/@unison/cloud/code/releases/16.0.1/latest/terms/Config/lookup) where we use `todo` in examples in ways that I don't want to be flagged by...
@aryairani what do you think that the behavior _should_ be in this case? The behavior that you've shown seems fairly reasonable to me. But I guess that it's problematic that...