git.iko.soy/Idris-dev
on 2b7db6a help sign in
Idris-dev/src/IRTS/CodegenJava.hs
21 lines 419 B history raw
1module IRTS.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 IO ()
20codegenJava defs out = putStrLn "Not implemented yet"