diff options
Diffstat (limited to 'testsuite/tests/dependent')
-rw-r--r-- | testsuite/tests/dependent/should_compile/T11966.hs | 34 | ||||
-rw-r--r-- | testsuite/tests/dependent/should_compile/all.T | 1 |
2 files changed, 35 insertions, 0 deletions
diff --git a/testsuite/tests/dependent/should_compile/T11966.hs b/testsuite/tests/dependent/should_compile/T11966.hs new file mode 100644 index 0000000000..0262a0aed3 --- /dev/null +++ b/testsuite/tests/dependent/should_compile/T11966.hs @@ -0,0 +1,34 @@ +{-# LANGUAGE TypeFamilies #-} +{-# LANGUAGE DataKinds #-} +{-# LANGUAGE KindSignatures #-} +{-# LANGUAGE PolyKinds #-} +{-# LANGUAGE RankNTypes #-} +{-# LANGUAGE TypeInType #-} +{-# LANGUAGE TypeOperators #-} + +module T11966 where + +import Data.Kind (Type) +import GHC.TypeLits (Symbol) + +-- Simplification +type family Col (f :: k -> j) (x :: k) :: Type + +-- Base types +data PGBaseType = PGInteger | PGText + +-- Transformations +data Column t = Column Symbol t +newtype Nullable t = Nullable t +newtype HasDefault t = HasDefault t + +-- Interpretations +data Expr k + +data Record (f :: forall k. k -> Type) = + Record {rX :: Col f ('Column "x" 'PGInteger) + ,rY :: Col f ('Column "y" ('Nullable 'PGInteger)) + ,rZ :: Col f ('HasDefault 'PGText)} + +x :: Record Expr +x = undefined diff --git a/testsuite/tests/dependent/should_compile/all.T b/testsuite/tests/dependent/should_compile/all.T index a921743afe..8a9b221a4e 100644 --- a/testsuite/tests/dependent/should_compile/all.T +++ b/testsuite/tests/dependent/should_compile/all.T @@ -21,5 +21,6 @@ test('T11711', normal, compile, ['']) test('RaeJobTalk', normal, compile, ['']) test('T11635', normal, compile, ['']) test('T11719', normal, compile, ['']) +test('T11966', normal, compile, ['']) test('T12442', normal, compile, ['']) test('T13538', normal, compile, ['']) |