Don't want newline after makeCase
commit0f80f562a0944440b9a76b6f4e943f0942904867
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 31 Jul 2015, 12:18 (11 years ago)
parent2c7563c
src/Idris/Interactive.hs+1−1
@@ -170,7 +170,7 @@ makeCase fn updatefile l n
170170 do let fb = fn ++ "~"
171171 runIO $ writeSource fb (unlines (before ++ newcase ++ later))
172172 runIO $ copyFile fb fn
173− else iPrintResult (unlines newcase)
173+ else iPrintResult (showSep "\n" newcase)
174174 where addCaseSkel n line =
175175 let b = brackets False line in
176176 case findSubstr ('?':n) line of