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

Test Trac #5217

parent 1ea52288
{-# LANGUAGE GADTs #-}
module T5217 where
import Language.Haskell.TH
$([d| data T a b where { T1 :: Int -> T Int Char
; T2 :: a -> T a a
; T3 :: a -> T [a] a
; T4 :: a -> b -> T b [a] } |])
T5217.hs:1:1: Splicing declarations
[d| data T a b
where
T1 :: Int -> T Int Char
T2 :: a -> T a a
T3 :: a -> T [a] a
T4 :: a -> b -> T b [a] |]
======>
T5217.hs:(6,3)-(9,53)
data T a b
= (b ~ Char, a ~ Int) => T1 Int |
b ~ a => T2 a |
a ~ [b] => T3 b |
forall a. b ~ [a] => T4 a a
......@@ -179,3 +179,4 @@ test('TH_viewPatPrint', normal, compile_and_run, [''])
test('T4436', normal, compile, ['-v0 -ddump-splices'])
test('T4949', normal, compile, ['-v0'])
test('T5126', normal, compile, ['-v0'])
test('T5217', normal, compile, ['-v0 -dsuppress-uniques -ddump-splices'])
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