git.iko.soy/Idris-dev
on master help sign in
Run stylize.sh
4994292Joseph Morag
src/Idris/Parser/Expr.hs+1−1
compare with master
unifiedsplit
@@ -20,6 +20,7 @@ import Prelude hiding (pi)
20import Control.Applicative
20import Control.Applicative
21import Control.Arrow (left)
21import Control.Arrow (left)
22import Control.Monad
22import Control.Monad
23+import qualified Control.Monad.Combinators.Expr as P
23import Control.Monad.State.Strict
24import Control.Monad.State.Strict
24import Data.Function (on)
25import Data.Function (on)
25import Data.List
26import Data.List
@@ -27,7 +28,6 @@ import Data.Maybe
27import Text.Megaparsec ((<?>))
28import Text.Megaparsec ((<?>))
28import qualified Text.Megaparsec as P
29import qualified Text.Megaparsec as P
29import qualified Text.Megaparsec.Char as P
30import qualified Text.Megaparsec.Char as P
30−import qualified Control.Monad.Combinators.Expr as P
31
31
32-- | Allow implicit type declarations
32-- | Allow implicit type declarations
33allowImp :: SyntaxInfo -> SyntaxInfo
33allowImp :: SyntaxInfo -> SyntaxInfo
src/Idris/Parser/Ops.hs+1−1
@@ -17,13 +17,13 @@ import Prelude hiding (pi)
17
17
18import Control.Applicative
18import Control.Applicative
19import Control.Monad
19import Control.Monad
20+import qualified Control.Monad.Combinators.Expr as P
20import Control.Monad.State.Strict
21import Control.Monad.State.Strict
21import Data.Char (isAlpha)
22import Data.Char (isAlpha)
22import Data.List
23import Data.List
23import Data.List.NonEmpty (fromList)
24import Data.List.NonEmpty (fromList)
24import Text.Megaparsec ((<?>))
25import Text.Megaparsec ((<?>))
25import qualified Text.Megaparsec as P
26import qualified Text.Megaparsec as P
26−import qualified Control.Monad.Combinators.Expr as P
27
27
28-- | Creates table for fixity declarations to build expression parser
28-- | Creates table for fixity declarations to build expression parser
29-- using pre-build and user-defined operator/fixity declarations
29-- using pre-build and user-defined operator/fixity declarations