fix stylize issues
commitaabe0e4458f2e4edd5abe36519b5e88617bc6242
authorVincent Hanquez <vincent@snarc.org>
dateWed 30 Aug 2017, 10:11 (9 years ago)
parent8f7c6a9
src/Idris/Imports.hs+1−1
@@ -18,8 +18,8 @@ import IRTS.System (getIdrisLibDir)
1818
1919import Control.Applicative ((<$>))
2020import Control.Monad.State.Strict
21+import Data.Char (isDigit, isLower)
2122import Data.List (isSuffixOf)
22−import Data.Char (isLower, isDigit)
2323import System.Directory
2424import System.FilePath
2525
src/Idris/Package/Common.hs+1−1
@@ -7,8 +7,8 @@ Maintainer : The Idris Community.
77module Idris.Package.Common where
88
99import Idris.Core.TT (Name)
10−import Idris.Options (Opt(..))
1110import Idris.Imports
11+import Idris.Options (Opt(..))
1212
1313-- | Description of an Idris package.
1414data PkgDesc = PkgDesc {
src/Idris/Package/Parser.hs+1−1
@@ -9,9 +9,9 @@ Maintainer : The Idris Community.
99module Idris.Package.Parser where
1010
1111import Idris.CmdOptions
12+import Idris.Imports
1213import Idris.Package.Common
1314import Idris.Parser.Helpers hiding (stringLiteral)
14−import Idris.Imports
1515
1616import Control.Applicative
1717import Control.Monad.State.Strict
src/Idris/REPL/Commands.hs+1−1
@@ -3,8 +3,8 @@ module Idris.REPL.Commands where
33import Idris.AbsSyntaxTree
44import Idris.Colours
55import Idris.Core.TT
6−import Idris.Options
76import Idris.Imports
7+import Idris.Options
88
99-- | REPL commands
1010data Command = Quit
src/Idris/REPL/Parser.hs+1−1
@@ -15,8 +15,8 @@ import Idris.AbsSyntax
1515import Idris.Colours
1616import Idris.Core.TT
1717import Idris.Help
18−import Idris.Options
1918import Idris.Imports
19+import Idris.Options
2020import qualified Idris.Parser as P
2121import qualified Idris.Parser.Expr as P
2222import qualified Idris.Parser.Helpers as P