Commit 6b52a209 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #8577

parent 75dbe872
{-# LANGUAGE TemplateHaskell #-}
module T8577 where
import Language.Haskell.TH
import T8577a
foo2 :: A Bool
foo2 = $$(y)
T8577.hs:9:11:
Couldn't match type ‛Int’ with ‛Bool’
Expected type: Q (TExp (A Bool))
Actual type: Q (TExp (A Int))
In the expression: y
In the Template Haskell splice $$y
{-# LANGUAGE TemplateHaskell #-}
module T8577a where
import Language.Haskell.TH
data A a = A
x :: Q (TExp (A a))
x = [|| A ||]
y :: Q (TExp (A Int))
y = x
......@@ -311,3 +311,7 @@ test('T8540',
extra_clean(['T8540a.hi', 'T8540a.o']),
multimod_compile,
['T8540', '-v0 ' + config.ghc_th_way_flags])
test('T8577',
extra_clean(['T8577a.hi', 'T8577a.o']),
multimod_compile_fail,
['T8577', '-v0 ' + config.ghc_th_way_flags])
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