Changeset 2439 for src/common/AST.ma


Ignore:
Timestamp:
Nov 7, 2012, 4:42:02 PM (8 years ago)
Author:
campbell
Message:

Get a proper reverse mapping of function blocks to identifiers by getting
rid of shadowing.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/AST.ma

    r2319 r2439  
    674674let rec match_funct_entry_inv (M:matching)
    675675  (P:∀vs,id,f,id',f'. Prop)
    676   (H:∀vs,id,f,id',f'. match_fundef M vs f f' → P vs id f id' f')
     676  (H:∀vs,id,f,f'. match_fundef M vs f f' → P vs id f id f')
    677677  vs id f id' f'
    678678  (MFE:match_funct_entry M vs vs 〈id,f〉 〈id',f'〉) on MFE : P vs id f id' f' ≝
Note: See TracChangeset for help on using the changeset viewer.