idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-24 20:23:11 +03:00
Code Issues Projects Releases Wiki Activity

Keep linter happy

Browse Source
This commit is contained in:
Edwin Brady 2021-05-08 15:52:47 +01:00
parent 66930113bd
commit 251ba812d6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Compiler/CaseOpts.idr
View File

@ -307,7 +307,7 @@ doCaseOfCase fc x xalts alts def
updateAlt : CConAlt vars -> CConAlt vars
updateAlt (MkConAlt n ci t args sc)
= MkConAlt n ci t args $
CConCase fc sc
CConCase fc sc
(map (weakenNs (mkSizeOf args)) alts)
(map (weakenNs (mkSizeOf args)) def)