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

git.iko.soy/Idris-dev

Run stylish

commit0a7dcf067cbca38870c17402c06a8f2c2dcd21fd authorJason Felice <jason.m.felice@gmail.com> dateMon 30 Oct 2017, 10:44 (9 years ago) parent8d460e9

2 files changed+4−4

unifiedsplit

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

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

1111import Idris.CmdOptions

1212import Idris.Imports

1313import Idris.Package.Common

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

15− identifier, isEol, lchar, packageName,

16− parseErrorDoc, reserved, runparser, someSpace')

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

15+ lchar, packageName, parseErrorDoc, reserved,

16+ runparser, someSpace')

1717

1818import Control.Applicative

1919import Control.Monad.State.Strict

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

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

1818

1919import Prelude hiding (pi)

2020

21−import Control.Arrow (left)

2221import Control.Applicative

22+import Control.Arrow (left)

2323import Control.Monad

2424import Control.Monad.State.Strict

2525import Data.Function (on)