@@ -235,7 +235,7 @@ getStdOut = ConstantOperand . C.GlobalReference . Name . stdoutName <$> asks tar
235getStdErr = ConstantOperand . C.GlobalReference . Name . stderrName <$> asks target
235getStdErr = ConstantOperand . C.GlobalReference . Name . stderrName <$> asks target
237codegen :: Target -> [SDecl] -> Module
237codegen :: Target -> [SDecl] -> Module
238−codegen tgt defs = Module "idris" (Just . dataLayout $ tgt) Nothing (initDefs tgt ++ globals ++ gendefs)
238+codegen tgt defs = Module "idris" (Just . dataLayout $ tgt) (Just . triple $ tgt) (initDefs tgt ++ globals ++ gendefs)
240 (gendefs, _, globals) = runRWS (mapM cgDef defs) tgt 0
240 (gendefs, _, globals) = runRWS (mapM cgDef defs) tgt 0