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.

Sign up for GitHub

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

Jump to bottom

atddiff: Add --backward and --forward filters #365

Closed
mjambon opened this issue Oct 17, 2023 · 0 comments · Fixed by #367
Closed

atddiff: Add --backward and --forward filters #365

mjambon opened this issue Oct 17, 2023 · 0 comments · Fixed by #367
Assignees
@mjambon
Labels
feature request Big and small feature requests target:json Issues related to all JSON backends

Comments

@mjambon
Copy link
Collaborator

mjambon commented Oct 17, 2023

The options --backward and --forward will cause atddiff to report only backward and forward incompatibilities, respectively.
@mjambon mjambon added feature request Big and small feature requests target:json Issues related to all JSON backends labels Oct 17, 2023
@mjambon mjambon self-assigned this Oct 17, 2023
@mjambon mjambon mentioned this issue Oct 18, 2023
Merged
3 tasks
mjambon added a commit to mjambon/opam-repository that referenced this issue Oct 19, 2023
@mjambon
[new release] atd (9 packages) (2.14.0)
c86d910 
CHANGES:

* atdd: Fix various issues with the interoperability of user defined types,
  used in or outside of records (ahrefs/atd#355)
* atdd: Generated `.d` files now have the suffix `_atd.d` (ahrefs/atd#355)
* atddiff now supports options for filtering the findings based on the
  direction of the incompatibility (`--backward`, `--forward`) or based on the
  name of the affected types (`--types`) (ahrefs/atd#365)
* atddiff: new option `--output-format json` for exporting the results to
  JSON (ahrefs/atd#360)
@mjambon mjambon mentioned this issue Oct 19, 2023
Merged
nberth pushed a commit to nberth/opam-repository that referenced this issue Jun 18, 2024
@mjambon @nberth
[new release] atd (9 packages) (2.14.0)
b888df5 
CHANGES:

* atdd: Fix various issues with the interoperability of user defined types,
  used in or outside of records (ahrefs/atd#355)
* atdd: Generated `.d` files now have the suffix `_atd.d` (ahrefs/atd#355)
* atddiff now supports options for filtering the findings based on the
  direction of the incompatibility (`--backward`, `--forward`) or based on the
  name of the affected types (`--types`) (ahrefs/atd#365)
* atddiff: new option `--output-format json` for exporting the results to
  JSON (ahrefs/atd#360)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mjambon mjambon

Labels
feature request Big and small feature requests target:json Issues related to all JSON backends
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

atddiff: Add --backward, --forward, --types filters ahrefs/atd
1 participant
@mjambon