git.iko.soy/Idris-dev
on master help sign in
Fix LLVM compilation error because of moved `getCC`
1f5beb6Brian McKenna
src/IRTS/CodegenLLVM.hs+1
compare with master
unifiedsplit
@@ -4,6 +4,7 @@ module IRTS.CodegenLLVM (codegenLLVM) where
4import IRTS.CodegenCommon
4import IRTS.CodegenCommon
5import IRTS.Lang
5import IRTS.Lang
6import IRTS.Simplified
6import IRTS.Simplified
7+import IRTS.System
7import qualified Idris.Core.TT as TT
8import qualified Idris.Core.TT as TT
8import Idris.Core.TT (ArithTy(..), IntTy(..), NativeTy(..), nativeTyWidth)
9import Idris.Core.TT (ArithTy(..), IntTy(..), NativeTy(..), nativeTyWidth)
9
10