Commit 1a986394 authored by Simon Peyton Jones's avatar Simon Peyton Jones

TH_scopedTvs succeeds now we have scoped type variables in TH

parent 6137c0f3
T3177a.hs:8:15:
`Int' is applied to too many type arguments
In the type `Int Int'
In the Template Haskell quotation [t| Int Int |]
In the first argument of `id', namely `[t| Int Int |]'
In the expression: id [t| Int Int |]
T3177a.hs:11:6:
`Int' is applied to too many type arguments
......
TH_scopedTvs.hs:6:13:
Illegal lexically-scoped type variable `a'
Lexically scoped type variables are not supported by Template Haskell
......@@ -125,7 +125,7 @@ test('TH_dataD1', normal, compile_fail, ['-v0'])
test('TH_ppr1', normal, compile_and_run, [''])
test('TH_fail', normal, compile_fail, ['-v0'])
test('TH_scopedTvs', normal, compile_fail, ['-v0'])
test('TH_scopedTvs', normal, compile, ['-v0'])
test('TH_runIO', normal, compile_fail, ['-v0'])
......
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