diff options
author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-01-11 15:28:48 -0500 |
---|---|---|
committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-01-15 15:43:44 -0500 |
commit | bafbde7e239dd7353fb32cb2ff1b1c9139e4f45c (patch) | |
tree | 386b9f4ebc1ee89028c2e0f6d65b8cec99a20dc2 /testsuite/tests/dependent/should_compile/all.T | |
parent | 39ea4b4b19ea65d05f0d946084b316d5f5d2e675 (diff) | |
download | haskell-bafbde7e239dd7353fb32cb2ff1b1c9139e4f45c.tar.gz |
Constrained types have kind * in validity check.
This addresses #11405, but a deeper problem lurks.
Try test dependent/should_compile/T11405 and see comment:3
on the ticket.
Diffstat (limited to 'testsuite/tests/dependent/should_compile/all.T')
-rw-r--r-- | testsuite/tests/dependent/should_compile/all.T | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/dependent/should_compile/all.T b/testsuite/tests/dependent/should_compile/all.T index ef6dde9fbe..c11f9ca52b 100644 --- a/testsuite/tests/dependent/should_compile/all.T +++ b/testsuite/tests/dependent/should_compile/all.T @@ -12,3 +12,5 @@ test('TypeLevelVec',normal,compile, ['']) test('T9632', normal, compile, ['']) test('dynamic-paper', normal, compile, ['']) test('T11311', normal, compile, ['']) +test('T11405', expect_broken(11405), compile, ['']) + |