Commit 22770b4d authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #8625

parent 4393b4ba
:set -XTemplateHaskell
:m + Language.Haskell.TH
class Member a
runQ [d| instance ( y ~ (t->t) ) => Member Bool |]
runQ [d| f :: (y ~ (t->t)) => y -> t; f x = x |]
[InstanceD [EqualP (VarT y_0) (AppT (AppT ArrowT (VarT t_1)) (VarT t_1))] (AppT (ConT :Interactive.Member) (ConT GHC.Types.Bool)) []]
[SigD f_2 (ForallT [PlainTV y_3,PlainTV t_4] [EqualP (VarT y_3) (AppT (AppT ArrowT (VarT t_4)) (VarT t_4))] (AppT (AppT ArrowT (VarT y_3)) (VarT t_4))),FunD f_2 [Clause [VarP x_5] (NormalB (VarE x_5)) []]]
......@@ -316,3 +316,4 @@ test('T8577',
multimod_compile_fail,
['T8577', '-v0 ' + config.ghc_th_way_flags])
test('T8633', normal, compile_and_run, [''])
test('T8625', normal, ghci_script, ['T8625.script'])
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment