on master help sign in
No newline after case in :makecase
1e80f1fEdwin Brady
src/Idris/Interactive.hs+2−2
@@ -177,8 +177,8 @@ makeCase fn updatefile l n
177 Just (before, pos, after) ->
177 Just (before, pos, after) ->
178 [before ++ (if b then "(" else "") ++ "case _ of",
178 [before ++ (if b then "(" else "") ++ "case _ of",
179 take (pos + (if b then 6 else 5)) (repeat ' ') ++
179 take (pos + (if b then 6 else 5)) (repeat ' ') ++
180− "case_val => ?" ++ n ++ if b then ")" else "",
180+ "case_val => ?" ++ n ++ (if b then ")" else "")
181− after]
181+ ++ after]
182 Nothing -> fail "No such metavariable"
182 Nothing -> fail "No such metavariable"
183
183
184 -- Assume case needs to be bracketed unless the metavariable is
184 -- Assume case needs to be bracketed unless the metavariable is