git.iko.soy/Idris-dev
on aa8aefd help sign in
Idris-dev/src/IRTS/CodegenJava.hs
23 lines 493 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
9import IRTS.CodegenCommon
11import Data.Char
12import System.Process
13import System.Exit
14import System.IO
15import System.Directory
16import Control.Monad
18codegenJava :: [(Name, SDecl)] ->
19 String -> -- output file name
20 OutputType ->
21 IO ()
22codegenJava defs out exec = putStrLn "Not implemented yet"