git.iko.soy/Idris-dev
on master help sign in
Run stylish
9544b6fJason Felice
src/Idris/IdeMode.hs+1−1
compare with master
unifiedsplit
@@ -25,9 +25,9 @@ import Data.Maybe (isJust)
25import qualified Data.Text as T
25import qualified Data.Text as T
26import Numeric
26import Numeric
27import System.IO
27import System.IO
28−import Text.Printf
29import qualified Text.Megaparsec as P
28import qualified Text.Megaparsec as P
30import qualified Text.Megaparsec.Char as P
29import qualified Text.Megaparsec.Char as P
30+import Text.Printf
31
31
32getNChar :: Handle -> Int -> String -> IO (String)
32getNChar :: Handle -> Int -> String -> IO (String)
33getNChar _ 0 s = return (reverse s)
33getNChar _ 0 s = return (reverse s)
src/Idris/Package/Parser.hs+5−4
@@ -11,9 +11,10 @@ module Idris.Package.Parser where
11import Idris.CmdOptions
11import Idris.CmdOptions
12import Idris.Imports
12import Idris.Imports
13import Idris.Package.Common
13import Idris.Package.Common
14−import Idris.Parser.Helpers (IdrisInnerParser, MonadicParsing, eol, iName, identifier, isEol,
14+import Idris.Parser.Helpers (IdrisInnerParser, MonadicParsing, eol, iName,
15+ identifier, isEol, lchar, packageName,
15− lchar, packageName, parseErrorDoc, reserved,
16+ parseErrorDoc, reserved, runparser, someSpace,
16− runparser, someSpace, stringLiteral)
17+ stringLiteral)
17
18
18import Control.Applicative
19import Control.Applicative
19import Control.Monad.State.Strict
20import Control.Monad.State.Strict
@@ -21,10 +22,10 @@ import Data.List (union)
21import System.Directory (doesFileExist)
22import System.Directory (doesFileExist)
22import System.Exit
23import System.Exit
23import System.FilePath (isValid, takeExtension, takeFileName)
24import System.FilePath (isValid, takeExtension, takeFileName)
24−import qualified Text.PrettyPrint.ANSI.Leijen as PP
25import Text.Megaparsec ((<?>))
25import Text.Megaparsec ((<?>))
26import qualified Text.Megaparsec as P
26import qualified Text.Megaparsec as P
27import qualified Text.Megaparsec.Char as P
27import qualified Text.Megaparsec.Char as P
28+import qualified Text.PrettyPrint.ANSI.Leijen as PP
28
29
29type PParser = StateT PkgDesc IdrisInnerParser
30type PParser = StateT PkgDesc IdrisInnerParser
30
31
src/Idris/Parser.hs+1−1
@@ -57,10 +57,10 @@ import Data.Ord
57import qualified Data.Text as T
57import qualified Data.Text as T
58import qualified System.Directory as Dir (makeAbsolute)
58import qualified System.Directory as Dir (makeAbsolute)
59import System.FilePath
59import System.FilePath
60−import qualified Text.PrettyPrint.ANSI.Leijen as PP
61import Text.Megaparsec ((<?>))
60import Text.Megaparsec ((<?>))
62import qualified Text.Megaparsec as P
61import qualified Text.Megaparsec as P
63import qualified Text.Megaparsec.Char as P
62import qualified Text.Megaparsec.Char as P
63+import qualified Text.PrettyPrint.ANSI.Leijen as PP
64
64
65{-
65{-
66@
66@
src/Idris/Parser/Helpers.hs+1−1
@@ -30,11 +30,11 @@ import Data.Maybe
30import qualified Data.Text as T
30import qualified Data.Text as T
31import Data.Void (Void(..))
31import Data.Void (Void(..))
32import System.FilePath
32import System.FilePath
33−import qualified Text.PrettyPrint.ANSI.Leijen as PP
34import Text.Megaparsec ((<?>))
33import Text.Megaparsec ((<?>))
35import qualified Text.Megaparsec as P
34import qualified Text.Megaparsec as P
36import qualified Text.Megaparsec.Char as P
35import qualified Text.Megaparsec.Char as P
37import qualified Text.Megaparsec.Char.Lexer as P hiding (space)
36import qualified Text.Megaparsec.Char.Lexer as P hiding (space)
37+import qualified Text.PrettyPrint.ANSI.Leijen as PP
38
38
39
39
40-- | Idris parser with state used during parsing
40-- | Idris parser with state used during parsing