git.iko.soy/Idris-dev
on master help sign in
Fix a few missing module references
f855d0fBenjamin Saunders
idris.cabal+1
compare with master
unifiedsplit
@@ -84,6 +84,7 @@ Executable idris
84 IRTS.Lang, IRTS.LParser, IRTS.Bytecode, IRTS.Simplified,
84 IRTS.Lang, IRTS.LParser, IRTS.Bytecode, IRTS.Simplified,
85 IRTS.CodegenC, IRTS.Defunctionalise, IRTS.Inliner,
85 IRTS.CodegenC, IRTS.Defunctionalise, IRTS.Inliner,
86 IRTS.Compiler, IRTS.CodegenJava, IRTS.BCImp,
86 IRTS.Compiler, IRTS.CodegenJava, IRTS.BCImp,
87+ IRTS.CodegenCommon
87
88
88 Paths_idris
89 Paths_idris
89
90
src/IRTS/CodegenJava.hs+1
@@ -6,6 +6,7 @@ import IRTS.Simplified
6import Core.TT
6import Core.TT
7import Paths_idris
7import Paths_idris
8import Util.System
8import Util.System
9+import IRTS.CodegenCommon
9
10
10import Data.Char
11import Data.Char
11import System.Process
12import System.Process
src/IRTS/LParser.hs+1
@@ -8,6 +8,7 @@ import IRTS.Simplified
8import IRTS.Bytecode
8import IRTS.Bytecode
9import IRTS.CodegenCommon
9import IRTS.CodegenCommon
10import IRTS.CodegenC
10import IRTS.CodegenC
11+import IRTS.CodegenJava
11import IRTS.Defunctionalise
12import IRTS.Defunctionalise
12import Paths_idris
13import Paths_idris
13
14