c5c8ede · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Merge pull request #4498 from Infinisil/line-buffering

c5c8edeNiklas Larsson8 years ago

src/Idris/Main.hs+1−2

@@ -112,6 +112,7 @@ idrisMain opts =

112 putIState (i { default_total = DefaultCheckingTotal })

113 tty <- runIO isATTY

114 setColourise $ not quiet && last (tty : opt getColour opts)

115+ runIO $ hSetBuffering stdout LineBuffering

115

116

117

118

@@ -181,8 +182,6 @@ idrisMain opts =

181 [] -> ""

182 [] -> ""

182 (f:_) -> f

183 (f:_) -> f

183

184

184− runIO $ hSetBuffering stdout LineBuffering

185−

186 ok <- noErrors

185 ok <- noErrors

187 when ok $ case output of

186 when ok $ case output of

188 [] -> return ()

187 [] -> return ()

test/pkg008/expected+1−1

@@ -2,9 +2,9 @@ Entering directory `./src'

2Type checking ./NumOps.idr

3Type checking ./Test.idr

4Leaving directory `./src'

5+Entering directory `./src'

5Test Passed

6Test Passed

7Test Passed

7−Entering directory `./src'

8Leaving directory `./src'

9Entering directory `./src'

10Removed: NumOps.ibc