Make UnmatchedCase errors lazy (#4049)
commita5ac47b560c75694d4dffa557e36a5fd4a98f576
authorJonas De Vuyst <jdv@foobar.be>
dateThu 28 Sep 2017, 19:22 (9 years ago)
parent17e684c
src/IRTS/Compiler.hs+1−1
@@ -527,7 +527,7 @@ irTree top args tree = do
527527
528528irSC :: Name -> Vars -> SC -> Idris LExp
529529irSC 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
531531
532532irSC top vs (ProjCase tm alts) = do
533533 tm' <- irTerm top vs [] tm