Changeset 1224 for src/Clight/test


Ignore:
Timestamp:
Sep 16, 2011, 6:39:05 PM (8 years ago)
Author:
sacerdot
Message:

Type of programs in common/AST made more dependent.
In particular, the type of internal functions is now dependent on the
list of global variables. This is already used in the back-end to rule
out from the syntax programs that have free variables.

Note: only the test Clight/test/search.c.ma has been ported to the new type.
The porting requires two very minor changes.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/test/search.c.ma

    r1139 r1224  
    22include "common/Animation.ma".
    33
    4 definition myprog := mk_program clight_fundef ((list init_data) × type)
     4definition myprog := mk_program (λ_.clight_fundef) ((list init_data) × type)
     5  []
    56  [〈ident_of_nat 0 (* search *), CL_Internal (
    67     mk_function (Tint I8 Unsigned ) [〈ident_of_nat 4, (Tpointer Any (Tint I8 Unsigned ))〉 ; 〈ident_of_nat 5, (Tint I8 Unsigned )〉 ; 〈ident_of_nat 6, (Tint I8 Unsigned )〉 ] [〈ident_of_nat 1, (Tint I8 Unsigned )〉 ; 〈ident_of_nat 2, (Tint I8 Unsigned )〉 ; 〈ident_of_nat 3, (Tint I8 Unsigned )〉 ]
     
    181182  )〉]
    182183  (ident_of_nat 7)
    183   []
    184184.
    185185
Note: See TracChangeset for help on using the changeset viewer.