@@ -11,6 +11,7 @@ import qualified Core.TT as TT
1111import IRTS.Simplified
1212import IRTS.CodegenCommon
1313
14+import Data.Word (Word)
1415
1516getDefaultTargetTriple :: IO String
1617getDefaultTargetTriple = return ""
@@ -22,7 +23,7 @@ getHostCPUName = return ""
2223codegenLLVM :: [(TT.Name, SDecl)] ->
2324 String -> -- target triple
2425 String -> -- target CPU
25− Int -> -- Optimization degree
26+ Word -> -- Optimization degree
2627 FilePath -> -- output file name
2728 OutputType ->
2829 IO ()