diff options
author | Michael Sloan <mgsloan@gmail.com> | 2018-07-06 11:00:10 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2018-07-06 14:08:37 -0400 |
commit | fbe162f58caa31df445d9edbf0b0919810687011 (patch) | |
tree | 50b6503e48a9c82b8f499a9dc45144ace3d661a6 /testsuite/tests/numeric | |
parent | f59332f92b30306675da22150de092eeebbf55f3 (diff) | |
download | haskell-fbe162f58caa31df445d9edbf0b0919810687011.tar.gz |
Add a broken test for lingering state from TH unique names #9693
The stderr output is
```
Loading with T9693_initial.hs
T9693_main.hs:4:1:
Same exact name in multiple name-spaces:
type constructor or class ‘X’, declared at: T9693_main.hs:4:1
data constructor ‘X’, declared at: T9693_main.hs:4:1
Probable cause: you bound a unique Template Haskell name (NameU),
perhaps via newName, in different name-spaces.
If that's it, then -ddump-splices might be useful
Reloading with T9693_modified.hs
T9693_main.hs:1:1:
Data constructor ‘X’ used as a type constructor
```
The strange thing is that the modified version uses (mkName "X"), which should
be fine for simultaneous use in both a data constructor and type constructor.
Indeed, on a fresh load, the modified version works fine. So there is some sort
of state left over from the prior load when (newName "X") was used.
Test Plan: testsuite/tests/th/T9693.script
Reviewers: bgamari, sighingnow, RyanGlScott
Reviewed By: sighingnow, RyanGlScott
Subscribers: RyanGlScott, sighingnow, rwbarton, thomie, carter
Differential Revision: https://phabricator.haskell.org/D4926
Diffstat (limited to 'testsuite/tests/numeric')
0 files changed, 0 insertions, 0 deletions