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

Improve terms defaults #337

Closed
wants to merge 1 commit into from

Conversation

apiraino
Copy link
Contributor

hey @ehuss 👋

this patch tries to implement your suggestion (see comment) implementing reasonable defaults for --term-old and --term-new.

I've tried doing something that would not lead to confusion but I find the implementation confusing the same 😄

Is it just me? Any suggestion on how to improve?

Thanks

The default values for --term-old and --term-new could use some
reasonable defaults, here the mapping:

| RegressOn | Old                       | New                     |
| --------------------------------------------------------------- |
| Error     | "Successfully compiles"   | "Compile error"         |
| Success   | "Compile error"           | "Successfully compiles" |
| Ice       | "Did not ICE"             | "Found ICE"             |
| NonIce    | "Found ICE"               | "Did not ICE"           |
| NonError  | "Compile error (no ICE)"  | "Successfully compiles" |

Suggested here:
rust-lang#330 (comment)
@ehuss
Copy link
Collaborator

ehuss commented May 30, 2024

Hm, doing some testing here I still find several situations where this displays the opposite of what it should.

For example, when testing something that fails to compile on old compilers, and compiles successfully on newer ones, and using the --regress=success flag, this PR changes it so that it always prints "Compile error" for both cases.

I posted #339 with what my intentions were about how the old/new terms could be defaulted based on the regression mode.

@ehuss
Copy link
Collaborator

ehuss commented Jun 17, 2024

Thanks @apiraino! I went ahead and merged #339, so I'm going to go ahead and close this. I appreciate you helping with this.

@ehuss ehuss closed this Jun 17, 2024
@apiraino apiraino deleted the improve-term-defaults branch June 18, 2024 09:24
@apiraino apiraino mentioned this pull request Jun 20, 2024
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