diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2016-01-01 18:59:52 +0200 |
|---|---|---|
| committer | Alan Zimmerman <alan.zimm@gmail.com> | 2016-01-01 20:34:45 +0200 |
| commit | 0b8dc7d4d5b26e184a7698e22f9fe7d8ee3c90d4 (patch) | |
| tree | 00e2f47d589cc9ffc8d41af5ca345cc75c9f31d2 /mk | |
| parent | f3cc34568b13abb29de7b54a5f657681e9e116ca (diff) | |
| download | haskell-0b8dc7d4d5b26e184a7698e22f9fe7d8ee3c90d4.tar.gz | |
API Annotations: AnnTilde missing
In T10689a.hs, the fragment
data instance Sing (z :: [a])
= z ~ '[] =>
SNil
| forall (m :: a)
(n :: [a]). z ~ (:) m n =>
SCons (Sing m) (Sing n)
ends up with the AnnTilde annotations for the two tildes not attached to
the final AST.
This patch moves the AnnTilde to the right place.
Closes #11321
Diffstat (limited to 'mk')
0 files changed, 0 insertions, 0 deletions