aabe0e4 · Idris-dev · git.iko.soy

src/Idris/Imports.hs+1−1

compare with master

unifiedsplit

@@ -18,8 +18,8 @@ import IRTS.System (getIdrisLibDir)

18

19import Control.Applicative ((<$>))

20import Control.Monad.State.Strict

21+import Data.Char (isDigit, isLower)

21import Data.List (isSuffixOf)

22import Data.List (isSuffixOf)

22−import Data.Char (isLower, isDigit)

23import System.Directory

24import System.FilePath

25

src/Idris/Package/Common.hs+1−1

@@ -7,8 +7,8 @@ Maintainer : The Idris Community.

7module Idris.Package.Common where

8

9import Idris.Core.TT (Name)

10−import Idris.Options (Opt(..))

11import Idris.Imports

10import Idris.Imports

11+import Idris.Options (Opt(..))

12

13-- | Description of an Idris package.

14data PkgDesc = PkgDesc {

src/Idris/Package/Parser.hs+1−1

@@ -9,9 +9,9 @@ Maintainer : The Idris Community.

9module Idris.Package.Parser where

10

11import Idris.CmdOptions

12+import Idris.Imports

12import Idris.Package.Common

13import Idris.Package.Common

13import Idris.Parser.Helpers hiding (stringLiteral)

14import Idris.Parser.Helpers hiding (stringLiteral)

14−import Idris.Imports

15

16import Control.Applicative

17import Control.Monad.State.Strict

src/Idris/REPL/Commands.hs+1−1

@@ -3,8 +3,8 @@ module Idris.REPL.Commands where

3import Idris.AbsSyntaxTree

4import Idris.Colours

5import Idris.Core.TT

6−import Idris.Options

7import Idris.Imports

6import Idris.Imports

7+import Idris.Options

8

9-- | REPL commands

10data Command = Quit

src/Idris/REPL/Parser.hs+1−1

@@ -15,8 +15,8 @@ import Idris.AbsSyntax

15import Idris.Colours

16import Idris.Core.TT

17import Idris.Help

18−import Idris.Options

19import Idris.Imports

18import Idris.Imports

19+import Idris.Options

20import qualified Idris.Parser as P

21import qualified Idris.Parser.Expr as P

22import qualified Idris.Parser.Helpers as P