[Agda] Compiling Everything.agda
Ruben Henner Zilibowitz
rzilibowitz at yahoo.com.au
Sun Nov 9 23:39:09 CET 2008
cd lib/
agda -c Everything.agda
Eventually generates the following error:
Compiling Relation.Binary.FunctionLifting in /Users/rhz/Documents/dev/
Agda/lib/Relation/Binary/FunctionLifting.agdai to /Users/rhz/Documents/
dev/Agda/lib/MAlonzo/Relation/Binary/FunctionLifting.hs
Compiling Induction1 in /Users/rhz/Documents/dev/Agda/lib/
Induction1.agdai to /Users/rhz/Documents/dev/Agda/lib/MAlonzo/
Induction1.hs
Compiling Data.Star.Nat in /Users/rhz/Documents/dev/Agda/lib/Data/Star/
Nat.agdai to /Users/rhz/Documents/dev/Agda/lib/MAlonzo/Data/Star/Nat.hs
calling: ghc -i/Users/rhz/Documents/dev/Agda/lib -main-is
MAlonzo.Everything /Users/rhz/Documents/dev/Agda/lib/MAlonzo/
Everything.hs --make -fwarn-incomplete-patterns -fno-warn-overlapping-
patterns -Werror
/Users/rhz/Documents/dev/Agda/lib/MAlonzo/Everything.hs:89:17:
Could not find module `MAlonzo.Data.Vec.N':
Use -v to see a list of the files searched for.
Panic: MAlonzo: GHC failed: ExitFailure 1
Just thought this seemed like a potential problem, and thought I'd
post it to the list.
Regards,
Ruben
More information about the Agda
mailing list