diff options
-rw-r--r-- | testsuite/tests/th/T10019.script | 9 | ||||
-rw-r--r-- | testsuite/tests/th/T10019.stdout | 2 |
2 files changed, 9 insertions, 2 deletions
diff --git a/testsuite/tests/th/T10019.script b/testsuite/tests/th/T10019.script index eef5fe74b2..97ecbe115e 100644 --- a/testsuite/tests/th/T10019.script +++ b/testsuite/tests/th/T10019.script @@ -1,4 +1,11 @@ :set -XTemplateHaskell import Language.Haskell.TH data Option a = Some a | None -$(reify 'Some >>= stringE . show) +$(reify 'Some >>= litE . integerL . toInteger . length . show) +-- By taking the length we avoid wobbling when the exact uniques +-- chosen by TH change +-- +-- This was the original +-- $(reify 'Some >>= stringE . show) +-- which yields +-- "DataConI Ghci1.Some (ForallT [KindedTV a_1627391549 StarT] [] (AppT (AppT ArrowT (VarT a_1627391549)) (AppT (ConT Ghci1.Option) (VarT a_1627391549)))) Ghci1.Option (Fixity 9 InfixL)"
\ No newline at end of file diff --git a/testsuite/tests/th/T10019.stdout b/testsuite/tests/th/T10019.stdout index 350338c779..d65e8e31fd 100644 --- a/testsuite/tests/th/T10019.stdout +++ b/testsuite/tests/th/T10019.stdout @@ -1 +1 @@ -"DataConI Ghci1.Some (ForallT [KindedTV a_1627391549 StarT] [] (AppT (AppT ArrowT (VarT a_1627391549)) (AppT (ConT Ghci1.Option) (VarT a_1627391549)))) Ghci1.Option (Fixity 9 InfixL)" +181
|