diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2016-07-01 01:15:01 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-07-01 14:12:37 +0200 |
| commit | b412d8230b20223beff797d6207868aea9fd2085 (patch) | |
| tree | e04b5e55debdeba41e0b641b74763d278a331bc1 /compiler/parser | |
| parent | 81b437bcc680745d5d50d731b978a1764f40ab36 (diff) | |
| download | haskell-b412d8230b20223beff797d6207868aea9fd2085.tar.gz | |
Allow one type signature for multiple pattern synonyms
This makes pattern synonym signatures more consistent with normal
type signatures.
Updates haddock submodule.
Differential Revision: https://phabricator.haskell.org/D2083
Diffstat (limited to 'compiler/parser')
| -rw-r--r-- | compiler/parser/Parser.y | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/parser/Parser.y b/compiler/parser/Parser.y index b0b64aea5c..e8d60ec611 100644 --- a/compiler/parser/Parser.y +++ b/compiler/parser/Parser.y @@ -1194,8 +1194,8 @@ where_decls :: { Located ([AddAnn] ,sL1 $3 (snd $ unLoc $3)) } pattern_synonym_sig :: { LSig RdrName } - : 'pattern' con '::' sigtype - {% ams (sLL $1 $> $ PatSynSig $2 (mkLHsSigType $4)) + : 'pattern' con_list '::' sigtype + {% ams (sLL $1 $> $ PatSynSig (unLoc $2) (mkLHsSigType $4)) [mj AnnPattern $1, mu AnnDcolon $3] } ----------------------------------------------------------------------------- |