git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3260 from idris-lang/unbreak_doc_build

Unbreak doc build

commit0f25f65a1546ef1ffbf47a95cdece8c0b7b7def2 authorNiklas Larsson <metaniklas@gmail.com> dateSat 9 Jul 2016, 16:08 (10 years ago) parent45bf2b67d1719f
1 file changed+1−1
compare with master
unifiedsplit
src/Idris/Core/CaseTree.hs+1−1
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