git.iko.soy/Idris-dev
on 6398a7e help sign in
Idris-dev/src/IRTS/CodegenJava.hs
22 lines 467 B history raw
1module IRTS.CodegenJava (codegenJava) where
3import IRTS.BCImp
4import IRTS.Lang
5import IRTS.Simplified
6import Core.TT
7import Paths_idris
8import Util.System
10import Data.Char
11import System.Process
12import System.Exit
13import System.IO
14import System.Directory
15import Control.Monad
17codegenJava :: [(Name, SDecl)] ->
18 String -> -- output file name
19 OutputType ->
20 IO ()
21codegenJava defs out exec = putStrLn "Not implemented yet"