@@ -1184,6 +1184,7 @@ idrisMain opts =
1184 when (DefaultTotal `elem` opts) $ do i <- getIState
1184 when (DefaultTotal `elem` opts) $ do i <- getIState
1185 putIState (i { default_total = True })
1185 putIState (i { default_total = True })
1186 setColourise $ not quiet && last (True : opt getColour opts)
1186 setColourise $ not quiet && last (True : opt getColour opts)
1187+ when (not runrepl) $ setWidth InfinitelyWide
1187 mapM_ addLangExt (opt getLanguageExt opts)
1188 mapM_ addLangExt (opt getLanguageExt opts)
1188 setREPL runrepl
1189 setREPL runrepl
1189 setQuiet (quiet || isJust script)
1190 setQuiet (quiet || isJust script)