blob: c6951641b395a7ab804c2f51d56cab5d505ed23f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T16183.hs:(7,2)-(11,41): 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)
|
