4994292 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Run stylize.sh

commit4994292dc8a05984c266fd506a1461197f652239 authorJoseph Morag <jm4157@columbia.edu> dateTue 11 Dec 2018, 01:30 (8 years ago) parentd3a619d

2 files changed+2−2

unifiedsplit

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

@@ -20,6 +20,7 @@ import Prelude hiding (pi)

2020import Control.Applicative

2121import Control.Arrow (left)

2222import Control.Monad

23+import qualified Control.Monad.Combinators.Expr as P

2324import Control.Monad.State.Strict

2425import Data.Function (on)

2526import Data.List

@@ -27,7 +28,6 @@ import Data.Maybe

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

2829import qualified Text.Megaparsec as P

2930import qualified Text.Megaparsec.Char as P

30−import qualified Control.Monad.Combinators.Expr as P

3131

3232-- | Allow implicit type declarations

3333allowImp :: SyntaxInfo -> SyntaxInfo

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

@@ -17,13 +17,13 @@ import Prelude hiding (pi)

1717

1818import Control.Applicative

1919import Control.Monad

20+import qualified Control.Monad.Combinators.Expr as P

2021import Control.Monad.State.Strict

2122import Data.Char (isAlpha)

2223import Data.List

2324import Data.List.NonEmpty (fromList)

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

2526import qualified Text.Megaparsec as P

26−import qualified Control.Monad.Combinators.Expr as P

2727

2828-- | Creates table for fixity declarations to build expression parser

2929-- using pre-build and user-defined operator/fixity declarations