GenericError - Githubissues

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

https://wiki.portal.chalmers.se/agda/pmwiki.php

Other

2.4k stars 339 forks source link

GenericError #7223

Closed andreasabel closed 2 months ago

andreasabel commented 2 months ago

[ refactor ] Replace GenericError by new error InvalidFileName
Re #5978: replace GenericError by ClashingDefinition error