File tree Expand file tree Collapse file tree 4 files changed +6
-6
lines changed Expand file tree Collapse file tree 4 files changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -322,7 +322,7 @@ type f7_4 = [ `A of t_float64 ];;
322
322
Line 1 , characters 20-29 :
323
323
1 | type f7_4 = [ `A of t_float64 ];;
324
324
^^^^^^^^^
325
- Error : Polymorpic variant constructor argument types must have layout value.
325
+ Error : Polymorphic variant constructor argument types must have layout value.
326
326
t_float64 has layout float64, which is not a sublayout of value.
327
327
| }];;
328
328
Original file line number Diff line number Diff line change 447
447
Line 2 , characters 40-46 :
448
448
2 | type foo1 = [ `Foo1 of int | `Baz1 of t_void | `Bar1 of string ];;
449
449
^^^^^^
450
- Error : Polymorpic variant constructor argument types must have layout value.
450
+ Error : Polymorphic variant constructor argument types must have layout value.
451
451
t_void has layout void, which is not a sublayout of value.
452
452
| }];;
453
453
@@ -501,7 +501,7 @@ end;;
501
501
Line 2 , characters 17-23 :
502
502
2 | val x : [`A of t_void ]
503
503
^^^^^^
504
- Error : Polymorpic variant constructor argument types must have layout value .
504
+ Error : Polymorphic variant constructor argument types must have layout value .
505
505
t_void has layout void , which is not a sublayout of value .
506
506
|}]
507
507
Original file line number Diff line number Diff line change 316
316
Line 2 , characters 40-49 :
317
317
2 | type foo1 = [ `Foo1 of int | `Baz1 of t_float64 | `Bar1 of string ];;
318
318
^^^^^^^^^
319
- Error : Polymorpic variant constructor argument types must have layout value.
319
+ Error : Polymorphic variant constructor argument types must have layout value.
320
320
t_float64 has layout float64, which is not a sublayout of value.
321
321
| }];;
322
322
@@ -368,7 +368,7 @@ end;;
368
368
Line 2 , characters 17-26 :
369
369
2 | val x : [`A of t_float64 ]
370
370
^^^^^^^^^
371
- Error : Polymorpic variant constructor argument types must have layout value .
371
+ Error : Polymorphic variant constructor argument types must have layout value .
372
372
t_float64 has layout float64 , which is not a sublayout of value .
373
373
|}]
374
374
Original file line number Diff line number Diff line change @@ -1369,7 +1369,7 @@ let report_error env ppf = function
1369
1369
let s =
1370
1370
match vloc with
1371
1371
| Tuple -> " Tuple element"
1372
- | Poly_variant -> " Polymorpic variant constructor argument"
1372
+ | Poly_variant -> " Polymorphic variant constructor argument"
1373
1373
| Package_constraint -> " Signature package constraint"
1374
1374
| Object_field -> " Object field"
1375
1375
in
You can’t perform that action at this time.
0 commit comments