git.iko.soy/Idris-dev
on master help sign in
Merge pull request #493 from Melvar/master
7832b65Edwin Brady
src/Util/LLVMStubs.hs+2−1
compare with master
unifiedsplit
@@ -11,6 +11,7 @@ import qualified Core.TT as TT
11import IRTS.Simplified
11import IRTS.Simplified
12import IRTS.CodegenCommon
12import IRTS.CodegenCommon
13
13
14+import Data.Word (Word)
14
15
15getDefaultTargetTriple :: IO String
16getDefaultTargetTriple :: IO String
16getDefaultTargetTriple = return ""
17getDefaultTargetTriple = return ""
@@ -22,7 +23,7 @@ getHostCPUName = return ""
22codegenLLVM :: [(TT.Name, SDecl)] ->
23codegenLLVM :: [(TT.Name, SDecl)] ->
23 String -> -- target triple
24 String -> -- target triple
24 String -> -- target CPU
25 String -> -- target CPU
25− Int -> -- Optimization degree
26+ Word -> -- Optimization degree
26 FilePath -> -- output file name
27 FilePath -> -- output file name
27 OutputType ->
28 OutputType ->
28 IO ()
29 IO ()