Opened 4 years ago

Last modified 23 months ago

#347 new bug

Avoid name capture in dischargeConsWithElims

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

Description (last modified by benl)

The discharge process doesn't avoid name capture due to conflicting type names earlier in the list.

However, at the moment we only need to call it from the Curry transform, and that code at this point shouldn't have any shadowed type binders.

Change History (3)

comment:1 Changed 4 years ago by benl

  • Description modified (diff)
  • Milestone 0.4.2 deleted

comment:2 Changed 23 months ago by benl

  • Type changed from defect to bug

comment:3 Changed 23 months ago by benl

  • Component changed from Unknown to Core Transforms
Note: See TracTickets for help on using tickets.