diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2019-05-31 15:03:37 +0300 |
|---|---|---|
| committer | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2019-09-28 14:33:10 +0300 |
| commit | 8a85b4b0cc7643637d3b32a72a9775664d1ebdec (patch) | |
| tree | df372ad3d8aa458ff4b53aa27ca7995b781c9376 /testsuite/tests/dependent/should_compile/Dep2.hs | |
| parent | 6f9fa0be8d43a7c9618f6e27e3190dc08bf86bfa (diff) | |
| download | haskell-8a85b4b0cc7643637d3b32a72a9775664d1ebdec.tar.gz | |
Disable CUSKs by defaultwip/testsuite-no-cusks
Diffstat (limited to 'testsuite/tests/dependent/should_compile/Dep2.hs')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/Dep2.hs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/testsuite/tests/dependent/should_compile/Dep2.hs b/testsuite/tests/dependent/should_compile/Dep2.hs index 34be3cffc6..ca84c79fae 100644 --- a/testsuite/tests/dependent/should_compile/Dep2.hs +++ b/testsuite/tests/dependent/should_compile/Dep2.hs @@ -1,7 +1,10 @@ -{-# LANGUAGE PolyKinds, GADTs #-} +{-# LANGUAGE PolyKinds, GADTs, StandaloneKindSignatures #-} module Dep2 where -data G (a :: k) where +import Data.Kind (Type) + +type G :: k -> Type +data G a where G1 :: G Int G2 :: G Maybe |