| 72 |
| Typed.Op ("print_xml", [e]) -> eval_print_xml (eval env e) |
| Typed.Op ("print_xml", [e]) -> eval_print_xml (eval env e) |
| 73 |
| Typed.Op ("print", [e]) -> eval_print (eval env e) |
| Typed.Op ("print", [e]) -> eval_print (eval env e) |
| 74 |
| Typed.Op ("int_of", [e]) -> eval_int_of (eval env e) |
| Typed.Op ("int_of", [e]) -> eval_int_of (eval env e) |
| 75 |
|
| Typed.Op ("atom_of", [e]) -> eval_atom_of (eval env e) |
| 76 |
| Typed.Op ("string_of", [e]) -> eval_string_of (eval env e) |
| Typed.Op ("string_of", [e]) -> eval_string_of (eval env e) |
| 77 |
| Typed.Op ("dump_to_file", [e1; e2]) -> |
| Typed.Op ("dump_to_file", [e1; e2]) -> |
| 78 |
eval_dump_to_file (eval env e1) (eval env e2) |
eval_dump_to_file (eval env e1) (eval env e2) |
| 202 |
try Integer (Intervals.mk s) |
try Integer (Intervals.mk s) |
| 203 |
with Failure _ -> raise exn_int_of |
with Failure _ -> raise exn_int_of |
| 204 |
|
|
| 205 |
|
and eval_atom_of e = |
| 206 |
|
let s = get_string_latin1 e in (* TODO: UTF-8 *) |
| 207 |
|
(* TODO: check that s is a correct Name wrt XML *) |
| 208 |
|
Atom (Atoms.mk s) |
| 209 |
|
|
| 210 |
and eval_print_xml v = |
and eval_print_xml v = |
| 211 |
string_latin1 (Print_xml.string_of_xml v) |
string_latin1 (Print_xml.string_of_xml v) |
| 212 |
|
|
Parent Directory
| 
Revision Log
| 
Patch