testsuite/tests/quantified-constraints/T15231.stderr · b444c16f4ff64938a8bec9587bd90209bda682b9 · Reinier Maas / GHC

May 31, 2023

Ben Bellick authored May 31, 2023 and

Marge Bot committed Jul 03, 2023

This addresses the work of ticket #20118
Created the following constructors for TcRnMessage
 - TcRnInaccessibleCoAxBranch
 - TcRnPatersonCondFailure

03f941f4

Ben Bellick authored May 31, 2023 and

Marge Bot committed Jul 03, 2023

This addresses the work of ticket #20118
Created the following constructors for TcRnMessage
 - TcRnInaccessibleCoAxBranch
 - TcRnPatersonCondFailure