Changeset 1141


Ignore:
Timestamp:
Aug 30, 2011, 3:33:30 PM (8 years ago)
Author:
sacerdot
Message:

Comment (about a bug) added.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/semantics.ma

    r1126 r1141  
    239239        ! evres ← do_io (ef_id fn) evargs (proj_sig_res (ef_sig fn));
    240240        (* CSC: return type changed from option to list *)
     241        (* CSC: XXX bug here; I think I should split it into Byte-long
     242           components; instead I am making a singleton out of it *)
    241243        ret ? 〈Eextcall (ef_id fn) evargs (mk_eventval ? evres), Returnstate [mk_val ? evres] dst fs m〉
    242244    ]
Note: See TracChangeset for help on using the changeset viewer.