Introduce Type::Intersect function
authorrossberg@chromium.org <rossberg@chromium.org@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Thu, 20 Jun 2013 09:10:10 +0000 (09:10 +0000)
committerrossberg@chromium.org <rossberg@chromium.org@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Thu, 20 Jun 2013 09:10:10 +0000 (09:10 +0000)
commiteb099a1a8c9f4d6e17b8968eb5c41a0bff0f0075
tree6363b21e220da0b3d82f329109c55e73ebf86b82
parent0d409f5213744893cd21154793f72564a89fdac3
Introduce Type::Intersect function

Also, fix bugs in Type::Union and Type::Maybe.

(This subsumes the in-flight fix for Union in https://codereview.chromium.org/16925008/, including test cases).

R=svenpanne@chromium.org
BUG=

Review URL: https://codereview.chromium.org/17335003

git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@15224 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
src/types.cc
src/types.h
test/cctest/test-types.cc