diff options
author | Matthías Páll Gissurarson <mpg@mpg.is> | 2018-01-18 00:49:38 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2018-01-18 00:49:40 -0500 |
commit | 1e14fd3ecfd468c3beddb2e5f992c358e1a798de (patch) | |
tree | 080300ea965349584307202930ef7d1cbd8e5c1f /testsuite/tests/th/all.T | |
parent | 6b1ff0098e7595d5f3b8e6ad7c5d8e4104b02445 (diff) | |
download | haskell-1e14fd3ecfd468c3beddb2e5f992c358e1a798de.tar.gz |
Inform hole substitutions of typeclass constraints (fixes #14273).
This implements SPJ's suggestion on the ticket (#14273). We find the
relevant constraints (ones that whose free unification variables are all
mentioned in the type of the hole), and then clone the free unification
variables of the hole and the relevant constraints. We then add a
subsumption constraints and run the simplifier, and then check whether
all the constraints were solved.
Reviewers: bgamari
Reviewed By: bgamari
Subscribers: RyanGlScott, rwbarton, thomie, carter
GHC Trac Issues: #14273
Differential Revision: https://phabricator.haskell.org/D4315
Diffstat (limited to 'testsuite/tests/th/all.T')
-rw-r--r-- | testsuite/tests/th/all.T | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/th/all.T b/testsuite/tests/th/all.T index 1fae4c6af8..2e7ffa3368 100644 --- a/testsuite/tests/th/all.T +++ b/testsuite/tests/th/all.T @@ -305,7 +305,7 @@ test('TH_Lift', normal, compile, ['-v0']) test('T10047', only_ways(['ghci']), ghci_script, ['T10047.script']) test('T10019', only_ways(['ghci']), ghci_script, ['T10019.script']) test('T10267', [], multimod_compile_fail, - ['T10267', '-dsuppress-uniques -v0 ' + config.ghc_th_way_flags]) + ['T10267', '-fno-max-valid-substitutions -dsuppress-uniques -v0 ' + config.ghc_th_way_flags]) test('T10279', normal, compile_fail, ['-v0']) test('T10306', normal, compile, ['-v0']) test('T10596', normal, compile, ['-v0']) |