diff options
author | Cale Gibbard <cgibbard@gmail.com> | 2021-02-22 15:56:22 -0500 |
---|---|---|
committer | Sebastian Graf <sebastian.graf@kit.edu> | 2021-03-02 20:02:28 +0100 |
commit | d793863259ed18b23ea28e9252aaec8d50929685 (patch) | |
tree | 68fa3c4d840d261d2bd980643f0082cfcbfe7c34 /libraries/template-haskell/Language/Haskell/TH/Syntax.hs | |
parent | 4e28f467b8fe4530dc488ae2577e3100164affa2 (diff) | |
download | haskell-wip/T14422.tar.gz |
An initial attempt at type-directed COMPLETE pragmas.wip/T14422
Implement some suggestions from Sebastian Graf
Fix a test, add another
cmScrutineeType -> cmResultType, and change/add documentation
Simplify PmAltConSet to not include type information
Diffstat (limited to 'libraries/template-haskell/Language/Haskell/TH/Syntax.hs')
-rw-r--r-- | libraries/template-haskell/Language/Haskell/TH/Syntax.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs b/libraries/template-haskell/Language/Haskell/TH/Syntax.hs index 6508c07a65..3dad480bc2 100644 --- a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs +++ b/libraries/template-haskell/Language/Haskell/TH/Syntax.hs @@ -2355,7 +2355,7 @@ data Pragma = InlineP Name Inline RuleMatch Phases | RuleP String (Maybe [TyVarBndr ()]) [RuleBndr] Exp Exp Phases | AnnP AnnTarget Exp | LineP Int String - | CompleteP [Name] (Maybe Name) + | CompleteP [Name] (Maybe Type) -- ^ @{ {\-\# COMPLETE C_1, ..., C_i [ :: T ] \#-} }@ deriving( Show, Eq, Ord, Data, Generic ) |