on master help sign in
Fixed case-splitting
328e4ffdefanor
src/Idris/CaseSplit.hs+1−1
@@ -298,7 +298,7 @@ replaceSplits l ups = updateRHSs 1 (map (rep (expandBraces l)) ups)
298 if (before == n && not (isAlphaNum next))
298 if (before == n && not (isAlphaNum next))
299 then addBrackets tm ++ updatePat False n tm after
299 then addBrackets tm ++ updatePat False n tm after
300 else c : updatePat (not (isAlphaNum c)) n tm rest
300 else c : updatePat (not (isAlphaNum c)) n tm rest
301− updatePat start n tm (c:rest) = c : updatePat (not (isAlpha c)) n tm rest
301+ updatePat start n tm (c:rest) = c : updatePat (not ((isAlphaNum c) || c == '_')) n tm rest
302
302
303 addBrackets tm | ' ' `elem` tm
303 addBrackets tm | ' ' `elem` tm
304 , not (isPrefixOf "(" tm)
304 , not (isPrefixOf "(" tm)