Ignore:
Timestamp:
Jan 25, 2011, 5:30:36 PM (9 years ago)
Author:
campbell
Message:

Prevent clashes between names in AST and other parts of the development.
(Noticed when trying a large example file.)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/Csyntax.ma

    r474 r478  
    339339  data.  See module [AST] for more details. *)
    340340
    341 ndefinition program : Type ≝ program fundef type.
     341ndefinition clight_program : Type ≝ program fundef type.
    342342
    343343(* * * Operations over types *)
     
    890890(* * Translating Clight types to Cminor types, function signatures,
    891891  and external functions. *)
    892 (* XXX: is this the best way to access these? *)
    893 alias id "ASTint" = "cic:/matita/c-semantics/AST/typ.con(0,1,0)".
    894 alias id "ASTfloat" = "cic:/matita/c-semantics/AST/typ.con(0,2,0)".
    895892
    896893ndefinition typ_of_type : type → typ ≝ λt.
Note: See TracChangeset for help on using the changeset viewer.