Ignore:
Timestamp:
Jan 19, 2011, 6:23:27 PM (9 years ago)
Author:
campbell
Message:

Port memory spaces changes to latest prototype compiler.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.3/8051-memoryspaces-branch/cparser/Cleanup.ml

    r453 r460  
    4141
    4242let rec add_typ = function
    43   | TPtr(ty, _) -> add_typ ty
    44   | TArray(ty, _, _) -> add_typ ty
     43  | TPtr(_, ty, _) -> add_typ ty
     44  | TArray(_, ty, _, _) -> add_typ ty
    4545  | TFun(res, None, _, _) -> add_typ res
    4646  | TFun(res, Some params, _, _) -> add_typ res; add_vars params
     
    121121  | g :: rem ->
    122122      match g.gdesc with
    123       | Gdecl decl when visible_decl decl ->
     123      | Gdecl (_,decl) when visible_decl decl ->
    124124          add_decl decl; add_init_globdecls accu rem
    125125      | Gfundef({fd_storage = Storage_default} as f) ->
     
    136136  | g :: rem ->
    137137      match g.gdesc with
    138       | Gdecl((sto, id, ty, init) as decl) ->
     138      | Gdecl(_, ((sto, id, ty, init) as decl)) ->
    139139          if needed id
    140140          then (add_decl decl; add_needed_globdecls accu rem)
     
    175175      let need =
    176176        match g.gdesc with
    177         | Gdecl((sto, id, ty, init) as decl) -> visible_decl decl || needed id
     177        | Gdecl(_, ((sto, id, ty, init) as decl)) -> visible_decl decl || needed id
    178178        | Gfundef f -> f.fd_storage = Storage_default || needed f.fd_name
    179179        | Gcompositedecl(_, id) -> needed id
Note: See TracChangeset for help on using the changeset viewer.