Changeset 2721


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

Give the real error in the driver.

Location:
driver
Files:
1 added
3 edited

Legend:

Unmodified
Added
Removed
  • driver/build

    r2636 r2721  
    1111ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.mli
    1212ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.ml
    13 ocamlc -custom -g -I ../Deliverables/D2.2/8051/lib extracted.cmo  ../Deliverables/D2.2/8051/lib/libcparser.a ../Deliverables/D2.2/8051/lib/cparser.cma clightFromC.cmo clightParser.cmo exec.cmo -o exec
    14 ocamlc -custom -g -I ../Deliverables/D2.2/8051/lib extracted.cmo  ../Deliverables/D2.2/8051/lib/libcparser.a ../Deliverables/D2.2/8051/lib/cparser.cma clightFromC.cmo clightParser.cmo frontend.cmo -o frontend
     13ocamlc -custom -g -I ../Deliverables/D2.2/8051/lib extracted.cmo  ../Deliverables/D2.2/8051/lib/libcparser.a ../Deliverables/D2.2/8051/lib/cparser.cma clightFromC.cmo clightParser.cmo error.cmo exec.cmo -o exec
     14ocamlc -custom -g -I ../Deliverables/D2.2/8051/lib extracted.cmo  ../Deliverables/D2.2/8051/lib/libcparser.a ../Deliverables/D2.2/8051/lib/cparser.cma clightFromC.cmo clightParser.cmo error.cmo frontend.cmo -o frontend
  • 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
  • driver/frontend.ml

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