Fix checking if error is recoverable wrt coverage
checkRec function had a catchall clause returning False that fired when called
with two TType's. That made any constructor applied to Type unrecoverable.
Fixes #4282 and #4299.
commit5882c3818dfe8a8d42991339a802ca51c476297e
authorIlya Yanok <ilya.yanok@gmail.com>
dateWed 24 Jan 2018, 20:49 (9 years ago)
parenta6d701a
src/Idris/Coverage.hs+1
@@ -476,4 +476,5 @@ checkRec (P xt x _) (P yt y _)
476476-- reduce the function
477477checkRec (P Ref _ _) (Constant _) = return True
478478checkRec (Constant _) (P Ref _ _) = return True
479+checkRec (TType _) (TType _) = return True
479480checkRec _ _ = return False