[Agda] Re: Issue 1013 in agda: internal error,
src/full/Agda/TypeChecking/Substitute.hs:322
Sergei Meshveliani
mechvel at botik.ru
Wed Jan 8 11:42:10 CET 2014
On Wed, 2014-01-08 at 09:46 +0000, agda at googlecode.com wrote:
> Updates:
> Status: Fixed
>
> Comment #7 on issue 1013 by ulf.nor... at gmail.com: internal error,
> src/full/Agda/TypeChecking/Substitute.hs:322
> http://code.google.com/p/agda/issues/detail?id=1013
>
> Fixed. The problem was that instance search blindly applied metavariables
> to the entire context regardless of whether they had been pruned or not.
>
Thank you.
Is the fix ready in darcs ?
------
Sergei
More information about the Agda
mailing list