8576fba · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Remove debug printouts.

8576fbaMatus Tejiscak13 years ago

src/IRTS/Compiler.hs−2

@@ -258,10 +258,8 @@ instance ToIR (TT Name) where

258 | (P (DCon t a) n _, args) <- unApply tm

259 = do

260 cg <- idris_callgraph <$> getIState

261− iLOG $ "DCTOR-LEAD " ++ show n ++ " -- " ++ show (lookupCtxt n cg)

262 case lookupCtxtExact n cg of

261 case lookupCtxtExact n cg of

263 Just (CGInfo _ _ _ _ usedpos)

262 Just (CGInfo _ _ _ _ usedpos)

264− | ("DCTOR", n, usedpos) `traceShow` True

265 -> irCon env t a n [if i `elem` usedpos then a else Erased | (i,a) <- zip [0..] args]

263 -> irCon env t a n [if i `elem` usedpos then a else Erased | (i,a) <- zip [0..] args]

266 Nothing -> irCon env t a n args

264 Nothing -> irCon env t a n args

267

265

src/Idris/Erasure.hs−7

@@ -166,13 +166,6 @@ buildDepMap ci ctx ns = addPostulates $ dfs S.empty M.empty ns

166 etaExpand (n : ns) t = etaExpand ns (App t (P Ref n Erased))

167

168 getDepsSC :: Name -> [Name] -> Vars -> SC -> Deps

169− getDepsSC fn es vs (STerm t)

170− | show fn == "SN.I-Char instance of NS.Prelude.Classes.UN:\"Ord\""

171− , ("ORDINST", fn, t) `traceShow` True

172− , "===" `traceShow` True

173− , unsafePerformIO (mapM_ print . M.toList $ getDepsTerm vs [] (S.singleton (fn, Result)) (etaExpand es t)) `traceShow` True

174− , "===" `traceShow` False

175− = undefined

176 getDepsSC fn es vs ImpossibleCase = M.empty

169 getDepsSC fn es vs ImpossibleCase = M.empty

177 getDepsSC fn es vs (UnmatchedCase msg) = M.empty

170 getDepsSC fn es vs (UnmatchedCase msg) = M.empty

178 getDepsSC fn es vs (ProjCase t alt) = error "ProjCase not supported"

171 getDepsSC fn es vs (ProjCase t alt) = error "ProjCase not supported"