git.iko.soy/Idris-dev
on master help sign in
Make stylish change
e1697f7Jason Felice
src/Idris/Output.hs+1−1
compare with master
unifiedsplit
@@ -34,7 +34,7 @@ import Prelude hiding ((<$>))
34import Control.Arrow (first)
34import Control.Arrow (first)
35import Control.Monad.Trans.Except (ExceptT(ExceptT), runExceptT)
35import Control.Monad.Trans.Except (ExceptT(ExceptT), runExceptT)
36import Data.List (intersperse, nub)
36import Data.List (intersperse, nub)
37−import Data.Maybe (fromMaybe, fromJust, isJust, listToMaybe)
37+import Data.Maybe (fromJust, fromMaybe, isJust, listToMaybe)
38import System.Console.Haskeline.MonadException (MonadException(controlIO),
38import System.Console.Haskeline.MonadException (MonadException(controlIO),
39 RunIO(RunIO))
39 RunIO(RunIO))
40import System.FilePath (replaceExtension)
40import System.FilePath (replaceExtension)