git.iko.soy/Idris-dev
on db95c2b help sign in
Idris-dev/codegen/idris-codegen-node/Main.hs
43 lines 1.2 kB history raw
1module Main where
3import Idris.AbsSyntax
4import Idris.Core.TT
5import Idris.ElabDecls
6import Idris.Main
7import Idris.Options
8import IRTS.CodegenJavaScript
9import IRTS.Compiler
11import Paths_idris
13import System.Environment
14import System.Exit
16data Opts = Opts { inputs :: [FilePath]
17 , output :: FilePath
18 }
20showUsage = do putStrLn "A code generator which is intended to be called by the compiler, not by a user."
21 putStrLn "Usage: idris-codegen-node <ibc-files> [-o <output-file>]"
22 exitWith ExitSuccess
24getOpts :: IO Opts
25getOpts = do xs <- getArgs
26 return $ process (Opts [] "main.js") xs
27 where
28 process opts ("-o":o:xs) = process (opts { output = o }) xs
29 process opts (x:xs) = process (opts { inputs = x:inputs opts }) xs
30 process opts [] = opts
32jsMain :: Opts -> Idris ()
33jsMain opts = do elabPrims
34 loadInputs (inputs opts) Nothing
35 mainProg <- elabMain
36 ir <- compile (Via IBCFormat "node") (output opts) (Just mainProg)
37 runIO $ codegenNode ir
39main :: IO ()
40main = do opts <- getOpts
41 if (null (inputs opts))
42 then showUsage
43 else runMain (jsMain opts)