diff options
author | Alan Zimmerman <alan.zimm@gmail.com> | 2015-05-21 14:13:42 +0200 |
---|---|---|
committer | Alan Zimmerman <alan.zimm@gmail.com> | 2015-05-21 14:13:42 +0200 |
commit | c553e980e4a5d149af13bb705ec02819a15937ee (patch) | |
tree | ab941f86fbc81d680db18cf8a740921d245582f8 /mk | |
parent | 9f968e97a0de9c2509da00f6337b612dd72a0389 (diff) | |
download | haskell-c553e980e4a5d149af13bb705ec02819a15937ee.tar.gz |
ApiAnnotations : AST version of nested forall loses forall annotation
Summary:
When parsing
{-# LANGUAGE ScopedTypeVariables #-}
extremumNewton :: forall tag. forall tag1.
tag -> tag1 -> Int
extremumNewton = undefined
the parser creates nested HsForAllTy's for the two forall statements.
These get flattened into a single one in `HsTypes.mk_forall_ty`
This patch removes the flattening, so that API Annotations are not lost in the
process.
Test Plan: ./validate
Reviewers: goldfire, austin, simonpj
Reviewed By: simonpj
Subscribers: bgamari, mpickering, thomie, goldfire
Differential Revision: https://phabricator.haskell.org/D836
GHC Trac Issues: #10278, #10315, #10354, #10363
Diffstat (limited to 'mk')
0 files changed, 0 insertions, 0 deletions