diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2021-01-05 15:54:42 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-01-05 16:14:31 -0500 |
| commit | 1e56f63c3197e7ca1c1e506e083c2bad25d08793 (patch) | |
| tree | 7152e5a53fe1c18e6fd5044d5aa3168ab99c3cc6 /html-test/src/Bug1050.hs | |
| parent | 1d657cf377b5f147b08aafb3ab3a5d11be538331 (diff) | |
| parent | 665226f384ee9b0a66a98638ede9eff845f6c45b (diff) | |
Merge remote-tracking branch 'origin/ghc-8.10' into ghc-9.0
Diffstat (limited to 'html-test/src/Bug1050.hs')
| -rw-r--r-- | html-test/src/Bug1050.hs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/html-test/src/Bug1050.hs b/html-test/src/Bug1050.hs new file mode 100644 index 00000000..ea293e6e --- /dev/null +++ b/html-test/src/Bug1050.hs @@ -0,0 +1,11 @@ +{-# LANGUAGE GADTs #-} +{-# LANGUAGE PolyKinds #-} +{-# LANGUAGE RankNTypes #-} +module Bug1050 where + +import Data.Kind + +newtype T :: (forall k. k -> Type) -> (forall k. k -> Type) where + MkT :: forall (f :: forall k. k -> Type) k (a :: k). f a -> T f a + +mkT = MkT |