Add two uncovered cases to substSC.
commite366017f6d365e32e70d9148059e2f4a5e153939
authorMatus Tejiscak <ziman@functor.sk>
dateWed 30 Apr 2014, 22:39 (12 years ago)
parenta1726a2
src/Idris/Core/CaseTree.hs+2
@@ -712,6 +712,8 @@ substSC n repl (Case n' alts)
712712 | n == n' = Case repl (map (substAlt n repl) alts)
713713 | otherwise = Case n' (map (substAlt n repl) alts)
714714substSC n repl (STerm t) = STerm $ subst n (P Bound repl Erased) t
715+substSC n repl (UnmatchedCase errmsg) = UnmatchedCase errmsg
716+substSC n repl ImpossibleCase = ImpossibleCase
715717substSC n repl sc = error $ "unsupported in substSC: " ++ show sc
716718
717719substAlt :: Name -> Name -> CaseAlt -> CaseAlt