Add location for No pattern clauses error
Then at least there'll be a run time error in #3054 that says which
function is causing the problem
commit91e8cf8f0161983e39dad367c8e82adc4c85c676
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 26 Mar 2016, 15:23 (11 years ago)
parent0222012
src/Idris/Core/CaseTree.hs+1−1
@@ -244,7 +244,7 @@ simpleCase tc defcase reflect phase fc inacc argtys cs erInfo
244244 _ -> True) cs)
245245 where
246246 sc' tc defcase phase fc []
247− = return $ CaseDef [] (UnmatchedCase "No pattern clauses") []
247+ = return $ CaseDef [] (UnmatchedCase (show fc ++ ":No pattern clauses")) []
248248 sc' tc defcase phase fc cs
249249 = let proj = phase == RunTime
250250 vnames = fstT (head cs)