2006-07-17 07:05:28 -07:00
|
|
|
function
|
|
|
|
| Some Some Some x -> x
|
|
|
|
(* | None None None x -> x *)
|
|
|
|
| _ -> assert false;;
|
|
|
|
|
|
|
|
fun None None None -> ();;
|
|
|
|
|
|
|
|
fun (Some None) None None -> ();;
|
|
|
|
|
2006-07-17 15:32:39 -07:00
|
|
|
let Some a = Some 42;;
|
|
|
|
let Some a :: y = [Some 42];;
|
|
|
|
let Some a, b = Some 42, 43;;
|
|
|
|
let (Some a), b = Some 42, 43;;
|
|
|
|
let Some a as b = let _ = b = 42 in Some 42;;
|
|
|
|
(* let Some (a as b) = let _ = b = None in Some 42;; *)
|
|
|
|
(* let Some (a as b) = let _ = b = 42 in Some 42;; *)
|
|
|
|
(* let (Some a) as b = let _ = b = 42 in Some 42;; *)
|
|
|
|
(* let (Some a) as b = let _ = b = None in Some 42;; *)
|
|
|
|
let Some a | Some a = Some 42;;
|
|
|
|
(* let Some 'a' .. 'b' = Some 'b';; *)
|
|
|
|
|
|
|
|
let rec f x y = ();;
|
|
|
|
|
|
|
|
fun x y -> ();;
|
|
|
|
|
|
|
|
fun x, y -> ()
|
|
|
|
|
|
|
|
function x, y -> ();;
|
|
|
|
|
|
|
|
let rec next line pos0 = () in ();;
|
|
|
|
|
|
|
|
(* fun Some None None None -> ();; *)
|