Skip to content

Move states from the TypeChecker to the PostTypeChecker#8040

Merged
chriseth merged 3 commits intodevelopfrom
stateless-7566
Jan 8, 2020
Merged

Move states from the TypeChecker to the PostTypeChecker#8040
chriseth merged 3 commits intodevelopfrom
stateless-7566

Conversation

@Marenz
Copy link
Contributor

@Marenz Marenz commented Dec 17, 2019

closes #7566
based on #8038

This PR moves all states from the TypeChecker except the m_scope into the PostTypechecker.
I am not sure if we can and should remove m_scope as it seems rather heavily used in the class to do all kinds of analytics

@stackenbotten
Copy link

There was an error when running chk_coding_style for commit fb1464d402aca967db2e96cf7f781865d9147d49:

Coding style error:
 libsolidity/analysis/PostTypeChecker.cpp:318: )

Please check that your changes are working as intended.

{
m_errorReporter.typeError(
_identifier.location(),
"Modifier can only be referenced in function headers."
Copy link
Contributor

Choose a reason for hiding this comment

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

This is a check that makes sense to do before the type checker. It is more like a syntax check, only that it needs the reference resolver.

Copy link
Contributor

Choose a reason for hiding this comment

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

Ah maybe it's fine - the other checks are also all of that type.

@chriseth
Copy link
Contributor

chriseth commented Jan 8, 2020

Will rebase.

@chriseth chriseth merged commit 589feb9 into develop Jan 8, 2020
@chriseth chriseth deleted the stateless-7566 branch January 8, 2020 13:20
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.

Move all context-dependent code from TypeChecker to a new class

3 participants

Comments