on master help sign in
Don't want newline after makeCase
0f80f56Edwin Brady
src/Idris/Interactive.hs+1−1
@@ -170,7 +170,7 @@ makeCase fn updatefile l n
170 do let fb = fn ++ "~"
170 do let fb = fn ++ "~"
171 runIO $ writeSource fb (unlines (before ++ newcase ++ later))
171 runIO $ writeSource fb (unlines (before ++ newcase ++ later))
172 runIO $ copyFile fb fn
172 runIO $ copyFile fb fn
173− else iPrintResult (unlines newcase)
173+ else iPrintResult (showSep "\n" newcase)
174 where addCaseSkel n line =
174 where addCaseSkel n line =
175 let b = brackets False line in
175 let b = brackets False line in
176 case findSubstr ('?':n) line of
176 case findSubstr ('?':n) line of