summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_compile/all.T
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/dependent/should_compile/all.T')
-rw-r--r--testsuite/tests/dependent/should_compile/all.T2
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 31a853b61e..fa39c9a69a 100644
--- a/testsuite/tests/dependent/should_compile/all.T
+++ b/testsuite/tests/dependent/should_compile/all.T
@@ -64,3 +64,5 @@ test('T15076', normal, compile, [''])
test('T15076b', normal, compile, [''])
test('T15076c', normal, compile, [''])
test('T15829', normal, compile, [''])
+test('T14729', normal, compile, ['-ddump-types -fprint-typechecker-elaboration -fprint-explicit-coercions'])
+test('T14729kind', normal, ghci_script, ['T14729kind.script'])