diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-01-11 17:03:47 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-01-15 15:43:43 -0500 |
| commit | 6c07f1426e58232092043e28d56717aa489d3670 (patch) | |
| tree | 94fc7cb3f5a319f22e9b3c152f453bf14c8a28c3 /testsuite/tests/dependent/should_compile | |
| parent | d459f55c36c50ae02c55a7fb1331ef81af6751f5 (diff) | |
| download | haskell-6c07f1426e58232092043e28d56717aa489d3670.tar.gz | |
Fix #11311
All things of kind *, including * itself, need to have a PtrRep.
Test: dependent/should_compile/T11311
Diffstat (limited to 'testsuite/tests/dependent/should_compile')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/T11311.hs | 8 | ||||
| -rw-r--r-- | testsuite/tests/dependent/should_compile/all.T | 1 |
2 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/tests/dependent/should_compile/T11311.hs b/testsuite/tests/dependent/should_compile/T11311.hs new file mode 100644 index 0000000000..88f0e45861 --- /dev/null +++ b/testsuite/tests/dependent/should_compile/T11311.hs @@ -0,0 +1,8 @@ +module T11311 where + +import Data.Kind + +foo :: () +foo = (id :: * -> *) undefined `seq` () + +main = print foo diff --git a/testsuite/tests/dependent/should_compile/all.T b/testsuite/tests/dependent/should_compile/all.T index 1063b6ec94..ef6dde9fbe 100644 --- a/testsuite/tests/dependent/should_compile/all.T +++ b/testsuite/tests/dependent/should_compile/all.T @@ -11,3 +11,4 @@ test('mkGADTVars', normal, compile, ['']) test('TypeLevelVec',normal,compile, ['']) test('T9632', normal, compile, ['']) test('dynamic-paper', normal, compile, ['']) +test('T11311', normal, compile, ['']) |