@@ -39,7 +39,7 @@ codegenLLVM :: [(TT.Name, SDecl)] ->
3939 IO ()
4040codegenLLVM defs file outty = withContext $ \context -> do
4141 let ast = codegen arch (map snd defs)
42− result <- traceShow ast $ M.withModuleFromAST context ast (M.writeBitcodeToFile file)
42+ result <- M.withModuleFromAST context ast (M.writeBitcodeToFile file)
4343 case result of
4444 Right _ -> return ()
4545 Left msg -> ierror msg
@@ -59,10 +59,11 @@ codegen tgt defs =
5959 Just $ StructureType False
6060 [ IntegerType 32
6161 , IntegerType 32
62− , PointerType (IntegerType 8) (AddrSpace 0) -- Not actually i8, but we don't care
62+ , PointerType intPtr (AddrSpace 0)
6363 ])
6464 , GlobalDefinition $ globalVariableDefaults
6565 { G.name = Name "__idris_intFmtStr"
66+ , G.linkage = L.Internal
6667 , G.isConstant = True
6768 , G.hasUnnamedAddr = True
6869 , G.type' = ArrayType 5 (IntegerType 8)