Changeset 2929


Ignore:
Timestamp:
Mar 21, 2013, 7:13:48 PM (7 years ago)
Author:
sacerdot
Message:

Bug fixed: the coercion mechanism made you think that the CALL case was
handled, while it was not.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/joint/Traces.ma

    r2824 r2929  
    173173  [ sequential s next ⇒
    174174    match s with
    175     [ step_seq s ⇒
    176       match s with
    177       [ CALL f' args dest ⇒
    178         function_of_call … (ev_genv p) st f'
    179       | _ ⇒ Error … [ ]
    180       ]
     175    [ CALL f' args dest ⇒ function_of_call … (ev_genv p) st f'
    181176    | _ ⇒ Error … [ ]
    182177    ]
Note: See TracChangeset for help on using the changeset viewer.