Opened 7 years ago

Last modified 22 months ago

#280 new feature

Rewrites should be done with the most specific rule.

Reported by: benl Owned by:
Priority: normal Milestone:
Component: Core Transforms Version: 0.2.1
Keywords: Cc:

Description

The rewrite engine should apply the most specific rule, instead of the first one that it finds that matches. If not, then we should give some warning about overlapping rules.

Change History (3)

comment:1 Changed 7 years ago by benl

Choosing the "most specific" rule would be some measure of the size of the substitution. I wonder what GHC and Coq do about overlapping rules...

comment:2 Changed 6 years ago by benl

  • Milestone 0.4.0 deleted

comment:3 Changed 22 months ago by benl

  • Type changed from enhancement to feature
Note: See TracTickets for help on using tickets.