Fixing error message on partial pattern matching failure.
commit977c1f08ddfb3ef682fb66d318a2b1f0b1bbbc90
authorGuillaume Yziquel <guillaume.hj.yziquel@gmail.com>
dateSun 16 Dec 2018, 21:28 (8 years ago)
parentf76dac0
src/IRTS/Compiler.hs+1−1
@@ -533,7 +533,7 @@ irTree top args tree = do
533533
534534irSC :: Name -> Vars -> SC -> Idris LExp
535535irSC top vs (STerm t) = irTerm top vs [] t
536−irSC top vs (UnmatchedCase str) = return $ LLazyExp $ LError str
536+irSC top vs (UnmatchedCase str) = return $ LError str
537537
538538irSC top vs (ProjCase tm alts) = do
539539 tm' <- irTerm top vs [] tm