Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixup constraints #2760

Open
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

Leonidas-from-XIV
Copy link
Contributor

While updating an older OPAM switch I realized that the versions that are installed are too old to successfully compile, so I had to add a few constraints on versions and add dependencies that were not declared before.

Older versions like 0.1.1 exit fail with this error:

```
File "tool/ood-gen/lib/success_story.ml", line 13, characters 12-79:
13 | [@@deriving of_yaml, stable_record ~version:t ~add:[ slug; body_md; body_html ]]
                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Ppxlib.Deriving: 'of_yaml' is not a supported type deriving generator
```
Previous versions fail with

```
File "tool/ood-gen/lib/academic_institution.ml", line 41, characters 53-79:
41 |       str ^ "T00:00:00+00:00" |> Ptime.of_rfc3339 |> Ptime.rfc3339_string_error
                                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound value Ptime.rfc3339_string_error
```
The old version 0.10.6 fails with

```
File "src/ocamlorg_web/lib/ocamlorg_web.ml", line 12, characters 35-69:
12 |   Mirage_crypto_rng_lwt.initialize (module Mirage_crypto_rng.Fortuna);
                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: This expression is packed module, but the expected type is unit
```

So this adds the dependency to the build files as well as to the OPAM
files.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants