| 871 |
(res, catch, rem) in |
(res, catch, rem) in |
| 872 |
let pl = Array.map (List.map aux) pl in |
let pl = Array.map (List.map aux) pl in |
| 873 |
Array.iteri (fun i o -> pl.(i) <- pl.(i) @ o) others; |
Array.iteri (fun i o -> pl.(i) <- pl.(i) @ o) others; |
| 874 |
if pl = plabs then `Absent else |
(* if pl = plabs then `Absent else *) |
| 875 |
(* TODO: Check that this is the good condition .... |
(* TODO: Check that this is the good condition .... |
| 876 |
Need condition on t ? *) |
Need condition on t ? |
| 877 |
|
|
| 878 |
|
No, it isn't a good condition: |
| 879 |
|
match { x = "a" } : { x =? "a"|"b" } with |
| 880 |
|
| { x = "b" } -> 1 |
| 881 |
|
| _ -> 0;; |
| 882 |
|
Need to investigate .... |
| 883 |
|
*) |
| 884 |
|
|
| 885 |
dispatch_record_label disp t pl |
dispatch_record_label disp t pl |
| 886 |
|
|
| 887 |
|
|
Parent Directory
| 
Revision Log
| 
Patch