Merge pull request #4086 from jdevuyst/fix-issue-4049
Make UnmatchedCase errors lazy (#4049)
commitc79d661d731888b763d1e6887ffaa5f2e8b56379
authorNiklas Larsson <metaniklas@gmail.com>
dateThu 28 Sep 2017, 17:14 (9 years ago)
parent17e684ca5ac47b
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