Ignore:
Timestamp:
Jan 4, 2012, 7:19:09 PM (8 years ago)
Author:
campbell
Message:

Update Cminor pretty printer and examples.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/clightPrintMatita.ml

    r1226 r1633  
    265265              print_stmt s1
    266266              print_stmt s2
    267   | Swhile(e, s) ->
     267  | Swhile(_, e, s) ->
    268268      fprintf p "@[<v 2>(Swhile %a@ %a)@]"
    269269              print_expr e
    270270              print_stmt s
    271   | Sdowhile(e, s) ->
     271  | Sdowhile(_, e, s) ->
    272272      fprintf p "@[<v 2>S(dowhile %a@ %a)@]"
    273273              print_expr e
    274274              print_stmt s
    275   | Sfor(s_init, e, s_iter, s_body) ->
     275  | Sfor(_, s_init, e, s_iter, s_body) ->
    276276      fprintf p "@[<v 2>(Sfor %a@ %a@ %a@\n%a@;<0 -2>)@]"
    277277              print_stmt s_init
     
    417417  | Ssequence(s1, s2) -> collect_stmt s1; collect_stmt s2
    418418  | Sifthenelse(e, s1, s2) -> collect_expr e; collect_stmt s1; collect_stmt s2
    419   | Swhile(e, s) -> collect_expr e; collect_stmt s
    420   | Sdowhile(e, s) -> collect_stmt s; collect_expr e
    421   | Sfor(s_init, e, s_iter, s_body) ->
     419  | Swhile(_, e, s) -> collect_expr e; collect_stmt s
     420  | Sdowhile(_, e, s) -> collect_stmt s; collect_expr e
     421  | Sfor(_, s_init, e, s_iter, s_body) ->
    422422      collect_stmt s_init; collect_expr e;
    423423      collect_stmt s_iter; collect_stmt s_body
Note: See TracChangeset for help on using the changeset viewer.