on master help sign in
No newline after case in :makecase
commit1e80f1f3cc3c8569b0e1c45faa005149e4a78b12 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateFri 28 Aug 2015, 18:08 (11 years ago) parent378bbd6
1 file changed+2−2
src/Idris/Interactive.hs+2−2
src/Idris/Interactive.hs+2−2
@@ -177,8 +177,8 @@ makeCase fn updatefile l n
177177 Just (before, pos, after) ->
178178 [before ++ (if b then "(" else "") ++ "case _ of",
179179 take (pos + (if b then 6 else 5)) (repeat ' ') ++
180− "case_val => ?" ++ n ++ if b then ")" else "",
181− after]
180+ "case_val => ?" ++ n ++ (if b then ")" else "")
181+ ++ after]
182182 Nothing -> fail "No such metavariable"
183183
184184 -- Assume case needs to be bracketed unless the metavariable is