Turn of width detection in batch mode
This should make Idris more script friendly, which is good for our test suite.
commitc7c9f4b8268495facbe512ef7c721a0e4601aa30
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateThu 13 Feb 2014, 08:15 (13 years ago)
parent5987a95
src/Idris/REPL.hs+1
@@ -1184,6 +1184,7 @@ idrisMain opts =
11841184 when (DefaultTotal `elem` opts) $ do i <- getIState
11851185 putIState (i { default_total = True })
11861186 setColourise $ not quiet && last (True : opt getColour opts)
1187+ when (not runrepl) $ setWidth InfinitelyWide
11871188 mapM_ addLangExt (opt getLanguageExt opts)
11881189 setREPL runrepl
11891190 setQuiet (quiet || isJust script)