0a7dcf0 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Run stylish

0a7dcf0Jason Felice9 years ago

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

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

11import Idris.CmdOptions

12import Idris.Imports

13import Idris.Package.Common

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

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

15− identifier, isEol, lchar, packageName,

15+ lchar, packageName, parseErrorDoc, reserved,

16− parseErrorDoc, reserved, runparser, someSpace')

16+ runparser, someSpace')

18import Control.Applicative

19import Control.Monad.State.Strict

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

@@ -18,8 +18,8 @@ import Idris.Parser.Ops

19import Prelude hiding (pi)

21−import Control.Arrow (left)

22import Control.Applicative

21import Control.Applicative

22+import Control.Arrow (left)

23import Control.Monad

24import Control.Monad.State.Strict

25import Data.Function (on)