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

    r453 r460  
    6868  | TFloat(k, a) ->
    6969      fprintf pp "%s%a%t" (name_of_fkind k) attributes a n
    70   | TPtr(t, a) ->
     70  | TPtr(_, t, a) -> (* XXX *)
    7171      let n' pp =
    7272        match t with
     
    7474        | _ -> fprintf pp " *%a%t" attributes a n in
    7575      dcl pp t n'
    76   | TArray(t, sz, a) ->
     76  | TArray(_, t, sz, a) -> (* XXX *)
    7777      let n' pp =
    7878        begin match a with
     
    354354  | Sseq(s1, s2) ->
    355355      {edesc = EBinop(Ocomma, exp_of_stmt s1, exp_of_stmt s2, TVoid []);
    356        etyp = TVoid []}
     356       etyp = TVoid [];
     357       espace = Any}
    357358  | Sif(e, s1, s2) ->
    358359      {edesc = EConditional(e, exp_of_stmt s1, exp_of_stmt s2);
    359        etyp = TVoid []}
     360       etyp = TVoid [];
     361       espace = Any}
    360362  | _ ->
    361363      raise Not_expr
     
    374376              exp (0, e) stmt_block s1
    375377  | Sif(e, {sdesc = Sskip}, s2) ->
    376       let not_e = {edesc = EUnop(Olognot, e); etyp = TInt(IInt, [])} in
     378      let not_e = {edesc = EUnop(Olognot, e); etyp = TInt(IInt, []); espace = Any} in
    377379      fprintf pp "@[<v 2>if (%a) {@ %a@;<0 -2>}@]"
    378380              exp (0, not_e) stmt_block s2
     
    456458  location pp g.gloc;
    457459  match g.gdesc with
    458   | Gdecl d ->
     460  | Gdecl (_, d) -> (* XXX *)
    459461      fprintf pp "%a@ @ " full_decl d
    460462  | Gfundef f ->
Note: See TracChangeset for help on using the changeset viewer.