-
|
I've run into #4463 and now I'm unable to run my application. Is there a known workaround to get past this issue? Maybe clear some cache or something in ucm? Running The project is this one: https://share.unison-lang.org/@gvolpe/gig $ ucm
$ gig/main> run deploy.local
❗️
Sorry – I've encountered a bug in the Unison runtime.
renameTo: duplicate rename
Please check if one of these known issues matches your situation:
* https://github.com/unisonweb/unison/issues/3625
* `renameTo: duplicate rename` pattern matching bug prevents ability to add/update functions
https://github.com/unisonweb/unison/issues/ 4463
If not, please open a new one: https://github.com/unisonweb/unison/issues/new/choose |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment 1 reply
-
|
Sorry about this. We'll prioritize fixing. Here's a PR for your project that fixes the issue - https://share.unison-lang.org/@gvolpe/gig/contributions/1 the culprit was |
Beta Was this translation helpful? Give feedback.
Sorry about this. We'll prioritize fixing. Here's a PR for your project that fixes the issue - https://share.unison-lang.org/@gvolpe/gig/contributions/1 the culprit was
http.setlistfmwhich I found by telling Claude Code about the bug and then asking it to examine all the definitions in the project for problematic instances. It had a couple false positives (it doesn't seem to understand valid variable shadowing exactly) but thehttp.setlistfmwas in the list.