git.iko.soy/Idris-dev
on master help sign in
run stylize
938b321Rui Barreiro
src/IRTS/JavaScript/Codegen.hs+1−1
compare with master
unifiedsplit
@@ -14,6 +14,7 @@ module IRTS.JavaScript.Codegen( codegenJs
14
14
15import Idris.Core.TT
15import Idris.Core.TT
16import IRTS.CodegenCommon
16import IRTS.CodegenCommon
17+import IRTS.Exports
17import IRTS.JavaScript.AST
18import IRTS.JavaScript.AST
18import IRTS.JavaScript.LangTransforms
19import IRTS.JavaScript.LangTransforms
19import IRTS.JavaScript.Name
20import IRTS.JavaScript.Name
@@ -21,7 +22,6 @@ import IRTS.JavaScript.PrimOp
21import IRTS.JavaScript.Specialize
22import IRTS.JavaScript.Specialize
22import IRTS.Lang
23import IRTS.Lang
23import IRTS.System
24import IRTS.System
24−import IRTS.Exports
25
25
26import Control.Applicative (pure, (<$>))
26import Control.Applicative (pure, (<$>))
27import Control.Monad
27import Control.Monad
src/Idris/REPL.hs+1−1
@@ -78,8 +78,8 @@ import Idris.REPL.Parser
78import Idris.Termination
78import Idris.Termination
79import Idris.TypeSearch (searchByType)
79import Idris.TypeSearch (searchByType)
80import Idris.WhoCalls
80import Idris.WhoCalls
81−import IRTS.Compiler
82import IRTS.CodegenCommon
81import IRTS.CodegenCommon
82+import IRTS.Compiler
83import Network
83import Network
84import Prelude hiding (id, (.), (<$>))
84import Prelude hiding (id, (.), (<$>))
85import System.Console.Haskeline as H
85import System.Console.Haskeline as H