Ignore:
Timestamp:
Jun 3, 2011, 5:35:30 PM (10 years ago)
Author:
campbell
Message:

Refine "AST" types to include size/signedness information.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/CexecSound.ma

    r797 r879  
    365365  [ //
    366366  | #ty #tys whd in ⊢ (???%)
    367     cases ty cases v // #v'
     367    cases ty cases v // #v' #sz try #sg
    368368    @bind_OK #evs #CHECK
    369369    @(evl_match_cons ??????? (P_res_to_P … CHECK)) //
Note: See TracChangeset for help on using the changeset viewer.