Commit 132f398a authored by Simon Peyton Jones's avatar Simon Peyton Jones

Merge branch 'master' of http://darcs.haskell.org/testsuite

parents 619d8d89 6dee9254
{-# LANGUAGE TypeFamilies #-}
module T5306 where
import T5306b(F(FInt)) -- succeeds
import T5306a(F(FBool)) -- failed (before fix)
{-# LANGUAGE TypeFamilies #-}
module T5306a where
import T5306b
data instance F Bool = FBool
{-# LANGUAGE TypeFamilies #-}
module T5306b where
data family F a
data instance F Int = FInt
......@@ -177,3 +177,9 @@ test('T2436',
['T2436', '-v0'])
test('T5331', normal, compile, ['']) # Unused tyvar warnings
test('T5334', normal, compile, ['']) # Unused tyvar warnings
test('T5306',
[only_compiler_types(['ghc']),
extra_clean(['T5306a.hi', 'T5306a.o',
'T5306b.hi', 'T5306b.o'])],
multimod_compile,
['T5306', '-v0'])
{-# LANGUAGE TemplateHaskell #-}
module T5362() where
import System.IO
import Language.Haskell.TH
$(
do fName <- newName "f"
gName <- newName "g"
let gExp = varE gName
sdf <- sigD fName [t| () |]
sdg <- sigD gName [t| () |]
fdf <- funD fName [clause [] (normalB [| undefined $gExp |]) []]
fdg <- funD gName [clause [] (normalB [| undefined |]) []]
let ds = [sdf, fdf, sdg, fdg]
runIO $ do { putStrLn (pprint ds); hFlush stdout }
return ds
)
f_0 :: GHC.Unit.()
f_0 = GHC.Err.undefined g_1
g_1 :: GHC.Unit.()
g_1 = GHC.Err.undefined
......@@ -183,6 +183,7 @@ test('T5217', normal, compile, ['-v0 -dsuppress-uniques -ddump-splices'])
test('T5037', normal, compile, ['-v0'])
test('TH_unboxedSingleton', normal, compile, ['-v0'])
test('T5290', normal, compile, ['-v0 -ddump-splices'])
test('T5362', normal, compile, ['-v0'])
test('TH_unresolvedInfix',
extra_clean(['TH_unresolvedInfix_Lib.hi', 'TH_unresolvedInfix_Lib.o']),
......
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