7d1719f · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Unbreak doc build

commit7d1719f2b7164bf83b8c13c2dce0921e49d430c6 authorNiklas Larsson <metaniklas@gmail.com> dateSat 9 Jul 2016, 15:13 (10 years ago) parent45bf2b6

1 file changed+1−1

unifiedsplit

src/Idris/Core/CaseTree.hs+1−1

@@ -252,7 +252,7 @@ data Phase = CompileTime | RunTime

252252

253253simpleCase :: Bool -> SC -> Bool ->

254254 Phase -> FC -> [Int] ->

255− [(Type, Bool)] -> -- ^ (Argument type, whether it's canonical)

255+ [(Type, Bool)] -> -- (Argument type, whether it's canonical)

256256 [([Name], Term, Term)] ->

257257 ErasureInfo ->

258258 TC CaseDef