Commit a974886b authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #7532

parent fee81ff3
{-# OPTIONS_GHC -ddump-rn -ddump-splices #-}
{-# LANGUAGE TemplateHaskell, TypeFamilies #-}
module T7532 where
import Language.Haskell.TH
import T7532a
instance C Bool where
data D Bool = MkD
$(bang)
==================== Renamer ====================
instance C Bool where
data D Bool = T7532.MkD
==================== Renamer ====================
bang
T7532.hs:1:1: Splicing declarations
bang
======>
T7532.hs:11:3-6
instance C Int where
data D Int = T
==================== Renamer ====================
instance C Int where
data D Int = T7532.T
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module T7532a where
import Language.Haskell.TH
class C a where
data D a
bang :: DecsQ
bang = return [
InstanceD [] (AppT (ConT ''C) (ConT ''Int)) [
DataInstD [] ''D [ConT ''Int] [
NormalC (mkName "T") []] []]]
......@@ -263,3 +263,7 @@ test('TH_TyInstWhere4', normal, compile, ['-v0'])
test('T7445', extra_clean(['T7445a.hi', 'T7445a.o']),
run_command,
['$MAKE -s --no-print-directory T7445'] )
test('T7532',
extra_clean(['T7532a.hi', 'T7532a.o']),
multimod_compile,
['T7532', '-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