testsuite/tests/typecheck/should_compile/T15499.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE DataKinds, GADTs, KindSignatures #-}
module T15499 ()
where

data ADT (p :: Integer) where
  ADT ::
    { a :: a
    , b :: Integer
    } -> ADT p

foo = undefined {b=undefined}