testsuite/tests/typecheck/should_compile/T20873b.hs


1
2
3
4
5
6
7
8
9
10
11


{-# LANGUAGE NoDataKinds #-}

module T20873b where

import T20873b_aux (P)

type Q = P
  -- P = 'MkA is a promoted data constructor,
  -- but we should still allow users to use P with -XNoDataKinds,
  -- to avoid implementation details of M1 leaking.