testsuite/tests/typecheck/should_compile/tc193.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16


-- A newtype representation problem crashed GHC 6.4

module ShouldCompile where


newtype Signal a = Signal Symbol

newtype Symbol = Symbol (S Symbol)

data S s = Bool Bool

liftl :: Signal a -> Symbol
liftl (Signal a) = a