Merge pull request #1139 from ziman/fix-substsc
Add two uncovered cases to substSC
commit2693cb1c0e337019054ee6002c1c7cb437052373
authorDavid Christiansen <david@davidchristiansen.dk>
dateThu 1 May 2014, 06:37 (12 years ago)
parenta1726a2e366017
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