As discussed with @jespercockx and @UlfNorell at AIM XL.
The following error message does not reference a location, which makes tracking down the cause more tedious than it needs to be:
error: [UnsolvedConstraints]
Failed to solve the following constraints:
Resolve instance argument _329 : Model
Candidates
_ : Model
canon : Model
(stuck)
As I understand, the error arises in code that used to be accepted by previous versions of Agda, when it was acceptable to resolve an instance argument by unification, despite the solution not being unique.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4