@@ -1,4 +1,5 @@
11{-# LANGUAGE GeneralizedNewtypeDeriving, ConstraintKinds, PatternGuards #-}
2+{-# LANGUAGE StandaloneDeriving #-}
23module Idris.ParseHelpers where
34
45import Prelude hiding (pi)
@@ -41,7 +42,9 @@ import Debug.Trace
4142type IdrisParser = StateT IState IdrisInnerParser
4243
4344newtype IdrisInnerParser a = IdrisInnerParser { runInnerParser :: Parser a }
44− deriving (Monad, Functor, MonadPlus, Applicative, Alternative, CharParsing, LookAheadParsing, Parsing, DeltaParsing, MarkParsing Delta, Monoid)
45+ deriving (Monad, Functor, MonadPlus, Applicative, Alternative, CharParsing, LookAheadParsing{-, Parsing-}, DeltaParsing, MarkParsing Delta, Monoid)
46+
47+deriving instance Parsing IdrisInnerParser
4548
4649instance TokenParsing IdrisInnerParser where
4750 someSpace = many (simpleWhiteSpace <|> singleLineComment <|> multiLineComment) *> pure ()