Skip to content

Commit a9118dd

Browse files
EmileTrotignonEmileTrotignon
committed
add more test
1 parent b0e0d61 commit a9118dd

17 files changed

+332
-0
lines changed

‎test/passing/refs.ahrefs/break_fun_decl-fit_or_vertical.ml.ref‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -148,3 +148,24 @@ let new_specialised_args =
148148
:
149149
Flambda.specialised_to
150150
-> ())
151+
152+
(* With a label it is actually consistent *)
153+
154+
let new_specialised_args =
155+
Variable.Map.mapi
156+
~a:(fun
157+
new_inner_var______
158+
(definition : Definition.t)
159+
:
160+
Flambda.specialised_to
161+
-> ())
162+
foo
163+
164+
let new_specialised_args =
165+
Variable.Map.mapi
166+
~a:(fun
167+
new_inner_var______
168+
(definition : Definition.t)
169+
:
170+
Flambda.specialised_to
171+
-> ())

‎test/passing/refs.ahrefs/break_fun_decl-smart.ml.ref‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -141,3 +141,24 @@ let new_specialised_args =
141141
:
142142
Flambda.specialised_to
143143
-> ())
144+
145+
(* With a label it is actually consistent *)
146+
147+
let new_specialised_args =
148+
Variable.Map.mapi
149+
~a:(fun
150+
new_inner_var______
151+
(definition : Definition.t)
152+
:
153+
Flambda.specialised_to
154+
-> ())
155+
foo
156+
157+
let new_specialised_args =
158+
Variable.Map.mapi
159+
~a:(fun
160+
new_inner_var______
161+
(definition : Definition.t)
162+
:
163+
Flambda.specialised_to
164+
-> ())

‎test/passing/refs.ahrefs/break_fun_decl-wrap.ml.ref‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -122,3 +122,24 @@ let new_specialised_args =
122122
:
123123
Flambda.specialised_to
124124
-> ())
125+
126+
(* With a label it is actually consistent *)
127+
128+
let new_specialised_args =
129+
Variable.Map.mapi
130+
~a:(fun
131+
new_inner_var______
132+
(definition : Definition.t)
133+
:
134+
Flambda.specialised_to
135+
-> ())
136+
foo
137+
138+
let new_specialised_args =
139+
Variable.Map.mapi
140+
~a:(fun
141+
new_inner_var______
142+
(definition : Definition.t)
143+
:
144+
Flambda.specialised_to
145+
-> ())

‎test/passing/refs.ahrefs/break_fun_decl.ml.ref‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -122,3 +122,24 @@ let new_specialised_args =
122122
:
123123
Flambda.specialised_to
124124
-> ())
125+
126+
(* With a label it is actually consistent *)
127+
128+
let new_specialised_args =
129+
Variable.Map.mapi
130+
~a:(fun
131+
new_inner_var______
132+
(definition : Definition.t)
133+
:
134+
Flambda.specialised_to
135+
-> ())
136+
foo
137+
138+
let new_specialised_args =
139+
Variable.Map.mapi
140+
~a:(fun
141+
new_inner_var______
142+
(definition : Definition.t)
143+
:
144+
Flambda.specialised_to
145+
-> ())

‎test/passing/refs.default/break_fun_decl-fit_or_vertical.ml.ref‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -148,3 +148,24 @@ let new_specialised_args =
148148
:
149149
Flambda.specialised_to
150150
-> ())
151+
152+
(* With a label it is actually consistent *)
153+
154+
let new_specialised_args =
155+
Variable.Map.mapi
156+
~a:(fun
157+
new_inner_var______
158+
(definition : Definition.t)
159+
:
160+
Flambda.specialised_to
161+
-> ())
162+
foo
163+
164+
let new_specialised_args =
165+
Variable.Map.mapi
166+
~a:(fun
167+
new_inner_var______
168+
(definition : Definition.t)
169+
:
170+
Flambda.specialised_to
171+
-> ())

‎test/passing/refs.default/break_fun_decl-smart.ml.ref‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -141,3 +141,24 @@ let new_specialised_args =
141141
:
142142
Flambda.specialised_to
143143
-> ())
144+
145+
(* With a label it is actually consistent *)
146+
147+
let new_specialised_args =
148+
Variable.Map.mapi
149+
~a:(fun
150+
new_inner_var______
151+
(definition : Definition.t)
152+
:
153+
Flambda.specialised_to
154+
-> ())
155+
foo
156+
157+
let new_specialised_args =
158+
Variable.Map.mapi
159+
~a:(fun
160+
new_inner_var______
161+
(definition : Definition.t)
162+
:
163+
Flambda.specialised_to
164+
-> ())

‎test/passing/refs.default/break_fun_decl-wrap.ml.ref‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -122,3 +122,24 @@ let new_specialised_args =
122122
:
123123
Flambda.specialised_to
124124
-> ())
125+
126+
(* With a label it is actually consistent *)
127+
128+
let new_specialised_args =
129+
Variable.Map.mapi
130+
~a:(fun
131+
new_inner_var______
132+
(definition : Definition.t)
133+
:
134+
Flambda.specialised_to
135+
-> ())
136+
foo
137+
138+
let new_specialised_args =
139+
Variable.Map.mapi
140+
~a:(fun
141+
new_inner_var______
142+
(definition : Definition.t)
143+
:
144+
Flambda.specialised_to
145+
-> ())

‎test/passing/refs.default/break_fun_decl.ml.ref‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -122,3 +122,24 @@ let new_specialised_args =
122122
:
123123
Flambda.specialised_to
124124
-> ())
125+
126+
(* With a label it is actually consistent *)
127+
128+
let new_specialised_args =
129+
Variable.Map.mapi
130+
~a:(fun
131+
new_inner_var______
132+
(definition : Definition.t)
133+
:
134+
Flambda.specialised_to
135+
-> ())
136+
foo
137+
138+
let new_specialised_args =
139+
Variable.Map.mapi
140+
~a:(fun
141+
new_inner_var______
142+
(definition : Definition.t)
143+
:
144+
Flambda.specialised_to
145+
-> ())

‎test/passing/refs.janestreet/break_fun_decl-fit_or_vertical.ml.ref‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -161,3 +161,18 @@ let new_specialised_args =
161161
Variable.Map.mapi
162162
(fun new_inner_var______ (definition : Definition.t) : Flambda.specialised_to -> ())
163163
;;
164+
165+
(* With a label it is actually consistent *)
166+
167+
let new_specialised_args =
168+
Variable.Map.mapi
169+
~a:(fun new_inner_var______ (definition : Definition.t) : Flambda.specialised_to ->
170+
())
171+
foo
172+
;;
173+
174+
let new_specialised_args =
175+
Variable.Map.mapi
176+
~a:(fun new_inner_var______ (definition : Definition.t) : Flambda.specialised_to ->
177+
())
178+
;;

‎test/passing/refs.janestreet/break_fun_decl-smart.ml.ref‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -148,3 +148,18 @@ let new_specialised_args =
148148
Variable.Map.mapi
149149
(fun new_inner_var______ (definition : Definition.t) : Flambda.specialised_to -> ())
150150
;;
151+
152+
(* With a label it is actually consistent *)
153+
154+
let new_specialised_args =
155+
Variable.Map.mapi
156+
~a:(fun new_inner_var______ (definition : Definition.t) : Flambda.specialised_to ->
157+
())
158+
foo
159+
;;
160+
161+
let new_specialised_args =
162+
Variable.Map.mapi
163+
~a:(fun new_inner_var______ (definition : Definition.t) : Flambda.specialised_to ->
164+
())
165+
;;

0 commit comments

Comments
 (0)