Skip to content
This repository was archived by the owner on Feb 22, 2018. It is now read-only.

implement strong mode directly in analyzer #239

Closed
jmesserly opened this issue Jun 23, 2015 · 4 comments
Closed

implement strong mode directly in analyzer #239

jmesserly opened this issue Jun 23, 2015 · 4 comments

Comments

@jmesserly
Copy link
Contributor

ideally our type rules would fit into existing analyzer pass that is doing tree walks and validating expressions/overrides

CC @pq
@jmesserly
Copy link
Contributor Author

it sounds like we may want to try getting our subtype check into analyzer as an option, as that would remove some code duplication. Likely CodeChecker could completely go away.

@jmesserly jmesserly changed the title reconcile CodeChecker and ErrorVerifier implement strong mode directly in analyzer Jul 20, 2015
@jmesserly jmesserly mentioned this issue Jul 20, 2015
Closed
@jmesserly
Copy link
Contributor Author

updated subject based on discussions

This was referenced Jul 20, 2015
Closed
Closed
@jmesserly jmesserly mentioned this issue Jul 29, 2015
Closed
6 tasks
@jmesserly jmesserly mentioned this issue Aug 13, 2015
Closed
@leafpetersen leafpetersen self-assigned this Aug 20, 2015
@jmesserly
Copy link
Contributor Author

@vsmenon I think we can close this when your CL lands

@jmesserly jmesserly assigned vsmenon and unassigned leafpetersen Sep 22, 2015
@jmesserly
Copy link
Contributor Author

I'll dupe with #342

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@jmesserly @vsmenon @leafpetersen