Skip to content

Conversation

@danielsn
Copy link
Contributor

@danielsn danielsn commented Aug 12, 2021

Description of changes:

mod.rs was a mess. This moves the remaining code into properly named files.

Resolved issues:

Resolves #ISSUE-NUMBER

Call-outs:

Testing:

  • How is this change tested?

  • Is this a refactor change?

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • Methods or procedures are documented
  • Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

use rustc_middle::ty::{self, Instance, TyS};
use tracing::{debug, warn};

/// Utility to skip functions that can't currently be successfully codgenned.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think I agree with Ted that this makes more sense close to where it's used: whether we skip a function is a property of codegening the crate, not the function itself?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Its actually used in function.rs. But I agree that that's maybe not where you would expect to find it.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@danielsn danielsn merged commit 7a5556f into model-checking:main-154-2021-08-06 Aug 12, 2021
@danielsn danielsn deleted the backend branch August 12, 2021 19:34
tedinski pushed a commit to tedinski/rmc that referenced this pull request Apr 26, 2022
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.

3 participants