| 561 |
struct |
struct |
| 562 |
type t = descr |
type t = descr |
| 563 |
let hash = hash_descr |
let hash = hash_descr |
| 564 |
let equal = (=) |
let equal = equal_descr |
| 565 |
end |
end |
| 566 |
) |
) |
| 567 |
|
|
| 614 |
let name = DescrHash.find named d in |
let name = DescrHash.find named d in |
| 615 |
Format.fprintf ppf "%s" name |
Format.fprintf ppf "%s" name |
| 616 |
with Not_found -> |
with Not_found -> |
| 617 |
|
try |
| 618 |
match !(DescrHash.find marks d) with |
match !(DescrHash.find marks d) with |
| 619 |
| Some n -> Format.fprintf ppf "%s" n |
| Some n -> Format.fprintf ppf "%s" n |
| 620 |
| None -> real_print_descr ppf d |
| None -> real_print_descr ppf d |
| 621 |
|
with |
| 622 |
|
Not_found -> Format.fprintf ppf "XXX" |
| 623 |
and real_print_descr ppf d = |
and real_print_descr ppf d = |
| 624 |
if d = any then Format.fprintf ppf "Any" else |
if d = any then Format.fprintf ppf "Any" else |
| 625 |
print_union ppf |
print_union ppf |
| 744 |
end |
end |
| 745 |
|
|
| 746 |
|
|
| 747 |
|
module Int = struct |
| 748 |
|
let get d = d.ints |
| 749 |
|
let put i = { empty with ints = i } |
| 750 |
|
let is_int d = is_empty { d with ints = Intervals.empty } |
| 751 |
|
let any = { empty with ints = Intervals.any } |
| 752 |
|
end |
| 753 |
|
|
| 754 |
(* |
(* |
| 755 |
let rec print_normal_record ppf = function |
let rec print_normal_record ppf = function |
Parent Directory
| 
Revision Log
| 
Patch