diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-11 10:27:53 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-14 21:44:18 -0400 |
| commit | 693b38cbf5cd298b793b3179fb6cc57e196b55d0 (patch) | |
| tree | d0f9c82d5326cace8b3e4c8b19fbe83e1ebcd860 /testsuite | |
| parent | 6c768fcf0d6749bf5029baf6b7f99271b48b1037 (diff) | |
| download | haskell-693b38cbf5cd298b793b3179fb6cc57e196b55d0.tar.gz | |
Test case for #11699 in typecheck/should_compile
[skip ci]
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T11699.hs | 5 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 1 |
2 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T11699.hs b/testsuite/tests/typecheck/should_compile/T11699.hs new file mode 100644 index 0000000000..2334f29b6c --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T11699.hs @@ -0,0 +1,5 @@ +{-# LANGUAGE TypeFamilies, PolyKinds #-} + +module T11699 where + +type family F a where F (f a) = f a diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index 8974153ff4..7e6a175e8e 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -508,3 +508,4 @@ test('T11552', normal, compile, ['']) test('T11246', normal, compile, ['']) test('T11608', normal, compile, ['']) test('T11401', normal, compile, ['']) +test('T11699', normal, compile, ['']) |