blob: 5d652f9c57c4f6182374ecb86a486e6e22aadc33 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
module T12686 where
import Data.Proxy
x = True
data Bad = Bad 'x
-- The 'x should be rejeted in a civilised way
data AlsoBad = AlsoBad {
a :: Int,
b :: Either Int 'a }
-- Ditto 'a here
|