git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1487 from raichoo/master
dd71249raichoo
codegen/idris-javascript/Main.hsnew file+42
compare with master
unifiedsplit
@@ -0,0 +1,42 @@
1+module Main where
2+
3+import Idris.Core.TT
4+import Idris.AbsSyntax
5+import Idris.ElabDecls
6+import Idris.REPL
7+
8+import IRTS.Compiler
9+import IRTS.CodegenJavaScript
10+
11+import System.Environment
12+import System.Exit
13+
14+import Paths_idris
15+
16+data Opts = Opts { inputs :: [FilePath]
17+ , output :: FilePath
18+ }
19+
20+showUsage = do putStrLn "Usage: idris-javascript <ibc-files> [-o <output-file>]"
21+ exitWith ExitSuccess
22+
23+getOpts :: IO Opts
24+getOpts = do xs <- getArgs
25+ return $ process (Opts [] "main.js") xs
26+ where
27+ process opts ("-o":o:xs) = process (opts { output = o }) xs
28+ process opts (x:xs) = process (opts { inputs = x:inputs opts }) xs
29+ process opts [] = opts
30+
31+jsMain :: Opts -> Idris ()
32+jsMain opts = do elabPrims
33+ loadInputs (inputs opts) Nothing
34+ mainProg <- elabMain
35+ ir <- compile (Via "javascript") (output opts) mainProg
36+ runIO $ codegenJavaScript ir
37+
38+main :: IO ()
39+main = do opts <- getOpts
40+ if (null (inputs opts))
41+ then showUsage
42+ else runMain (jsMain opts)
codegen/idris-node/Main.hsnew file+42
@@ -0,0 +1,42 @@
1+module Main where
2+
3+import Idris.Core.TT
4+import Idris.AbsSyntax
5+import Idris.ElabDecls
6+import Idris.REPL
7+
8+import IRTS.Compiler
9+import IRTS.CodegenJavaScript
10+
11+import System.Environment
12+import System.Exit
13+
14+import Paths_idris
15+
16+data Opts = Opts { inputs :: [FilePath]
17+ , output :: FilePath
18+ }
19+
20+showUsage = do putStrLn "Usage: idris-node <ibc-files> [-o <output-file>]"
21+ exitWith ExitSuccess
22+
23+getOpts :: IO Opts
24+getOpts = do xs <- getArgs
25+ return $ process (Opts [] "main.js") xs
26+ where
27+ process opts ("-o":o:xs) = process (opts { output = o }) xs
28+ process opts (x:xs) = process (opts { inputs = x:inputs opts }) xs
29+ process opts [] = opts
30+
31+jsMain :: Opts -> Idris ()
32+jsMain opts = do elabPrims
33+ loadInputs (inputs opts) Nothing
34+ mainProg <- elabMain
35+ ir <- compile (Via "node") (output opts) mainProg
36+ runIO $ codegenNode ir
37+
38+main :: IO ()
39+main = do opts <- getOpts
40+ if (null (inputs opts))
41+ then showUsage
42+ else runMain (jsMain opts)
idris.cabal+25
@@ -766,3 +766,28 @@ Executable idris-c
766 ghc-prof-options: -auto-all -caf-all
766 ghc-prof-options: -auto-all -caf-all
767 ghc-options: -threaded -rtsopts -funbox-strict-fields
767 ghc-options: -threaded -rtsopts -funbox-strict-fields
768
768
769+Executable idris-javascript
770+ Main-is: Main.hs
771+ hs-source-dirs: codegen/idris-javascript
772+
773+ Build-depends: idris
774+ , base
775+ , filepath
776+ , haskeline >= 0.7
777+ , transformers
778+
779+ ghc-prof-options: -auto-all -caf-all
780+ ghc-options: -threaded -rtsopts -funbox-strict-fields
781+
782+Executable idris-node
783+ Main-is: Main.hs
784+ hs-source-dirs: codegen/idris-node
785+
786+ Build-depends: idris
787+ , base
788+ , filepath
789+ , haskeline >= 0.7
790+ , transformers
791+
792+ ghc-prof-options: -auto-all -caf-all
793+ ghc-options: -threaded -rtsopts -funbox-strict-fields
src/IRTS/Compiler.hs−2
@@ -128,8 +128,6 @@ generate codegen mainmod ir
128 -- Built-in code generators (FIXME: lift these out!)
128 -- Built-in code generators (FIXME: lift these out!)
129 Via "c" -> codegenC ir
129 Via "c" -> codegenC ir
130 Via "java" -> codegenJava ir
130 Via "java" -> codegenJava ir
131− Via "javascript" -> codegenJavaScript ir
132− Via "node" -> codegenNode ir
133 Via "llvm" -> codegenLLVM ir
131 Via "llvm" -> codegenLLVM ir
134 -- Any external code generator
132 -- Any external code generator
135 Via cg -> do let cmd = "idris-" ++ cg ++ " " ++ mainmod ++
133 Via cg -> do let cmd = "idris-" ++ cg ++ " " ++ mainmod ++