Commit 5cefbfb5 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2002-11-11 23:10:17 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-11 23:10:17+00:00
parent fe97f725
......@@ -871,9 +871,17 @@ struct
(res, catch, rem) in
let pl = Array.map (List.map aux) pl in
Array.iteri (fun i o -> pl.(i) <- pl.(i) @ o) others;
if pl = plabs then `Absent else
(* if pl = plabs then `Absent else *)
(* TODO: Check that this is the good condition ....
Need condition on t ? *)
Need condition on t ?
No, it isn't a good condition:
match { x = "a" } : { x =? "a"|"b" } with
| { x = "b" } -> 1
| _ -> 0;;
Need to investigate ....
*)
dispatch_record_label disp t pl
......
......@@ -42,7 +42,7 @@ module I = struct
atoms = Atoms.empty;
chars = Chars.empty;
}
(*
let any = {
times = Boolean.full;
xml = Boolean.full;
......@@ -52,7 +52,7 @@ module I = struct
atoms = Atoms.any;
chars = Chars.any;
}
*)
let interval i = { empty with ints = i }
let times x y = { empty with times = Boolean.atom (x,y) }
......@@ -157,6 +157,7 @@ let cons d =
define n d;
internalize n
(*
let any_rec = cons { empty with record = Boolean.full }
let any_node = make ();;
define any_node {
......@@ -172,6 +173,7 @@ define any_node {
};;
internalize any_node;;
let any = descr any_node
*)
let neg x = diff any x
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment