Proper implementation of subtypeOf, strictSubtypeOf and couldBe over class hierarchies
commit97a2f06c1a87c8d99d50c1c1e0547c72915d1dba
authorDario Russi <drussi@fb.com>
Mon, 27 Jan 2014 19:53:20 +0000 (27 11:53 -0800)
committerSara Golemon <sgolemon@fb.com>
Tue, 4 Feb 2014 17:22:42 +0000 (4 09:22 -0800)
tree98e1be5c024397cabdb4aa16933cff336d9d946c
parentbe2bfbe09fad74e4245d62b7c21681061cfa6b93
Proper implementation of subtypeOf, strictSubtypeOf and couldBe over class hierarchies

Make class hierarchies take part in subclass and could be relationships

Reviewed By: @jdelong

Differential Revision: D1146681
hphp/hhbbc/index.cpp
hphp/hhbbc/index.h
hphp/hhbbc/test/type-system.cpp
hphp/hhbbc/type-system.cpp
hphp/hhbbc/type-system.h