[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