blob: abe587634c20ad9748d1a9c79a24fc4834729be3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
let property (type t) () =
let module M = struct exception E of t end in
(fun x -> M.E x), (function M.E x -> Some x | _ -> None)
;;
let () =
let (int_inj, int_proj) = property () in
let (string_inj, string_proj) = property () in
let i = int_inj 3 in
let s = string_inj "abc" in
Printf.printf "%b\n%!" (int_proj i = None);
Printf.printf "%b\n%!" (int_proj s = None);
Printf.printf "%b\n%!" (string_proj i = None);
Printf.printf "%b\n%!" (string_proj s = None)
;;
let sort_uniq (type s) cmp l =
let module S = Set.Make(struct type t = s let compare = cmp end) in
S.elements (List.fold_right S.add l S.empty)
;;
let () =
print_endline (String.concat "," (sort_uniq compare [ "abc"; "xyz"; "abc" ]))
;;
let f x (type a) (y : a) = (x = y);; (* Fails *)
class ['a] c = object (self)
method m : 'a -> 'a = fun x -> x
method n : 'a -> 'a = fun (type g) (x:g) -> self#m x
end;; (* Fails *)
|
