-
Simon Peyton Jones authored
This fixes Trac #14479. Not difficult. See Note [Quantification and partial signatures] Wrinkle 4, in TcSimplify. (cherry picked from commit 72938f58)
87e517c1
This fixes Trac #14479. Not difficult. See Note [Quantification and partial signatures] Wrinkle 4, in TcSimplify. (cherry picked from commit 72938f58)