[Agda] Build error for Agda from Darcs

Andreas Abel andreas.abel at ifi.lmu.de
Sat Mar 31 13:34:33 CEST 2012


That's fixed now.  Last night, some changes ended up in a patch I could 
not push...

On 31.03.12 7:15 AM, Dirk Ullrich wrote:
> Hello,
>
> building current Agda from Darcs causes the following error:
>
> [197 of 239] Compiling Agda.TypeChecking.MetaVars (
> src/full/Agda/TypeChecking/MetaVars.hs,
> dist/build/Agda/TypeChecking/MetaVars.o )
>
> src/full/Agda/TypeChecking/MetaVars.hs:541:16:
>      Not in scope: `inverseSubst'
>
> Dirk
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/


More information about the Agda mailing list