Opened 7 years ago

Closed 7 years ago

#282 closed defect (fixed)

Rewrite rule lookup code doesn't distinguish between name levels

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

Description (last modified by benl)

The lookupFromSubst function tries to lookup the same name from a map of level-1 names as well as level-0 names, but the same textual name can be used at both levels.

Eg: RULE [x : %] (x : Int x). ...

Change History (1)

comment:1 Changed 7 years ago by benl

  • Description modified (diff)
  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.