Skip to content

Small fixes for OxCaml - #358

Merged
c-cube merged 1 commit into
c-cube:mainfrom
vouillon:oxcaml
Oct 24, 2025
Merged

Small fixes for OxCaml#358
c-cube merged 1 commit into
c-cube:mainfrom
vouillon:oxcaml

Conversation

@vouillon

Copy link
Copy Markdown
Contributor

Somehow, OxCaml does not like these partial applications:

File "src/core/QCheck.ml", line 1266, characters 45-55:
1266 |   let small = _opt_map_or ~d:Array.length ~f:array_sum_ a.small in
                                                    ^^^^^^^^^^
Error: This expression has type ('a -> int) -> 'a array -> int
       but an expression was expected of type
         ('a -> int) -> 'b array @ immutable -> int
       Type 'a array -> int is not compatible with type
         'b array @ immutable -> int

@c-cube
c-cube merged commit b54ff22 into c-cube:main Oct 24, 2025
21 checks passed
@c-cube

c-cube commented Oct 24, 2025

Copy link
Copy Markdown
Owner

Thank you, that's very reasonable :)

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