Don't bail out of IDE mode on bad case split
commitb9318f6ff97856215d35b9dd402e34e4a1b12110
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateFri 1 May 2015, 19:55 (11 years ago)
parentc69ff4e
src/Idris/CaseSplit.hs+1−1
@@ -69,7 +69,7 @@ split n t'
6969 let t = mergeUserImpl (addImplPat ist t') (delab ist tm)
7070 let ctxt = tt_ctxt ist
7171 case lookup n pats of
72− Nothing -> fail $ show n ++ " is not a pattern variable"
72+ Nothing -> ifail $ show n ++ " is not a pattern variable"
7373 Just ty ->
7474 do let splits = findPats ist ty
7575 iLOG ("New patterns " ++ showSep ", "