a570354 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Fix LLVM build problem

commita570354c2019f216e1b8abc8dc8613c24cbe34e8 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateWed 20 Aug 2014, 08:54 (12 years ago) parentce26633

2 files changed+2−1

unifiedsplit

src/IRTS/CodegenLLVM.hs+1−1

@@ -511,7 +511,7 @@ cgExpr (SCon _ tag name args) = do

511511 ptrI8 <- inst $ BitCast con (PointerType (IntegerType 8) (AddrSpace 0)) []

512512 inst' $ simpleCall "llvm.invariant.start" [ConstantOperand $ C.Int 64 (-1), ptrI8]

513513 Just <$> inst (BitCast con (PointerType valueType (AddrSpace 0)) [])

514−cgExpr (SCase inspect alts) = do

514+cgExpr (SCase _ inspect alts) = do

515515 val <- var inspect

516516 case val of

517517 Nothing -> return Nothing

src/IRTS/Compiler.hs+1

@@ -178,6 +178,7 @@ showCaseTrees = showSep "\n\n" . map showCT . sortBy (comparing defnRank)

178178 snRank (CaseN n) = "5" ++ nameRank n

179179 snRank (ElimN n) = "6" ++ nameRank n

180180 snRank (InstanceCtorN n) = "7" ++ nameRank n

181+ snRank (WithN i n) = "8" ++ nameRank n ++ show i

181182

182183isCon (TyDecl _ _) = True

183184isCon _ = False