@@ -527,7 +527,7 @@ irTree top args tree = do
528irSC :: Name -> Vars -> SC -> Idris LExp
528irSC :: Name -> Vars -> SC -> Idris LExp
529irSC top vs (STerm t) = irTerm top vs [] t
529irSC top vs (STerm t) = irTerm top vs [] t
530−irSC top vs (UnmatchedCase str) = return $ LError str
530+irSC top vs (UnmatchedCase str) = return $ LLazyExp $ LError str
532irSC top vs (ProjCase tm alts) = do
532irSC top vs (ProjCase tm alts) = do
533 tm' <- irTerm top vs [] tm
533 tm' <- irTerm top vs [] tm