Forked from
Glasgow Haskell Compiler / GHC
5760 commits behind the upstream repository.
Simon Peyton Jones
authored
This patch does two things, to fix #23209: * It improves SpecConstr so that it no longer quantifies over coercion variables. See Note [SpecConstr and casts] * It improves the rule matcher to deal nicely with the case where the rule does not quantify over coercion variables, but the the template has a cast in it. See Note [Casts in the template]
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| T9646 | ||
| prog001 | ||
| prog002 | ||
| prog003 | ||
| should_compile | ||
| should_fail | ||
| should_run | ||
| Makefile | ||