Commit 5f6da8d3 authored by Mikhail Glushenkov's avatar Mikhail Glushenkov
Browse files

Register GHC 7.10 extensions.

Fixes #2291.
parent 9625cced
...@@ -131,11 +131,11 @@ data KnownExtension = ...@@ -131,11 +131,11 @@ data KnownExtension =
-- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#instance-overlap> -- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#instance-overlap>
| IncoherentInstances | IncoherentInstances
-- | /(deprecated)/ Allows recursive bindings in @do@ blocks, using the @rec@ -- | /(deprecated)/ Allow recursive bindings in @do@ blocks, using the @rec@
-- keyword. See also 'RecursiveDo'. -- keyword. See also 'RecursiveDo'.
| DoRec | DoRec
-- | Allows recursive bindings using @mdo@, a variant of @do@. -- | Allow recursive bindings using @mdo@, a variant of @do@.
-- @DoRec@ provides a different, preferred syntax. -- @DoRec@ provides a different, preferred syntax.
-- --
-- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#recursive-do-notation> -- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#recursive-do-notation>
...@@ -512,13 +512,13 @@ data KnownExtension = ...@@ -512,13 +512,13 @@ data KnownExtension =
-- and Josef Svenningsson, from ICFP '04. -- and Josef Svenningsson, from ICFP '04.
| RegularPatterns | RegularPatterns
-- | Enables the use of tuple sections, e.g. @(, True)@ desugars into -- | Enable the use of tuple sections, e.g. @(, True)@ desugars into
-- @\x -> (x, True)@. -- @\x -> (x, True)@.
-- --
-- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#tuple-sections> -- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#tuple-sections>
| TupleSections | TupleSections
-- | Allows GHC primops, written in C--, to be imported into a Haskell -- | Allow GHC primops, written in C--, to be imported into a Haskell
-- file. -- file.
| GHCForeignImportPrim | GHCForeignImportPrim
...@@ -636,7 +636,7 @@ data KnownExtension = ...@@ -636,7 +636,7 @@ data KnownExtension =
-- * <http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell> -- * <http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell>
| ParallelArrays | ParallelArrays
-- | Enable explicit role annotations, like in (@data T a\@R@). -- | Enable explicit role annotations, like in (@type role Foo representational representational@).
-- --
-- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/roles.html> -- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/roles.html>
| RoleAnnotations | RoleAnnotations
...@@ -647,7 +647,7 @@ data KnownExtension = ...@@ -647,7 +647,7 @@ data KnownExtension =
-- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#overloaded-lists> -- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#overloaded-lists>
| OverloadedLists | OverloadedLists
-- | Enables case expressions that have no alternatives. Also applies to lambda-case expressions if they are enabled. -- | Enable case expressions that have no alternatives. Also applies to lambda-case expressions if they are enabled.
-- --
-- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#empty-case> -- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#empty-case>
| EmptyCase | EmptyCase
...@@ -663,17 +663,17 @@ data KnownExtension = ...@@ -663,17 +663,17 @@ data KnownExtension =
-- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#negative-literals> -- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#negative-literals>
| NegativeLiterals | NegativeLiterals
-- | Allows the use of binary integer literal syntax (e.g. @0b11001001@ to denote @201@). -- | Allow the use of binary integer literal syntax (e.g. @0b11001001@ to denote @201@).
-- --
-- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#binary-literals> -- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#binary-literals>
| BinaryLiterals | BinaryLiterals
-- | Allows the use of floating literal syntax for all instances of 'Num', including 'Int' and 'Integer'. -- | Allow the use of floating literal syntax for all instances of 'Num', including 'Int' and 'Integer'.
-- --
-- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#num-decimals> -- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#num-decimals>
| NumDecimals | NumDecimals
-- | Enables support for type classes with no type parameter. -- | Enable support for type classes with no type parameter.
-- --
-- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#nullary-type-classes> -- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#nullary-type-classes>
| NullaryTypeClasses | NullaryTypeClasses
...@@ -688,9 +688,32 @@ data KnownExtension = ...@@ -688,9 +688,32 @@ data KnownExtension =
-- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-extensions.html#ambiguity> -- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-extensions.html#ambiguity>
| AllowAmbiguousTypes | AllowAmbiguousTypes
-- | Enable @foreign import javascript@ -- | Enable @foreign import javascript@.
| JavaScriptFFI | JavaScriptFFI
-- | Allow giving names to and abstracting over patterns.
--
-- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-extensions.html#pattern-synonyms>
| PatternSynonyms
-- | Allow anonymous placeholders (underscore) inside type signatures. The
-- type inference engine will generate a message describing the type inferred
-- at the hole's location.
--
-- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-extensions.html#partial-type-signatures>
| PartialTypeSignatures
-- | Allow named placeholders written with a leading underscore inside type
-- signatures. Wildcards with the same name unify to the same type.
--
-- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-extensions.html#named-wildcards>
| NamedWildCards
-- | Enable @deriving@ for any class.
--
-- * <http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-extensions.html#derive-any-class>
| DeriveAnyClass
deriving (Generic, Show, Read, Eq, Ord, Enum, Bounded, Typeable, Data) deriving (Generic, Show, Read, Eq, Ord, Enum, Bounded, Typeable, Data)
instance Binary KnownExtension instance Binary KnownExtension
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment