diff options
| author | Zubin Duggal <zubin.duggal@gmail.com> | 2021-09-28 15:30:13 +0530 |
|---|---|---|
| committer | Zubin Duggal <zubin.duggal@gmail.com> | 2021-09-28 15:35:07 +0530 |
| commit | 6a96a238c0673a8dc597e9e63801c7435f472989 (patch) | |
| tree | 35a1576aa05e3b5c8d089d35658efa8c256ad98b /libraries/template-haskell/Language/Haskell/TH/Syntax.hs | |
| parent | 26f24aeca7784f9f9a2a49bce42eaeb60b94d39f (diff) | |
| download | haskell-wip/20389.tar.gz | |
Use 'NonEmpty' for the fields in an 'HsProjection' (#20389)wip/20389
Diffstat (limited to 'libraries/template-haskell/Language/Haskell/TH/Syntax.hs')
| -rw-r--r-- | libraries/template-haskell/Language/Haskell/TH/Syntax.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs b/libraries/template-haskell/Language/Haskell/TH/Syntax.hs index c219467337..76b9b954a5 100644 --- a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs +++ b/libraries/template-haskell/Language/Haskell/TH/Syntax.hs @@ -2234,7 +2234,8 @@ data Exp | LabelE String -- ^ @{ #x }@ ( Overloaded label ) | ImplicitParamVarE String -- ^ @{ ?x }@ ( Implicit parameter ) | GetFieldE Exp String -- ^ @{ exp.field }@ ( Overloaded Record Dot ) - | ProjectionE [String] -- ^ @(.x)@ or @(.x.y)@ (Record projections) + | ProjectionE String [String] -- ^ @(.x)@ or @(.x.y)@ or @(.x.y.z)@ etc. (Record projections) + -- There has to be at least one projection in the expression deriving( Show, Eq, Ord, Data, Generic ) type FieldExp = (Name,Exp) |