Package catala.0.7.0 #21959
Merged
Package catala.0.7.0 #21959
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
kit-ty-kate
reviewed
Aug 9, 2022
kit-ty-kate
reviewed
Aug 9, 2022
|
Thanks! |
orbitz
reviewed
Aug 11, 2022
| "obelisk" {cataladevmode} | ||
| "conf-npm" {cataladevmode} | ||
| "conf-python-3-dev" {cataladevmode} | ||
| "z3" {catalaz3mode} |
There was a problem hiding this comment.
This is breaking builds for me with the error:
undefined filter variable in dependencies of catala.0.7.0: catalaz3mode
There was a problem hiding this comment.
Hmm, could you explicit the opam version you're using, and what specific options ? E.g. maybe --strict ?
There was a problem hiding this comment.
(it would be fine to remove these dependencies for the opam repository, while keeping them in our source for devs — we expect to leverage the upcoming for-dev feature once it's available — but the undefined variables shouldn't stop opam from continuing in general)
There was a problem hiding this comment.
This should have been fixed in #21996. cc @na4zagin3 too
na4zagin3
added a commit
to na4zagin3/satyrographos-repo
that referenced
this pull request
Aug 15, 2022
This is to workaround an issue where `--strict` option has been letting the build failure since ocaml/opam-repository#21959 is merged.
na4zagin3
added a commit
to na4zagin3/satyrographos-repo
that referenced
this pull request
Aug 16, 2022
This is to workaround an issue where `--strict` option has been letting the build failure since ocaml/opam-repository#21959 is merged.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
catala.0.7.0Compiler and library for the literate programming language for tax code specification
Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. See https://catala-lang.org for more information
🐫 Pull-request generated by opam-publish v2.1.0