testsuite/tests/ghc-api/landmines/MineType.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeOperators #-}
{-

Exercising avoidance of known landmines.

We need one each of

  PostTc id Kind
  PostTc id Type

  PostRn id Fixity
  PostRn id NameSet


-}
module MineType where

foo = undefined