[Agda] The impossible happened.
Nils Anders Danielsson
nils.anders.danielsson at gmail.com
Wed Mar 5 17:43:55 CET 2008
On Wed, Mar 5, 2008 at 1:24 AM, Dan Doel <dan.doel at gmail.com> wrote:
> "agda: src/full/TypeChecking/Substitute.hs:115: the impossible happened".
Impossible things are always bugs, "impossible" means that some
internal invariant has been broken. I think this bug has already been
reported (http://code.google.com/p/agda/issues/detail?id=39). You may
want to update the bug report if your example code is not obviously
related to the code samples already present.
By the way, the best way to get a long-standing bug fixed is to make
sure that Ulf's own programs are affected by it. ;)
--
/NAD
More information about the Agda
mailing list