Changeset 725 for src/Clight/test/io.ma


Ignore:
Timestamp:
Mar 30, 2011, 4:16:08 PM (9 years ago)
Author:
campbell
Message:

Do some light manual disambiguation to make Clight examples go through more
easily.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/test/io.ma

    r717 r725  
    11include "Clight/Animation.ma".
    22
    3 definition myprog := mk_program fundef type
    4   [〈succ_pos_of_nat 0 (* dosomething *), External (succ_pos_of_nat 0) (Tcons (Tint I32 Signed  ) Tnil) (Tint I32 Signed  )〉;
    5   〈succ_pos_of_nat 1 (* main *), Internal (
     3definition myprog := mk_program clight_fundef type
     4  [〈succ_pos_of_nat 0 (* dosomething *), CL_External (succ_pos_of_nat 0) (Tcons (Tint I32 Signed  ) Tnil) (Tint I32 Signed  )〉;
     5  〈succ_pos_of_nat 1 (* main *), CL_Internal (
    66    mk_function (Tint I32 Signed  ) [] [〈succ_pos_of_nat 2, (Tint I32 Signed  )〉 ]
    77      (Ssequence
Note: See TracChangeset for help on using the changeset viewer.