git.iko.soy/Idris-dev
on master help sign in
run stylize
commit938b321f86e30aabc9d4e861f4bf4d1a3d847fc2 authorRui Barreiro <rui.barreiro@gmail.com> dateThu 14 Sep 2017, 18:55 (9 years ago) parentd3f9138
2 files changed+2−2
compare with master
unifiedsplit
src/IRTS/JavaScript/Codegen.hs+1−1 src/Idris/REPL.hs+1−1
src/IRTS/JavaScript/Codegen.hs+1−1
@@ -14,6 +14,7 @@ module IRTS.JavaScript.Codegen( codegenJs
1414
1515import Idris.Core.TT
1616import IRTS.CodegenCommon
17+import IRTS.Exports
1718import IRTS.JavaScript.AST
1819import IRTS.JavaScript.LangTransforms
1920import IRTS.JavaScript.Name
@@ -21,7 +22,6 @@ import IRTS.JavaScript.PrimOp
2122import IRTS.JavaScript.Specialize
2223import IRTS.Lang
2324import IRTS.System
24−import IRTS.Exports
2525
2626import Control.Applicative (pure, (<$>))
2727import Control.Monad
src/Idris/REPL.hs+1−1
@@ -78,8 +78,8 @@ import Idris.REPL.Parser
7878import Idris.Termination
7979import Idris.TypeSearch (searchByType)
8080import Idris.WhoCalls
81−import IRTS.Compiler
8281import IRTS.CodegenCommon
82+import IRTS.Compiler
8383import Network
8484import Prelude hiding (id, (.), (<$>))
8585import System.Console.Haskeline as H