9544b6f · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Run stylish

commit9544b6f3e4f46bfcd449fc557bef22514eef0e0f authorJason Felice <jason.m.felice@gmail.com> dateWed 1 Nov 2017, 22:19 (9 years ago) parent90ae69b

4 files changed+8−7

compare with master

unifiedsplit

src/Idris/IdeMode.hs+1−1 src/Idris/Package/Parser.hs+5−4 src/Idris/Parser.hs+1−1 src/Idris/Parser/Helpers.hs+1−1

src/Idris/IdeMode.hs+1−1

@@ -25,9 +25,9 @@ import Data.Maybe (isJust)

2525import qualified Data.Text as T

2626import Numeric

2727import System.IO

28−import Text.Printf

2928import qualified Text.Megaparsec as P

3029import qualified Text.Megaparsec.Char as P

30+import Text.Printf

3131

3232getNChar :: Handle -> Int -> String -> IO (String)

3333getNChar _ 0 s = return (reverse s)

src/Idris/Package/Parser.hs+5−4

@@ -11,9 +11,10 @@ module Idris.Package.Parser where

1111import Idris.CmdOptions

1212import Idris.Imports

1313import Idris.Package.Common

14−import Idris.Parser.Helpers (IdrisInnerParser, MonadicParsing, eol, iName, identifier, isEol,

15− lchar, packageName, parseErrorDoc, reserved,

16− runparser, someSpace, stringLiteral)

14+import Idris.Parser.Helpers (IdrisInnerParser, MonadicParsing, eol, iName,

15+ identifier, isEol, lchar, packageName,

16+ parseErrorDoc, reserved, runparser, someSpace,

17+ stringLiteral)

1718

1819import Control.Applicative

1920import Control.Monad.State.Strict

@@ -21,10 +22,10 @@ import Data.List (union)

2122import System.Directory (doesFileExist)

2223import System.Exit

2324import System.FilePath (isValid, takeExtension, takeFileName)

24−import qualified Text.PrettyPrint.ANSI.Leijen as PP

2525import Text.Megaparsec ((<?>))

2626import qualified Text.Megaparsec as P

2727import qualified Text.Megaparsec.Char as P

28+import qualified Text.PrettyPrint.ANSI.Leijen as PP

2829

2930type PParser = StateT PkgDesc IdrisInnerParser

3031

src/Idris/Parser.hs+1−1

@@ -57,10 +57,10 @@ import Data.Ord

5757import qualified Data.Text as T

5858import qualified System.Directory as Dir (makeAbsolute)

5959import System.FilePath

60−import qualified Text.PrettyPrint.ANSI.Leijen as PP

6160import Text.Megaparsec ((<?>))

6261import qualified Text.Megaparsec as P

6362import qualified Text.Megaparsec.Char as P

63+import qualified Text.PrettyPrint.ANSI.Leijen as PP

6464

6565{-

6666@

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

@@ -30,11 +30,11 @@ import Data.Maybe

3030import qualified Data.Text as T

3131import Data.Void (Void(..))

3232import System.FilePath

33−import qualified Text.PrettyPrint.ANSI.Leijen as PP

3433import Text.Megaparsec ((<?>))

3534import qualified Text.Megaparsec as P

3635import qualified Text.Megaparsec.Char as P

3736import qualified Text.Megaparsec.Char.Lexer as P hiding (space)

37+import qualified Text.PrettyPrint.ANSI.Leijen as PP

3838

3939

4040-- | Idris parser with state used during parsing