[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