| 42 |
*) |
*) |
| 43 |
Schema_validator.validate ~validator |
Schema_validator.validate ~validator |
| 44 |
(Schema_xml.pxp_stream_of_value (eval env e)) |
(Schema_xml.pxp_stream_of_value (eval env e)) |
| 45 |
|
| Typed.Ref (e,t) -> |
| 46 |
|
let r = ref (eval env e) in |
| 47 |
|
let get = |
| 48 |
|
Abstraction ([Sequence.nil_type, Types.descr t], fun _ -> !r) |
| 49 |
|
and set = |
| 50 |
|
Abstraction |
| 51 |
|
([Types.descr t, Sequence.nil_type], fun x -> r := x; nil) in |
| 52 |
|
Record (Builtin_defs.mk_ref ~get ~set) |
| 53 |
|
|
| 54 |
|
|
| 55 |
and eval_try env arg brs = |
and eval_try env arg brs = |
| 56 |
try eval env arg |
try eval env arg |