@@ -69,7 +69,7 @@ split n t'
69 let t = mergeUserImpl (addImplPat ist t') (delab ist tm)
69 let t = mergeUserImpl (addImplPat ist t') (delab ist tm)
70 let ctxt = tt_ctxt ist
70 let ctxt = tt_ctxt ist
71 case lookup n pats of
71 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"
73 Just ty ->
73 Just ty ->
74 do let splits = findPats ist ty
74 do let splits = findPats ist ty
75 iLOG ("New patterns " ++ showSep ", "
75 iLOG ("New patterns " ++ showSep ", "