diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-05-03 10:15:45 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-05-03 10:15:50 -0400 |
| commit | 5de0be8d7ee48eac0af42387eb40b5a5a9b08a35 (patch) | |
| tree | fe12d1620d23676086457b47765151066ab01977 /testsuite/tests/typecheck/should_fail/T14904a.hs | |
| parent | 6742ce2d8e0919dd75b5ecb0e2b5f891c442bdd3 (diff) | |
| download | haskell-5de0be8d7ee48eac0af42387eb40b5a5a9b08a35.tar.gz | |
Add regression tests for #14904
Trac #14904 was fixed in commit
faec8d358985e5d0bf363bd96f23fe76c9e281f7. Let's add some tests to
ensure that it stays fixed.
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T14904a.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T14904a.hs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T14904a.hs b/testsuite/tests/typecheck/should_fail/T14904a.hs new file mode 100644 index 0000000000..654f5a6618 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T14904a.hs @@ -0,0 +1,9 @@ +{-# LANGUAGE RankNTypes #-} +{-# LANGUAGE TypeFamilies #-} +{-# LANGUAGE TypeInType #-} +module T14904a where + +import Data.Kind + +type family F (f :: forall a. g a) :: Type where + F (f :: forall a. g a) = Int |