Revert "Remove the Windows GCC driver."
[ghc.git] / testsuite / tests / dependent / should_fail / PromotedClass.hs
1 {-# LANGUAGE TypeInType, GADTs #-}
2
3 module PromotedClass where
4
5 import Data.Proxy
6
7 data X a where
8 MkX :: Show a => a -> X a
9
10 foo :: Proxy ('MkX 'True)
11 foo = Proxy