blob: bc94e2115a4e7f17ac526b18bd9ecb473cafba32 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE TypeFamilies #-}
module ShouldFail where
type family C a :: *
data family D a :: *
-- must fail: lhs contains a type family application
data instance D [C a] = DC
type family E a :: *
-- must fail: lhs contains a type family application
type instance E [C a] = Int
|