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/Rename.ml

    r453 r460  
    7676
    7777let rec typ env = function
    78   | TPtr(ty, a) -> TPtr(typ env ty, a)
    79   | TArray(ty, sz, a) -> TArray(typ env ty, sz, a)
     78  | TPtr(sp, ty, a) -> TPtr(sp, typ env ty, a)
     79  | TArray(sp, ty, sz, a) -> TArray(sp, typ env ty, sz, a)
    8080  | TFun(res, None, va, a) -> TFun(typ env res, None, va, a)
    8181  | TFun(res, Some p, va, a) ->
     
    9898
    9999let rec exp env e =
    100   { edesc = exp_desc env e.edesc; etyp = typ env e.etyp }
     100  { edesc = exp_desc env e.edesc; etyp = typ env e.etyp; espace = e.espace }
    101101
    102102and exp_desc env = function
     
    192192
    193193and globdecl_desc env = function
    194   | Gdecl d ->
     194  | Gdecl (sp,d) ->
    195195      let (d', env') = decl env d in
    196       (Gdecl d', env')
     196      (Gdecl (sp,d'), env')
    197197  | Gfundef fd ->
    198198      let (fd', env') = fundef env fd in
     
    231231      let env' =
    232232        match dcl.gdesc with
    233         | Gdecl(sto, id, _, _) ->
     233        | Gdecl (_, (sto, id, _, _)) ->
    234234            begin match sto with
    235235            | Storage_default | Storage_extern -> enter_global env id
Note: See TracChangeset for help on using the changeset viewer.