Recognise new language extensions from GHC 9.2

georgefst · sheaf · commit 6d878dda5263 · 2021-12-28T12:56:25.000+01:00
https://downloads.haskell.org/~ghc/9.2.1/docs/html/users_guide/9.2.1-notes.html I've stuck them on the end, since the list already isn't fully sorted.
diff --git a/syntaxes/haskell.YAML-tmLanguage b/syntaxes/haskell.YAML-tmLanguage
@@ -734,7 +734,7 @@ repository:
                 \b(?<!')
                 (
                 (?:No)?
-                (?:AllowAmbiguousTypes|AlternativeLayoutRuleTransitional|AlternativeLayoutRule|Arrows|BangPatterns|BinaryLiterals|CApiFFI|CPP|CUSKs|ConstrainedClassMethods|ConstraintKinds|DataKinds|DefaultSignatures|DeriveAnyClass|DeriveDataTypeable|DeriveFoldable|DeriveFunctor|DeriveGeneric|DeriveLift|DeriveTraversable|DerivingStrategies|DerivingVia|DisambiguateRecordFields|DoAndIfThenElse|BlockArguments|DuplicateRecordFields|EmptyCase|EmptyDataDecls|EmptyDataDeriving|ExistentialQuantification|ExplicitForAll|ExplicitNamespaces|ExtendedDefaultRules|FlexibleContexts|FlexibleInstances|ForeignFunctionInterface|FunctionalDependencies|GADTSyntax|GADTs|GHCForeignImportPrim|Generali(?:s|z)edNewtypeDeriving|ImplicitParams|ImplicitPrelude|ImportQualifiedPost|ImpredicativeTypes|TypeFamilyDependencies|InstanceSigs|ApplicativeDo|InterruptibleFFI|JavaScriptFFI|KindSignatures|LambdaCase|LexicalNegation|LiberalTypeSynonyms|LinearTypes|MagicHash|MonadComprehensions|MonoLocalBinds|MonomorphismRestriction|MultiParamTypeClasses|MultiWayIf|NumericUnderscores|NPlusKPatterns|NamedFieldPuns|NamedWildCards|NegativeLiterals|HexFloatLiterals|NondecreasingIndentation|NumDecimals|OverloadedLabels|OverloadedLists|OverloadedStrings|PackageImports|ParallelArrays|ParallelListComp|PartialTypeSignatures|PatternGuards|PatternSynonyms|PolyKinds|PolymorphicComponents|QualifiedDo|QuantifiedConstraints|PostfixOperators|QuasiQuotes|Rank2Types|RankNTypes|RebindableSyntax|RecordWildCards|RecursiveDo|RelaxedLayout|RoleAnnotations|ScopedTypeVariables|StandaloneDeriving|StarIsType|StaticPointers|StrictData|Strict|TemplateHaskellQuotes|TemplateHaskell|StandaloneKindSignatures|TraditionalRecordSyntax|TransformListComp|TupleSections|TypeApplications|TypeInType|TypeFamilies|TypeOperators|TypeSynonymInstances|UnboxedTuples|UnboxedSums|UndecidableInstances|UndecidableSuperClasses|UnicodeSyntax|UnliftedFFITypes|UnliftedNewtypes|ViewPatterns)
+                (?:AllowAmbiguousTypes|AlternativeLayoutRuleTransitional|AlternativeLayoutRule|Arrows|BangPatterns|BinaryLiterals|CApiFFI|CPP|CUSKs|ConstrainedClassMethods|ConstraintKinds|DataKinds|DefaultSignatures|DeriveAnyClass|DeriveDataTypeable|DeriveFoldable|DeriveFunctor|DeriveGeneric|DeriveLift|DeriveTraversable|DerivingStrategies|DerivingVia|DisambiguateRecordFields|DoAndIfThenElse|BlockArguments|DuplicateRecordFields|EmptyCase|EmptyDataDecls|EmptyDataDeriving|ExistentialQuantification|ExplicitForAll|ExplicitNamespaces|ExtendedDefaultRules|FlexibleContexts|FlexibleInstances|ForeignFunctionInterface|FunctionalDependencies|GADTSyntax|GADTs|GHCForeignImportPrim|Generali(?:s|z)edNewtypeDeriving|ImplicitParams|ImplicitPrelude|ImportQualifiedPost|ImpredicativeTypes|TypeFamilyDependencies|InstanceSigs|ApplicativeDo|InterruptibleFFI|JavaScriptFFI|KindSignatures|LambdaCase|LexicalNegation|LiberalTypeSynonyms|LinearTypes|MagicHash|MonadComprehensions|MonoLocalBinds|MonomorphismRestriction|MultiParamTypeClasses|MultiWayIf|NumericUnderscores|NPlusKPatterns|NamedFieldPuns|NamedWildCards|NegativeLiterals|HexFloatLiterals|NondecreasingIndentation|NumDecimals|OverloadedLabels|OverloadedLists|OverloadedStrings|PackageImports|ParallelArrays|ParallelListComp|PartialTypeSignatures|PatternGuards|PatternSynonyms|PolyKinds|PolymorphicComponents|QualifiedDo|QuantifiedConstraints|PostfixOperators|QuasiQuotes|Rank2Types|RankNTypes|RebindableSyntax|RecordWildCards|RecursiveDo|RelaxedLayout|RoleAnnotations|ScopedTypeVariables|StandaloneDeriving|StarIsType|StaticPointers|StrictData|Strict|TemplateHaskellQuotes|TemplateHaskell|StandaloneKindSignatures|TraditionalRecordSyntax|TransformListComp|TupleSections|TypeApplications|TypeInType|TypeFamilies|TypeOperators|TypeSynonymInstances|UnboxedTuples|UnboxedSums|UndecidableInstances|UndecidableSuperClasses|UnicodeSyntax|UnliftedFFITypes|UnliftedNewtypes|ViewPatterns|UnliftedDatatypes|OverloadedRecordDot|OverloadedRecordUpdate|FieldSelectors)
                 )
                 \b(?!')
             captures:

Original file line number	Diff line number	Diff line change
`@@ -734,7 +734,7 @@ repository:`
`734`	`734`	`\b(?<!')`
`735`	`735`	`(`
`736`	`736`	`(?:No)?`
`737`		- (?:AllowAmbiguousTypes\|AlternativeLayoutRuleTransitional\|AlternativeLayoutRule\|Arrows\|BangPatterns\|BinaryLiterals\|CApiFFI\|CPP\|CUSKs\|ConstrainedClassMethods\|ConstraintKinds\|DataKinds\|DefaultSignatures\|DeriveAnyClass\|DeriveDataTypeable\|DeriveFoldable\|DeriveFunctor\|DeriveGeneric\|DeriveLift\|DeriveTraversable\|DerivingStrategies\|DerivingVia\|DisambiguateRecordFields\|DoAndIfThenElse\|BlockArguments\|DuplicateRecordFields\|EmptyCase\|EmptyDataDecls\|EmptyDataDeriving\|ExistentialQuantification\|ExplicitForAll\|ExplicitNamespaces\|ExtendedDefaultRules\|FlexibleContexts\|FlexibleInstances\|ForeignFunctionInterface\|FunctionalDependencies\|GADTSyntax\|GADTs\|GHCForeignImportPrim\|Generali(?:s\|z)edNewtypeDeriving\|ImplicitParams\|ImplicitPrelude\|ImportQualifiedPost\|ImpredicativeTypes\|TypeFamilyDependencies\|InstanceSigs\|ApplicativeDo\|InterruptibleFFI\|JavaScriptFFI\|KindSignatures\|LambdaCase\|LexicalNegation\|LiberalTypeSynonyms\|LinearTypes\|MagicHash\|MonadComprehensions\|MonoLocalBinds\|MonomorphismRestriction\|MultiParamTypeClasses\|MultiWayIf\|NumericUnderscores\|NPlusKPatterns\|NamedFieldPuns\|NamedWildCards\|NegativeLiterals\|HexFloatLiterals\|NondecreasingIndentation\|NumDecimals\|OverloadedLabels\|OverloadedLists\|OverloadedStrings\|PackageImports\|ParallelArrays\|ParallelListComp\|PartialTypeSignatures\|PatternGuards\|PatternSynonyms\|PolyKinds\|PolymorphicComponents\|QualifiedDo\|QuantifiedConstraints\|PostfixOperators\|QuasiQuotes\|Rank2Types\|RankNTypes\|RebindableSyntax\|RecordWildCards\|RecursiveDo\|RelaxedLayout\|RoleAnnotations\|ScopedTypeVariables\|StandaloneDeriving\|StarIsType\|StaticPointers\|StrictData\|Strict\|TemplateHaskellQuotes\|TemplateHaskell\|StandaloneKindSignatures\|TraditionalRecordSyntax\|TransformListComp\|TupleSections\|TypeApplications\|TypeInType\|TypeFamilies\|TypeOperators\|TypeSynonymInstances\|UnboxedTuples\|UnboxedSums\|UndecidableInstances\|UndecidableSuperClasses\|UnicodeSyntax\|UnliftedFFITypes\|UnliftedNewtypes\|ViewPatterns)
	`737`	+ (?:AllowAmbiguousTypes\|AlternativeLayoutRuleTransitional\|AlternativeLayoutRule\|Arrows\|BangPatterns\|BinaryLiterals\|CApiFFI\|CPP\|CUSKs\|ConstrainedClassMethods\|ConstraintKinds\|DataKinds\|DefaultSignatures\|DeriveAnyClass\|DeriveDataTypeable\|DeriveFoldable\|DeriveFunctor\|DeriveGeneric\|DeriveLift\|DeriveTraversable\|DerivingStrategies\|DerivingVia\|DisambiguateRecordFields\|DoAndIfThenElse\|BlockArguments\|DuplicateRecordFields\|EmptyCase\|EmptyDataDecls\|EmptyDataDeriving\|ExistentialQuantification\|ExplicitForAll\|ExplicitNamespaces\|ExtendedDefaultRules\|FlexibleContexts\|FlexibleInstances\|ForeignFunctionInterface\|FunctionalDependencies\|GADTSyntax\|GADTs\|GHCForeignImportPrim\|Generali(?:s\|z)edNewtypeDeriving\|ImplicitParams\|ImplicitPrelude\|ImportQualifiedPost\|ImpredicativeTypes\|TypeFamilyDependencies\|InstanceSigs\|ApplicativeDo\|InterruptibleFFI\|JavaScriptFFI\|KindSignatures\|LambdaCase\|LexicalNegation\|LiberalTypeSynonyms\|LinearTypes\|MagicHash\|MonadComprehensions\|MonoLocalBinds\|MonomorphismRestriction\|MultiParamTypeClasses\|MultiWayIf\|NumericUnderscores\|NPlusKPatterns\|NamedFieldPuns\|NamedWildCards\|NegativeLiterals\|HexFloatLiterals\|NondecreasingIndentation\|NumDecimals\|OverloadedLabels\|OverloadedLists\|OverloadedStrings\|PackageImports\|ParallelArrays\|ParallelListComp\|PartialTypeSignatures\|PatternGuards\|PatternSynonyms\|PolyKinds\|PolymorphicComponents\|QualifiedDo\|QuantifiedConstraints\|PostfixOperators\|QuasiQuotes\|Rank2Types\|RankNTypes\|RebindableSyntax\|RecordWildCards\|RecursiveDo\|RelaxedLayout\|RoleAnnotations\|ScopedTypeVariables\|StandaloneDeriving\|StarIsType\|StaticPointers\|StrictData\|Strict\|TemplateHaskellQuotes\|TemplateHaskell\|StandaloneKindSignatures\|TraditionalRecordSyntax\|TransformListComp\|TupleSections\|TypeApplications\|TypeInType\|TypeFamilies\|TypeOperators\|TypeSynonymInstances\|UnboxedTuples\|UnboxedSums\|UndecidableInstances\|UndecidableSuperClasses\|UnicodeSyntax\|UnliftedFFITypes\|UnliftedNewtypes\|ViewPatterns\|UnliftedDatatypes\|OverloadedRecordDot\|OverloadedRecordUpdate\|FieldSelectors)
`738`	`738`	`)`
`739`	`739`	`\b(?!')`
`740`	`740`	`captures:`