[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