testsuite/tests/rename/should_fail/T12686.hs


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 rejected in a civilised way

data AlsoBad = AlsoBad {
  a :: Int,
  b :: Either Int 'a }
-- Ditto 'a here