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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
type t = {x: int; y: int}
let _ = {x= 1; y= 2}
let _ = {!e with a; b= c}
let _ = {!(f e) with a; b= c}
let _ =
{ !looooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
with
a
; b= c }
let _ =
{ !looooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
with
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
; b= c }
let _ = {(a : t) with a; b; c}
let _ = {(f a) with a; b; c}
let _ = {(a ; a) with a; b; c}
let _ = {(if x then e else e) with e1; e2}
let _ = {(match x with x -> e) with e1; e2}
let _ = {(x : x) with e1; e2}
let _ = {(x :> x) with e1; e2}
let _ = {(x#x) with e1; e2}
let f ~l:{f; g} = e
let f ?l:({f; g}) = e
let _ = {a; b= (match b with `A -> A | `B -> B | `C -> C : c); c}
let a () = A {A.a: t}
let x = {aaaaaaaaaa (* b *); b}
let x = {aaaaaaaaaa (* b *); b}
type t = {a: (module S); b: (module S)}
let _ = {a= (module M : S); b= (module M : S)}
let to_string {x; _ (* we should print y *)} = string_of_int x
let {x: t} = x
type t =
{ xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx:
YYYYYYYYYYYYYYYYYYYYY.t
(* ____________________________________ *) }
let _ =
let _ = function
| { foooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
; foooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo } ->
()
in
()
let foo
({ foooooooooooooooooooooo
; invalidation_trace
; access_trace
; must_be_valid_reason }
[@warning "+missing-record-field-pattern"] ) =
()
let x = (A B).a
let x = A (B).a
let x = (1).a
type 'a t = A : 'b. {a: 'a} -> 'a t
|
