diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-12-21 17:24:33 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-12-21 17:24:33 +0000 |
| commit | 0f34a921beaf90241060da6fad16a18d59730b61 (patch) | |
| tree | 051af98adb9d221fb50aa2bf6e8f4818511bfef9 /compiler/parser | |
| parent | 9fdc0ceb1f65bb1ce47d1e9573ecc62a749b7cff (diff) | |
| download | haskell-wip/T11224.tar.gz | |
More WIP; basically done now.wip/T11224
Diffstat (limited to 'compiler/parser')
| -rw-r--r-- | compiler/parser/Parser.y | 21 |
1 files changed, 1 insertions, 20 deletions
diff --git a/compiler/parser/Parser.y b/compiler/parser/Parser.y index 06be056575..18386b4bb8 100644 --- a/compiler/parser/Parser.y +++ b/compiler/parser/Parser.y @@ -1190,29 +1190,10 @@ where_decls :: { Located ([AddAnn] ,sL1 $3 (snd $ unLoc $3)) } pattern_synonym_sig :: { LSig RdrName } - : 'pattern' con '::' ptype + : 'pattern' con '::' sigtype {% ams (sLL $1 $> $ PatSynSig $2 (mkLHsSigType $4)) [mj AnnPattern $1, mu AnnDcolon $3] } -ptype :: { LHsType RdrName } - : 'forall' tv_bndrs '.' ptype - {% hintExplicitForall (getLoc $1) >> - ams (sLL $1 $> $ - HsForAllTy { hst_bndrs = $2 - , hst_body = $4 }) - [mu AnnForall $1, mj AnnDot $3] } - - | context '=>' context '=>' type - {% ams (sLL $1 $> $ - HsQualTy { hst_ctxt = $1, hst_body = sLL $3 $> $ - HsQualTy { hst_ctxt = $3, hst_body = $5 } }) - [mu AnnDarrow $2, mu AnnDarrow $4] } - | context '=>' type - {% ams (sLL $1 $> $ - HsQualTy { hst_ctxt = $1, hst_body = $3 }) - [mu AnnDarrow $2] } - | type { $1 } - ----------------------------------------------------------------------------- -- Nested declarations |