diff options
| author | Alp Mestanogullari <alp@well-typed.com> | 2018-04-19 12:40:21 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-04-19 13:18:15 -0400 |
| commit | d9d801516dccab88b8083d34b465ee9ca8deb92f (patch) | |
| tree | 697190e2c39c7b696d77c9d759acbda997d6a645 /testsuite/tests/dependent/should_compile/all.T | |
| parent | 8f19ecc95fbaf2cc977531d721085d8441dc09b7 (diff) | |
| download | haskell-d9d801516dccab88b8083d34b465ee9ca8deb92f.tar.gz | |
testsuite: Fix `./validate --slow`
This fixes all unexpected passes and unexpected failures from a
`./validate --slow` run I did last week. I commented on many
tickets and created a few more as I was going through the failing
tests. A summary of the entire process is available at:
https://gist.github.com/alpmestan/c371840968f086c8dc5b56af8325f0a9
This is part of an attempt to have `./validate --slow` pass,
tracked in #14890. Another patch will be necessary for the unexpected
stats failures.
Test Plan: ./validate --slow (not green yet)
Reviewers: bgamari, simonmar
Subscribers: thomie, carter
Differential Revision: https://phabricator.haskell.org/D4546
Diffstat (limited to 'testsuite/tests/dependent/should_compile/all.T')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/all.T | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/testsuite/tests/dependent/should_compile/all.T b/testsuite/tests/dependent/should_compile/all.T index 701e187b36..5874d2e936 100644 --- a/testsuite/tests/dependent/should_compile/all.T +++ b/testsuite/tests/dependent/should_compile/all.T @@ -10,10 +10,7 @@ test('RaeBlogPost', normal, compile, ['']) test('mkGADTVars', normal, compile, ['']) test('TypeLevelVec',normal,compile, ['']) test('T9632', normal, compile, ['']) -# Simon says in #11330: The "simplifier ticks exhausted" error is expected; -# see Section 7 of the paper: -# http://research.microsoft.com/en-us/um/people/simonpj/papers/haskell-dynamic/ -test('dynamic-paper', expect_fail_for(['optasm', 'optllvm']), compile, ['']) +test('dynamic-paper', normal, compile, ['']) # see #11330 test('T11311', normal, compile, ['']) test('T11405', normal, compile, ['']) test('T11241', normal, compile, ['']) |