One more case-splitting fix
commit10e0399887948ed6cfda79fff9b4baf308829e36
authordefanor <defanor@uberspace.net>
dateWed 4 Jun 2014, 00:07 (12 years ago)
parent328e4ff
src/Idris/CaseSplit.hs+2
@@ -280,6 +280,8 @@ replaceSplits l ups = updateRHSs 1 (map (rep (expandBraces l)) ups)
280280 nshow t = show t
281281
282282 -- if there's any {n} replace with {n=n}
283+ -- but don't replace it in comments
284+ expandBraces ('{' : '-' : xs) = '{' : '-' : xs
283285 expandBraces ('{' : xs)
284286 = let (brace, (_:rest)) = span (/= '}') xs in
285287 if (not ('=' `elem` brace))