git.iko.soy/Idris-dev
on master help sign in
Add location for No pattern clauses error
91e8cf8Edwin Brady
src/Idris/Core/CaseTree.hs+1−1
compare with master
unifiedsplit
@@ -244,7 +244,7 @@ simpleCase tc defcase reflect phase fc inacc argtys cs erInfo
244 _ -> True) cs)
244 _ -> True) cs)
245 where
245 where
246 sc' tc defcase phase fc []
246 sc' tc defcase phase fc []
247− = return $ CaseDef [] (UnmatchedCase "No pattern clauses") []
247+ = return $ CaseDef [] (UnmatchedCase (show fc ++ ":No pattern clauses")) []
248 sc' tc defcase phase fc cs
248 sc' tc defcase phase fc cs
249 = let proj = phase == RunTime
249 = let proj = phase == RunTime
250 vnames = fstT (head cs)
250 vnames = fstT (head cs)