Changeset 2721 for driver/exec.ml


Ignore:
Timestamp:
Feb 23, 2013, 5:05:02 PM (8 years ago)
Author:
campbell
Message:

Give the real error in the driver.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/exec.ml

    r2620 r2721  
    66    (match Extracted.Cexec.exec_step g s with
    77    | Extracted.IOMonad.Value x -> run g (Extracted.Types.snd x)
    8     | _ -> failwith "oh dear")
     8    | Extracted.IOMonad.Wrong m -> failwith (Error.errormsg m)
     9    | _ -> failwith "unexpected interaction")
    910  | Extracted.Types.Some r -> r)
    1011
Note: See TracChangeset for help on using the changeset viewer.