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

git.iko.soy/Idris-dev

Remove debug printouts.

commit8576fba83af90d884a2828a15c9e80df9d98b164 authorMatus Tejiscak <ziman@functor.sk> dateThu 6 Feb 2014, 17:18 (13 years ago) parente866fa6

2 files changed−9

unifiedsplit

src/IRTS/Compiler.hs−2

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

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

259259 = do

260260 cg <- idris_callgraph <$> getIState

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

262261 case lookupCtxtExact n cg of

263262 Just (CGInfo _ _ _ _ usedpos)

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

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

266264 Nothing -> irCon env t a n args

267265

src/Idris/Erasure.hs−7

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

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

167167

168168 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

176169 getDepsSC fn es vs ImpossibleCase = M.empty

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

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