df1cb51e08ea9f9aca9748f56933fcbb5a8f095a
[ghc.git] / testsuite / tests / dependent / should_compile / Dep2.hs
1 {-# LANGUAGE TypeInType, GADTs #-}
2
3 module Dep2 where
4
5 data G (a :: k) where
6 G1 :: G Int
7 G2 :: G Maybe