-
Notifications
You must be signed in to change notification settings - Fork 464
/
Copy pathUncurriedByDefault.res.txt
111 lines (111 loc) · 4.96 KB
/
UncurriedByDefault.res.txt
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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
let cApp = foo 3
let uApp = foo 3
let cFun [arity:1]x = 3
let uFun [arity:1]x = 3
let mixFun [arity:3]a b c [arity:3]d e f [arity:2]g h = 4
let bracesFun [arity:1]x [arity:1]y = x + y
let cFun2 [arity:2]x y = 3
let uFun2 [arity:2]x y = 3
type nonrec cTyp = string -> int (a:1)
type nonrec uTyp = string -> int (a:1)
type nonrec mixTyp =
string ->
string ->
string ->
string -> string -> string -> string -> string -> int (a:2) (a:3) (a:3)
type nonrec bTyp = string -> string -> int (a:1) (a:1)
type nonrec cTyp2 = string -> string -> int (a:2)
type nonrec uTyp2 = string -> string -> int (a:2)
type nonrec cu = unit -> int (a:1)
type nonrec cp = unit -> int (a:1)
type nonrec cuu = unit -> unit -> int (a:1) (a:1)
type nonrec cpu = unit -> unit -> int (a:1) (a:1)
type nonrec cup = unit -> unit -> int (a:1) (a:1)
type nonrec cpp = unit -> unit -> int (a:1) (a:1)
type nonrec cu2 = unit -> unit -> unit (a:2)
type nonrec cp2 = unit -> unit -> unit (a:2)
type nonrec uu = unit -> int (a:1)
type nonrec up = unit -> int (a:1)
type nonrec uuu = unit -> unit -> int (a:1) (a:1)
type nonrec upu = unit -> unit -> int (a:1) (a:1)
type nonrec uup = unit -> unit -> int (a:1) (a:1)
type nonrec upp = unit -> unit -> int (a:1) (a:1)
type nonrec uu2 = unit -> unit -> unit (a:2)
type nonrec up2 = unit -> unit -> unit (a:2)
type nonrec cnested = (string -> unit (a:1)) -> unit (a:1)
type nonrec unested = (string -> unit (a:1)) -> unit (a:1)
let (uannpoly : 'a -> string (a:1)) = xx
let (uannint : int -> string (a:1)) = xx
let _ = ((fun [arity:1]x -> 34)[@att ])
let _ = ((fun [arity:1]x -> 34)[@res.async ][@att ])
let _ = preserveAttr ((fun [arity:1]x -> 34)[@att ])
let _ = preserveAttr ((fun [arity:1]x -> 34)[@res.async ][@att ])
let t0 (type a) (type b) [arity:2](l : a list) (x : a) = x :: l
let t1 (type a) (type b) [arity:2](l : a list) (x : a) = x :: l
let t2 (type a) (type b) [arity:2](l : a list) (x : a) = x :: l
let t3 (type a) (type b) [arity:2](l : a list) (x : a) = x :: l
let t4 (type a) (type b) [arity:1]() [arity:2](l : a list) (x : a) = x :: l
let t5 (type a) (type b) [arity:1]() [arity:2](l : a list) (x : a) = x :: l
let t6 (type a) (type b) [arity:1]() [arity:2](l : a list) (x : a) = x :: l
type nonrec arrowPath1 = int -> string (a:1)
type nonrec arrowPath2 = I.t -> string (a:1)
type nonrec arrowPath3 = int -> string (a:1)
type nonrec arrowPath4 = I.t -> string (a:1)
type nonrec callback1 = (ReactEvent.Mouse.t -> unit (a:1)) as 'callback
type nonrec callback2 = ReactEvent.Mouse.t -> unit as 'u (a:1)
type nonrec callback3 = (ReactEvent.Mouse.t -> unit (a:1)) as 'callback
let cApp = foo 3
let uApp = foo 3
let cFun [arity:1]x = 3
let uFun [arity:1]x = 3
let mixFun [arity:1]a [arity:2]b c [arity:3]d e f [arity:1]g [arity:1]h = 4
let bracesFun [arity:1]x [arity:1]y = x + y
let cFun2 [arity:2]x y = 3
let uFun2 [arity:2]x y = 3
let cFun2Dots [arity:2]x y = 3
type nonrec cTyp = string -> int (a:1)
type nonrec uTyp = string -> int (a:1)
type nonrec mixTyp =
string ->
string ->
string ->
string -> string -> string -> string -> string -> int (a:1) (a:4) (a:2) (a:1)
type nonrec bTyp = string -> string -> int (a:1) (a:1)
type nonrec cTyp2 = string -> string -> int (a:2)
type nonrec uTyp2 = string -> string -> int (a:2)
type nonrec cu = unit -> int (a:1)
type nonrec cp = unit -> int (a:1)
type nonrec cuu = unit -> unit -> int (a:1) (a:1)
type nonrec cpu = unit -> unit -> int (a:1) (a:1)
type nonrec cup = unit -> unit -> int (a:1) (a:1)
type nonrec cpp = unit -> unit -> int (a:1) (a:1)
type nonrec cu2 = unit -> unit -> unit (a:2)
type nonrec cp2 = unit -> unit -> unit (a:2)
type nonrec uu = unit -> int (a:1)
type nonrec up = unit -> int (a:1)
type nonrec uuu = unit -> unit -> int (a:1) (a:1)
type nonrec upu = unit -> unit -> int (a:1) (a:1)
type nonrec uup = unit -> unit -> int (a:1) (a:1)
type nonrec upp = unit -> unit -> int (a:1) (a:1)
type nonrec uu2 = unit -> unit -> unit (a:2)
type nonrec up2 = unit -> unit -> unit (a:2)
type nonrec cnested = (string -> unit (a:1)) -> unit (a:1)
type nonrec unested = (string -> unit (a:1)) -> unit (a:1)
let pipe1 = 3 |.u f
let (uannpoly : 'a -> string (a:1)) = xx
let (uannint : int -> string (a:1)) = xx
let _ = ((fun [arity:1]x -> 34)[@att ])
let _ = ((fun [arity:1]x -> 34)[@res.async ][@att ])
let _ = preserveAttr ((fun [arity:1]x -> 34)[@att ])
let _ = preserveAttr ((fun [arity:1]x -> 34)[@res.async ][@att ])
let t0 (type a) (type b) [arity:2](l : a list) (x : a) = x :: l
let t1 (type a) (type b) [arity:2](l : a list) (x : a) = x :: l
let t2 (type a) (type b) [arity:2](l : a list) (x : a) = x :: l
let t3 (type a) (type b) [arity:2](l : a list) (x : a) = x :: l
type nonrec arrowPath1 = int -> string (a:1)
type nonrec arrowPath2 = I.t -> string (a:1)
type nonrec arrowPath3 = int -> string (a:1)
type nonrec arrowPath4 = I.t -> string (a:1)
type nonrec callback1 = (ReactEvent.Mouse.t -> unit (a:1)) as 'callback
type nonrec callback2 = ReactEvent.Mouse.t -> unit as 'u (a:1)
type nonrec callback3 = (ReactEvent.Mouse.t -> unit (a:1)) as 'callback