e5b7866 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Another intercommit.

commite5b7866ee1b5951dceaa4e04d299e1a90323d2dd authorMatus Tejiscak <ziman@functor.sk> dateFri 17 Jan 2014, 14:02 (13 years ago) parent1b75037

2 files changed+4−4

unifiedsplit

src/Idris/Erasure.hs+1−1

@@ -101,7 +101,7 @@ buildDepGraph ctx cg = unionMap (findDepsDef cg <*> getDef ctx)

101101 , findDepsTerm cg vars (tn,ta) (binderTy b)

102102 ]

103103

104− infixr 3 (~>)

104+ infixr 3 ~>

105105 (~>) :: (Ord a) => a -> b -> Map a b

106106 (~>) = M.singleton

107107

src/Idris/IBC.hs+3−3

@@ -177,9 +177,9 @@ ibc i (IBCDef n) f

177177

178178 updateSC (Case n alts) = do alts' <- mapM updateAlt alts

179179 return (Case n alts')

180− updateSC (ProjCase t alts) = do t' <- update t

181− alts' <- mapM updateAlt alts

182− return (ProjCase t' alts')

180+ updateSC (ProjCase t alt) = do t' <- update t

181+ alt' <- updateAlt alt

182+ return (ProjCase t' alt')

183183 updateSC (STerm t) = do t' <- update t

184184 return (STerm t')

185185 updateSC t = return t