9f93122 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

src/Idris/ParseHelpers.hs: workaround build failure against ghc-7.8

9f93122Sergei Trofimovich13 years ago

src/Idris/ParseHelpers.hs+4−1

compare with master

unifiedsplit

@@ -1,4 +1,5 @@

1{-# LANGUAGE GeneralizedNewtypeDeriving, ConstraintKinds, PatternGuards #-}

2+{-# LANGUAGE StandaloneDeriving #-}

2module Idris.ParseHelpers where

3module Idris.ParseHelpers where

4import Prelude hiding (pi)

5import Prelude hiding (pi)

@@ -37,7 +38,9 @@ import System.FilePath

37type IdrisParser = StateT IState IdrisInnerParser

38type IdrisParser = StateT IState IdrisInnerParser

39newtype IdrisInnerParser a = IdrisInnerParser { runInnerParser :: Parser a }

40newtype IdrisInnerParser a = IdrisInnerParser { runInnerParser :: Parser a }

40− deriving (Monad, Functor, MonadPlus, Applicative, Alternative, CharParsing, LookAheadParsing, Parsing, DeltaParsing, MarkParsing Delta, Monoid)

41+ deriving (Monad, Functor, MonadPlus, Applicative, Alternative, CharParsing, LookAheadParsing{-, Parsing-}, DeltaParsing, MarkParsing Delta, Monoid)

42+

43+deriving instance Parsing IdrisInnerParser

42instance TokenParsing IdrisInnerParser where

45instance TokenParsing IdrisInnerParser where

43 someSpace = many (simpleWhiteSpace <|> singleLineComment <|> multiLineComment) *> pure ()

46 someSpace = many (simpleWhiteSpace <|> singleLineComment <|> multiLineComment) *> pure ()