Ignore:
Timestamp:
Feb 21, 2013, 6:03:46 PM (7 years ago)
Author:
tranquil
Message:
  • in Arithmeticcs.ma: commented include that breaks script in latest matita
  • moved COST_LABEL out of joint_seq
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/joint_semantics.ma

    r2655 r2688  
    587587  [ sequential s nxt ⇒
    588588    match s return λ_.IO ??? with
    589     [ step_seq s ⇒ return next … nxt st
    590     | COND a l ⇒
     589    [ COND a l ⇒
    591590      ! v ← acca_retrieve … st a ;
    592591      ! b ← bool_of_beval … v ;
     
    597596    | CALL f args dest ⇒
    598597      eval_call … ge f args dest nxt st
     598    | _ ⇒ return next … nxt st
    599599    ]
    600600  | final s ⇒
Note: See TracChangeset for help on using the changeset viewer.