Skip to content

Conversation

@dra27
Copy link
Contributor

@dra27 dra27 commented Oct 20, 2025

Minor tweak to catala.opam to test whether variables are defined before using them (compatible across all versions).

In particular, this then means that the opam file works in opam's --strict mode.

@AltGr
Copy link
Contributor

AltGr commented Oct 20, 2025

Hi 👋🏿 David! And thanks :)

@AltGr AltGr merged commit a6a3826 into CatalaLang:master Oct 20, 2025
5 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