testsuite/tests/rep-poly/T23154.hs · bbfb051c6e52f08cbdcd6e8a37245b714c385fa3 · Reinier Maas / GHC

Mar 31, 2023

Handle ConcreteTvs in inferResultToType · bad2f8b8

sheaf authored Mar 31, 2023 and

Krzysztof Gogolewski committed Apr 15, 2023

inferResultToType was discarding the ir_frr information, which meant
some metavariables ended up being MetaTvs instead of ConcreteTvs.

This function now creates new ConcreteTvs as necessary, instead of
always creating MetaTvs.

Fixes #23154

bad2f8b8

Handle ConcreteTvs in inferResultToType

sheaf authored Mar 31, 2023 and

Krzysztof Gogolewski committed Apr 15, 2023

inferResultToType was discarding the ir_frr information, which meant
some metavariables ended up being MetaTvs instead of ConcreteTvs.

This function now creates new ConcreteTvs as necessary, instead of
always creating MetaTvs.

Fixes #23154