Skip to content

fix test compilation in release mode#262

Merged
mtelvers merged 1 commit into
ocurrent:masterfrom
avsm:fix-value
May 12, 2026
Merged

fix test compilation in release mode#262
mtelvers merged 1 commit into
ocurrent:masterfrom
avsm:fix-value

Conversation

@avsm
Copy link
Copy Markdown
Member

@avsm avsm commented May 11, 2026

in release mode, ppx_expect is stripped out and this fails to build due to the value restriction:

File "test/test_scheduling.ml", line 870, characters 4-13:
870 | let pp_forget =
          ^^^^^^^^^
Error: The type of this expression,
       ('_weak1, [< `Still_connected | `Unknown_worker ] as '_weak2) result
       Fmt.t, contains the non-generalizable type variable(s): '_weak1,
       '_weak2. (see manual section 6.1.2)

An eta expansion suffices to fix it

in release mode, ppx_expect is stripped out and this fails to build
due to the value restriction:

```
File "test/test_scheduling.ml", line 870, characters 4-13:
870 | let pp_forget =
          ^^^^^^^^^
Error: The type of this expression,
       ('_weak1, [< `Still_connected | `Unknown_worker ] as '_weak2) result
       Fmt.t, contains the non-generalizable type variable(s): '_weak1,
       '_weak2. (see manual section 6.1.2)
```

An eta expansion suffices to fix it
@mtelvers mtelvers merged commit ce877b3 into ocurrent:master May 12, 2026
1 of 2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants