Remove irrelevant comment
commitb9d0b7e69bfd149e35ead3cc9710775bea0f4bda
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 13 Oct 2013, 22:30 (13 years ago)
parent9cdf03a
src/Idris/Coverage.hs−1
@@ -346,7 +346,6 @@ checkTotality path fc n
346346 -- if it's not total, it can't reduce, to keep
347347 -- typechecking decidable
348348 case t' of
349−-- FIXME: Put this back when we can handle mutually recursive things
350349 p@(Partial _) ->
351350 do setAccessibility n Frozen
352351 addIBC (IBCAccess n Frozen)