blob: 812fd58ac90760103870b1561a86f98f4a0b3a1d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T16183.hs:(7,3)-(11,40): Splicing declarations
[d| type F1 = (Maybe :: Type -> Type) Int
type F2 = (Int :: Type) -> (Int :: Type)
type family F3 a where
F3 (a :: Type) = Int
newtype F4 = MkF4 (Int :: Type) |]
======>
type F1 = (Maybe :: Type -> Type) Int
type F2 = (Int :: Type) -> (Int :: Type)
type family F3 a where
F3 (a :: Type) = Int
newtype F4 = MkF4 (Int :: Type)
|
