idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-13 05:48:39 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #150 from edwinb/master

Browse Source 
Remove unreachable case
This commit is contained in:
Edwin Brady 2020-05-25 08:56:39 +01:00 committed by GitHub
commit c86848eaa3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/TTImp/ProcessDef.idr
View File

@ -113,7 +113,6 @@ recoverable defs (NApp _ (NRef _ f) fargs) (NApp _ (NRef _ g) gargs)
recoverable defs (NTCon _ _ _ _ _) _ = pure True
recoverable defs (NDCon _ _ _ _ _) _ = pure True
recoverable defs (NPrimVal _ x) (NPrimVal _ y) = pure (x == y)
recoverable defs (NDCon _ _ _ _ _) (NPrimVal _ _) = pure False
recoverable defs (NPrimVal _ _) (NDCon _ _ _ _ _) = pure False
recoverable defs x y = pure False