diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-03-07 17:15:15 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-03-07 17:15:15 +0000 |
| commit | 062391be4f06aa408187582c4a40f1cea80429c3 (patch) | |
| tree | 10222e6f2502ae6e7f6d715c721956b48be0472b | |
| parent | cf1a0f971966af633fbd932ad012ce716680465b (diff) | |
| download | haskell-062391be4f06aa408187582c4a40f1cea80429c3.tar.gz | |
Test Trac #8856
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T8856.hs | 6 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 1 |
2 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T8856.hs b/testsuite/tests/typecheck/should_compile/T8856.hs new file mode 100644 index 0000000000..6605e479fd --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T8856.hs @@ -0,0 +1,6 @@ +{-# LANGUAGE ScopedTypeVariables, RankNTypes, PolyKinds #-} +module T8856 where + +import Data.Proxy + +foo = (undefined :: Proxy a) :: forall a. Proxy a diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index 35b5dd2e90..373e739a3f 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -417,3 +417,4 @@ test('T8565', normal, compile, ['']) test('T8644', normal, compile, ['']) test('T8762', normal, compile, ['']) test('MutRec', normal, compile, ['']) +test('T8856', normal, compile, ['']) |