Changeset 426 for Deliverables


Ignore:
Timestamp:
Dec 15, 2010, 5:00:01 PM (9 years ago)
Author:
mulligan
Message:

Changes to ocaml code and makefile.

Location:
Deliverables/D4.1
Files:
1 edited
2 moved

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Makefile

    r138 r426  
    11all:
    2         ocamlbuild -cflags "-w Ae" test.native
     2        ocamlbuild -cflags "-w Ae" Test.native ToMatita.native
    33
    44.PHONY: all
  • Deliverables/D4.1/ToMatita.ml

    r393 r426  
    1010  let rec aux status pc =
    1111    let instr, pc', cost = ASMInterpret.fetch status.ASMInterpret.code_memory pc in
    12       prerr_string $ (pp_matita_instruction instr);
     12      print_string $ (pp_matita_instruction instr);
    1313      if int_of_vect pc' <= 200 then (* DPM: hardcoded on a case-by-case basis *)
    1414       begin
    15         prerr_string ";\n  ";
     15        print_string ";\n  ";
    1616        aux status pc'
    1717       end
     
    1919    aux status status.ASMInterpret.pc
    2020in
    21  prerr_string "include \"Interpret.ma\".\n\nndefinition test: List instruction ≝\n [";
     21 print_string "include \"Interpret.ma\".\n\nndefinition test: List instruction ≝\n [";
    2222 mem_pretty_print status;
    23  prerr_endline "].\n @.\nnqed."
     23 print_endline "].\n @.\nnqed."
    2424;;
Note: See TracChangeset for help on using the changeset viewer.