Skip to content
Snippets Groups Projects
Select Git revision
20 results
Blame Permalink
  • Ben Gamari's avatar
    a6befeb3
    simplCore: Ignore ticks in rule templates · a6befeb3
    Ben Gamari authored 
    This fixes #17619, where a tick snuck in to the template of a rule,
resulting in a panic during rule matching. The tick in question was
introduced via post-inlining, as discussed in `Note [Simplifying
rules]`. The solution we decided upon was to simply ignore ticks in the
rule template, as discussed in `Note [Tick annotations in RULE
matching]`.

Fixes #18162.
Fixes #17619.

(cherry picked from commit dcd6bdcc)
    a6befeb3
    History
    simplCore: Ignore ticks in rule templates
    Ben Gamari authored 
    This fixes #17619, where a tick snuck in to the template of a rule,
resulting in a panic during rule matching. The tick in question was
introduced via post-inlining, as discussed in `Note [Simplifying
rules]`. The solution we decided upon was to simply ignore ticks in the
rule template, as discussed in `Note [Tick annotations in RULE
matching]`.

Fixes #18162.
Fixes #17619.

(cherry picked from commit dcd6bdcc)
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
Rules.hs 48.93 KiB