Fix a few missing module references
commitf855d0fc19d5e339453922f76da497cd8b49192e
authorBenjamin Saunders <besaunde@sfu.ca>
dateThu 8 Nov 2012, 12:06 (14 years ago)
parent6398a7e
idris.cabal+1
@@ -84,6 +84,7 @@ Executable idris
8484 IRTS.Lang, IRTS.LParser, IRTS.Bytecode, IRTS.Simplified,
8585 IRTS.CodegenC, IRTS.Defunctionalise, IRTS.Inliner,
8686 IRTS.Compiler, IRTS.CodegenJava, IRTS.BCImp,
87+ IRTS.CodegenCommon
8788
8889 Paths_idris
8990
src/IRTS/CodegenJava.hs+1
@@ -6,6 +6,7 @@ import IRTS.Simplified
66import Core.TT
77import Paths_idris
88import Util.System
9+import IRTS.CodegenCommon
910
1011import Data.Char
1112import System.Process
src/IRTS/LParser.hs+1
@@ -8,6 +8,7 @@ import IRTS.Simplified
88import IRTS.Bytecode
99import IRTS.CodegenCommon
1010import IRTS.CodegenC
11+import IRTS.CodegenJava
1112import IRTS.Defunctionalise
1213import Paths_idris
1314