blob: d3639a4a9ddea695d1335d587863b09683206019 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE TypeFamilies, GADTs, UndecidableInstances #-}
module T8550 where
type family F a
type instance F () = F ()
data A where
A :: F () ~ () => A
x :: A
x = A
main :: IO ()
main = seq A (return ())
-- Note: This worked in GHC 7.8, but I (Richard E) think this regression
-- is acceptable.
|