|
1 | 1 | (* TEST
|
2 | 2 | flags = "-extension-universe alpha";
|
3 |
| - include stdlib_stable; |
| 3 | + include stdlib_upstream_compatible; |
4 | 4 | expect;
|
5 | 5 | *)
|
6 | 6 | type t_non_null_value : non_null_value
|
@@ -287,33 +287,33 @@ Error: This expression has type 'a lazy_t
|
287 | 287 |
|
288 | 288 | (* Unboxed types are not values, so they are not non-null. *)
|
289 | 289 |
|
290 |
| -let _ = id_non_null_value (Stdlib_stable.Float_u.of_float 3.14) |
| 290 | +let _ = id_non_null_value (Stdlib_upstream_compatible.Float_u.of_float 3.14) |
291 | 291 | ;;
|
292 | 292 |
|
293 | 293 | [%%expect{|
|
294 |
| -Line 1, characters 26-63: |
295 |
| -1 | let _ = id_non_null_value (Stdlib_stable.Float_u.of_float 3.14) |
296 |
| - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
297 |
| -Error: This expression has type Stdlib_stable.Float_u.t = float# |
| 294 | +Line 1, characters 26-76: |
| 295 | +1 | let _ = id_non_null_value (Stdlib_upstream_compatible.Float_u.of_float 3.14) |
| 296 | + ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 297 | +Error: This expression has type Stdlib_upstream_compatible.Float_u.t = float# |
298 | 298 | but an expression was expected of type ('a : non_null_value)
|
299 |
| - The layout of Stdlib_stable.Float_u.t is float64, because |
| 299 | + The layout of Stdlib_upstream_compatible.Float_u.t is float64, because |
300 | 300 | it is the primitive float64 type float#.
|
301 |
| - But the layout of Stdlib_stable.Float_u.t must be a sublayout of non_null_value, because |
| 301 | + But the layout of Stdlib_upstream_compatible.Float_u.t must be a sublayout of non_null_value, because |
302 | 302 | of the definition of id_non_null_value at line 3, characters 4-21.
|
303 | 303 | |}]
|
304 | 304 |
|
305 |
| -let _ = id_non_null_value (Stdlib_stable.Int32_u.of_int 314) |
| 305 | +let _ = id_non_null_value (Stdlib_upstream_compatible.Int32_u.of_int 314) |
306 | 306 | ;;
|
307 | 307 |
|
308 | 308 | [%%expect{|
|
309 |
| -Line 1, characters 26-60: |
310 |
| -1 | let _ = id_non_null_value (Stdlib_stable.Int32_u.of_int 314) |
311 |
| - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
312 |
| -Error: This expression has type Stdlib_stable.Int32_u.t = int32# |
| 309 | +Line 1, characters 26-73: |
| 310 | +1 | let _ = id_non_null_value (Stdlib_upstream_compatible.Int32_u.of_int 314) |
| 311 | + ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 312 | +Error: This expression has type Stdlib_upstream_compatible.Int32_u.t = int32# |
313 | 313 | but an expression was expected of type ('a : non_null_value)
|
314 |
| - The layout of Stdlib_stable.Int32_u.t is bits32, because |
| 314 | + The layout of Stdlib_upstream_compatible.Int32_u.t is bits32, because |
315 | 315 | it is the primitive bits32 type int32#.
|
316 |
| - But the layout of Stdlib_stable.Int32_u.t must be a sublayout of non_null_value, because |
| 316 | + But the layout of Stdlib_upstream_compatible.Int32_u.t must be a sublayout of non_null_value, because |
317 | 317 | of the definition of id_non_null_value at line 3, characters 4-21.
|
318 | 318 | |}]
|
319 | 319 |
|
|
0 commit comments