Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(199)

Unified Diff: src/typing.h

Issue 17842004: Derive synthetic type bounds for expressions (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: More precise addition Created 7 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « no previous file | src/typing.cc » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: src/typing.h
diff --git a/src/typing.h b/src/typing.h
index 2d3fac0650959cb9f6ac719b3973456510702b69..b37a0cba894242bf85ce7ec9b4a22c443a2f406a 100644
--- a/src/typing.h
+++ b/src/typing.h
@@ -68,6 +68,12 @@ class AstTyper: public AstVisitor {
void MergeUpperType(Expression* e, Handle<Type> t) {
e->set_upper_type(handle(Type::Intersect(e->upper_type(), t), isolate_));
}
+ void MergeLowerType(Expression* e, Type* t) {
+ MergeLowerType(e, handle(t, isolate_));
+ }
+ void MergeUpperType(Expression* e, Type* t) {
+ MergeUpperType(e, handle(t, isolate_));
+ }
void VisitDeclarations(ZoneList<Declaration*>* declarations);
void VisitStatements(ZoneList<Statement*>* statements);
« no previous file with comments | « no previous file | src/typing.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698