[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