diff options
author | sheaf <sam.derbyshire@gmail.com> | 2022-08-25 20:24:19 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-08-26 15:05:23 -0400 |
commit | 4786acf758ef064d3b79593774d1672e294b0afb (patch) | |
tree | 35d46e759acda4015c488cb5a2bec9b8d00cdeba /testsuite/tests/pmcheck/should_compile/T11822.stderr | |
parent | 6b47aa1cc87426db4fe7d805af69894de05780ff (diff) | |
download | haskell-4786acf758ef064d3b79593774d1672e294b0afb.tar.gz |
Pmc: consider any 2 dicts of the same type equal
This patch massages the keys used in the `TmOracle` `CoreMap` to ensure
that dictionaries of coherent classes give the same key.
That is, whenever we have an expression we want to insert or lookup in
the `TmOracle` `CoreMap`, we first replace any dictionary
`$dict_abcd :: ct` with a value of the form `error @ct`.
This allows us to common-up view pattern functions with required
constraints whose arguments differed only in the uniques of the
dictionaries they were provided, thus fixing #21662.
This is a rather ad-hoc change to the keys used in the
`TmOracle` `CoreMap`. In the long run, we would probably want to use
a different representation for the keys instead of simply using
`CoreExpr` as-is. This more ambitious plan is outlined in #19272.
Fixes #21662
Updates unix submodule
Diffstat (limited to 'testsuite/tests/pmcheck/should_compile/T11822.stderr')
-rw-r--r-- | testsuite/tests/pmcheck/should_compile/T11822.stderr | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/T11822.stderr b/testsuite/tests/pmcheck/should_compile/T11822.stderr index 7f0aae9aec..d2994b65aa 100644 --- a/testsuite/tests/pmcheck/should_compile/T11822.stderr +++ b/testsuite/tests/pmcheck/should_compile/T11822.stderr @@ -12,11 +12,3 @@ T11822.hs:33:1: warning: [-Wincomplete-patterns (in -Wextra)] _ _ _ (Data.Sequence.Internal.Seq Data.Sequence.Internal.EmptyT) _ _ ... - -T11822.hs:33:1: warning: - Pattern match checker ran into -fmax-pmcheck-models=30 limit, so - • Redundant clauses might not be reported at all - • Redundant clauses might be reported as inaccessible - • Patterns reported as unmatched might actually be matched - Suggested fix: - Increase the limit or resolve the warnings to suppress this message. |