repo.or.cz
/
hiphop-php.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Correctly instantiate generic attributes for XHP
2016-06-05
Dwayne Ree
v
es
Cor
r
ectly instantia
t
e
gener
i
c att
r
ib
u
tes for XH
P
commit
|
commitdiff
|
tree
2016-06-02
Dwa
y
ne
R
e
eves
Include n
a
me of attribute
and class for
X
HP attrib
u
te
.
.
.
commit
|
commitdiff
|
tree
2016-04-10
Dwayne Re
e
ves
Reve
r
t u
s
ing shared_lis
t
.
ml for storing
e
r
r
ors
commit
|
commitdiff
|
tree
2016-04-05
Dwayne Reeves
D
elete f_mti
m
e field from Ast
.
fun
commit
|
commitdiff
|
tree
2016-03-11
D
w
ayne Reeves
D
o not allow muta
t
io
n
s of KeyedCon
t
ai
n
er or Indexis
h
commit
|
commitdiff
|
tree
2016-03-08
Dwayne
Reeves
Ban assig
n
me
n
t
b
y reference in stri
c
t mode
commit
|
commitdiff
|
tree
2016-03-08
Dwayne
Reeves
Allow type hi
n
ts for
variadic fu
n
ction in Hack
commit
|
commitdiff
|
tree
2016-03-03
Dwayn
e
Reeves
Correctly handle type_s
t
ructur
e
() resolut
i
on
f
or type
.
.
.
commit
|
commitdiff
|
tree
2016-02-28
Dwayne R
e
eves
Remo
v
e
typedef
fro
m
TypeIdHeap whe
n
de
l
eted
commit
|
commitdiff
|
tree
2016-02-27
Dwa
y
ne
R
eev
e
s
A
llow type
c
o
n
stan
t
s
defined in abstrac
t
final cl
a
s
ses
.
.
.
commit
|
commitdiff
|
tree
2016-02-19
Dwayne R
e
eves
Do not ignore declared variance o
f
generics with
const
r
aints
commit
|
commitdiff
|
tree
2016-01-28
D
w
ayne Reeve
s
In
v
oke
a
u
toloader
w
h
e
n
constructin
g
ReflectionType
A
l
i
a
s
.
.
.
commit
|
commitdiff
|
tree
2016-01-12
D
w
a
y
n
e Reeve
s
Do not attempt to auto
l
oad already loaded classes
commit
|
commitdiff
|
tree
2015-12-20
Dwayne Reeves
Pass FileInfo
.
f
a
s
t via argument
i
nstead of gl
o
bal storag
e
.
.
.
commit
|
commitdiff
|
tree
2015-12-20
Dw
a
yne Ree
v
e
s
Move NamingGlobal
.
GEnv to shared hash table
commit
|
commitdiff
|
tree
2015-12-20
D
w
ayne Ree
v
es
E
n
c
a
psul
a
te NamingG
l
obal
.
e
nv
as Namin
g
Global
.
GEn
v
commit
|
commitdiff
|
tree
2015-12-20
Dway
n
e
Reeves
Move creation of Namin
g
.
env to
its own
f
il
e
commit
|
commitdiff
|
tree
2015-12-04
Dwayne Reeves
Reduce numbe
r
of worke
r
s used in Type-check
p
hase fo
r
.
.
.
commit
|
commitdiff
|
tree
2015-10-23
D
wa
y
ne Reeves
Make Call-time Pass-
b
y
-referen
c
e a Parse error
commit
|
commitdiff
|
tree
2015-10-17
Dwayne R
e
eves
Do not attempt
t
o
spe
c
i
a
lize TypeStr
u
cture's type
for
.
.
.
commit
|
commitdiff
|
tree
2015-10-15
Dwayne Reeves
Check f
o
r recru
s
ive Tvars in
T
yping_subtype
.
sub_string
commit
|
commitdiff
|
tree
2015-10-14
Dwa
y
n
e Reeves
Improve Ty
p
ing of Type
S
t
ru
c
t
u
re<T
>
commit
|
commitdiff
|
tree
2015-10-09
D
wayne Ree
v
es
Add type checker support f
o
r typename
<
T>
commit
|
commitdiff
|
tree
2015-10-08
Dw
a
yne
R
e
ev
e
s
Autoimport
s
upport
in typ
e
checker for type s
t
ructure
.
.
.
commit
|
commitdiff
|
tree
2015-09-29
Dwayne
Reeves
Prop
e
rl
y
resolve generi
c
s f
o
r ty
p
e alias' type struct
u
res
commit
|
commitdiff
|
tree
2015-09-28
Dwayne Reeves
Add 'ty
p
ename' as
an Ali
a
sE
n
tr
y
in th
e
parse
r
commit
|
commitdiff
|
tree
2015-09-28
Dwayne Reeve
s
Allow typ
e
struct
u
re to w
o
rk with
t
yp
e
aliase
s
commit
|
commitdiff
|
tree
2015-09-21
Dway
n
e Reeves
preven
t
t
r
y loadi
n
g
HH\
t
his as an alias
commit
|
commitdiff
|
tree
2015-09-18
Dwayne Reeves
Pr
e
s
e
r
ve nullable field fo
r
type str
u
c
t
u
r
e
s
with typ
e
.
.
.
commit
|
commitdiff
|
tree
2015-09-16
Dwa
y
ne Reeves
Move
T
ypeStru
c
tu
r
e t
o
H
H
namespace
commit
|
commitdiff
|
tree
2015-08-15
Dwayne Reev
e
s
Check Ty
p
e Parameter C
o
ns
t
raints on Declaration Types
commit
|
commitdiff
|
tree
2015-08-06
Dw
a
y
n
e Reeves
Do
n
ot allow interface to de
c
lare partia
l
ly
abstract
.
.
.
commit
|
commitdiff
|
tree
2015-07-29
Dwa
y
ne Reeves
Properly handle the '
t
hi
s
' type
in type con
s
tant constraints
commit
|
commitdiff
|
tree
2015-07-25
Dwayne Ree
v
e
s
Make accessing an abstract type constant a
n
error
commit
|
commitdiff
|
tree
2015-07-22
Dw
a
y
ne Reeves
Chec
k
if abstract f
i
na
l
classes
c
ontain abstr
a
ct
m
embers
commit
|
commitdiff
|
tree
2015-07-16
Dw
a
yne Reeves
Clean up
c
o
mments for expression depend
e
nt
t
y
p
e tests
commit
|
commitdiff
|
tree
2015-07-11
Dwayne Reev
e
s
Fix infinite recursion in Typin
g
_u
t
ils
.
simplified_uerror
commit
|
commitdiff
|
tree
2015-07-11
Dwayne Reeves
Provide bet
t
er
t
yp
e
s for b
u
il
t
ins_
f
info
.
hhi and builtins_int
.
.
.
commit
|
commitdiff
|
tree
2015-07-11
D
w
ayne Reeves
Ove
r
haul er
r
or mess
a
ge
s
involv
i
ng
expression dependent
.
.
.
commit
|
commitdiff
|
tree
2015-07-11
Dwayn
e
Reeves
Remove restriction on the 'this' typ
e
commit
|
commitdiff
|
tree
2015-07-11
D
wayne R
e
eve
s
Ma
k
e
'
this' type produce
a
n expr
e
ssi
o
n dependent type
commit
|
commitdiff
|
tree
2015-07-10
Dwayne Reeves
Create stable expres
s
ion de
p
enden
t
types
for local
.
.
.
commit
|
commitdiff
|
tree
2015-07-09
Dwayne Reev
e
s
Intersect l
o
cal env when falling th
r
ough
a
switch-case
commit
|
commitdiff
|
tree
2015-07-09
Dw
a
yne Reeve
s
Properly hand
l
e 'this' type for met
h
ods
commit
|
commitdiff
|
tree
2015-07-09
Dwayn
e
Reeves
Make 'new cl
a
ss_id()' p
r
odu
c
e expression depe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2015-07-09
D
w
a
y
ne Reeves
Make the ex
p
ression
$this a
de
p
endent type
commit
|
commitdiff
|
tree
2015-07-09
Dwayn
e
Reeves
Support list a
s
signment
f
or
Tabstra
c
t of a vector
commit
|
commitdiff
|
tree
2015-07-08
Dway
n
e Reeves
Only Create Expression Depend
e
nt T
y
pes
W
hen Necessary
commit
|
commitdiff
|
tree
2015-06-29
Dwa
y
ne Reeves
Move expa
n
s
ion of Taccess to Typing_phase
.
lo
c
a
l
ize
commit
|
commitdiff
|
tree
2015-06-29
Dwayne Reeves
C
o
mbin
e
re
p
resent all kinds of ab
s
tract ty
p
es
a
s
Tabstract
.
.
.
commit
|
commitdiff
|
tree
2015-06-18
Dwayne Reeves
Fully exp
a
nd type
v
ariables in Tgenerics
commit
|
commitdiff
|
tree
2015-06-12
Dwa
y
ne Reeves
Make Typing_i
n
st
a
nt
i
a
te only work on decl ty
commit
|
commitdiff
|
tree
2015-06-11
D
wayne Reeves
Mov
e
f
i
lling of type holes to
Typin
g
_pha
s
e
.
localize
commit
|
commitdiff
|
tree
2015-06-09
Dwayne Re
e
ves
Allow
a
nonymous fu
n
ctions
t
o be subtypes of non-anonymous
.
.
.
commit
|
commitdiff
|
tree
2015-06-03
Dway
n
e
Reeves
Mo
v
e instanti
a
t
i
on
o
f function tparams to
T
yping_phase
.
.
.
commit
|
commitdiff
|
tree
2015-05-29
Dwayne
Reeves
A
dd ad
d
i
tio
n
al chec
k
s fo
r
i
m
pl
e
m
e
n
ting ty
p
e co
n
stan
t
s
commit
|
commitdiff
|
tree
2015-05-19
Dway
n
e
Re
e
ves
Add
s
upport
for Type
Constants
commit
|
commitdiff
|
tree
2015-05-19
Dwayne Reeves
Fix bug in Refle
c
ti
o
n
Type
C
onstant constructo
r
commit
|
commitdiff
|
tree
2015-05-18
D
wayne Reeves
Suppor
t
p
a
thname
p
attern
e
xpansion in
c
onvert_hack_test
_
i
n
pu
.
.
.
commit
|
commitdiff
|
tree
2015-05-08
D
w
ayne Reeves
Add e
r
r
o
r for ass
i
g
ning
t
o $th
i
s
commit
|
commitdiff
|
tree
2015-05-07
Dwayne Ree
v
es
M
o
ve handling
of "this" type into Typ
i
ng_phase
.
localiz
e
commit
|
commitdiff
|
tree
2015-04-29
Dwayne Reev
e
s
Move loca
l
i
z
e logic into
i
ts ow
n
files
commit
|
commitdiff
|
tree
2015-04-27
Dwayne R
e
e
v
es
Move
Expansion of Typedefs
i
nto Localize
commit
|
commitdiff
|
tree
2015-04-22
D
wayne Reeves
Int
r
oduce Type
"
Phases"
B
y Util
i
z
ing GADTs
commit
|
commitdiff
|
tree
2015-04-17
Dwayne
Re
e
ves
Do
n
't use unp
a
c
k
o
perat
o
r
f
or MethCall
e
rHelp
e
r if the
r
e
.
.
.
commit
|
commitdiff
|
tree
2015-04-13
Dwayne R
e
eves
Con
s
ider T as
X
t
o be su
b
type of X in more cas
e
s
commit
|
commitdiff
|
tree
2015-04-13
Dwayne
Reeves
S
kip instanti
a
tion i
f
the
r
e
is no
t
h
in
g
t
o
s
u
b
s
t
i
t
ute
commit
|
commitdiff
|
tree
2015-04-03
Dwayne Reeve
s
Properly type m
e
th_call
e
r() f
o
r methods with para
m
eters
commit
|
commitdiff
|
tree
2015-04-03
Dway
n
e Reeves
All
o
w meth_ca
l
ler() to
w
ork for me
t
hod
s
with parameters
commit
|
commitdiff
|
tree
2015-03-24
Dwayne R
e
eves
Forb
i
d constants
f
rom imp
l
ementi
n
g abstr
a
c
t
ty
p
e constants
commit
|
commitdiff
|
tree
2015-03-20
Dwayn
e
Reeves
A
dd b
a
sic ref
l
ection support
fo
r
type
con
s
tants
commit
|
commitdiff
|
tree
2015-03-12
Dwayne
R
eeves
Block Access of Typ
e
Constan
t
s at Runti
m
e
commit
|
commitdiff
|
tree
2015-03-06
D
w
ayne Reeves
Add Co
n
stModifier to Au
x
U
nion
commit
|
commitdiff
|
tree
2015-03-04
D
wayne Re
e
ves
A
l
lo
w
inheriting abstract constants fro
m
mu
l
tiple ancestors
commit
|
commitdiff
|
tree
2015-02-26
Dwa
y
ne Reeves
Fill typ
e
hole for class_meth() call
s
commit
|
commitdiff
|
tree
2015-02-26
D
w
ayne
R
eeves
Handl
e
Tvar and Tunresolved for Tac
c
ess expansion
commit
|
commitdiff
|
tree
2015-02-18
Dwayne
R
eeves
Loos
e
n Interfac
e
Method I
n
compat Checks for Typ
e
Const
a
nts
commit
|
commitdiff
|
tree
2015-02-10
Dwa
y
ne R
e
eves
Fix
P
arser Bu
g
for Type Constant
commit
|
commitdiff
|
tree
2015-02-10
Dwa
y
ne Reeves
Limi
t
pl
a
c
e
s
w
here this::T c
a
n be used
commit
|
commitdiff
|
tree
2015-02-10
Dwayn
e
R
e
eves
I
mpr
o
v
e err
o
r
messages fo
r
t
y
pe constants
commit
|
commitdiff
|
tree
2015-02-09
Dwayn
e
Reeves
Allow
Typ
e
c
onst
s
to be Declare
d
in Interfaces
commit
|
commitdiff
|
tree
2015-02-04
Dwayne R
e
eve
s
E
li
m
inate unsoundness of 'this' refer
e
nces
t
o typ
e
const
commit
|
commitdiff
|
tree
2015-01-29
Dwayne Reeves
Rework Type Consts to not use type defs
commit
|
commitdiff
|
tree
2015-01-23
Dwa
y
n
e
Ree
v
es
typ
e
constants: add parser
su
p
p
o
rt
commit
|
commitdiff
|
tree
2015-01-22
Dwayne Reeve
s
Finalize Type Con
s
t syntax
commit
|
commitdiff
|
tree
2014-12-13
Dwa
y
ne Reev
e
s
S
u
pport static
/
self::Ty
p
eCons
t
access
commit
|
commitdiff
|
tree
2014-12-04
Dwayne Reeves
S
u
p
port for declarations and inheritance
commit
|
commitdiff
|
tree
2014-11-11
Dwayne Reev
e
s
Remove wild
c
ard m
a
t
c
h
ing of Typing_defs
.
t
y
commit
|
commitdiff
|
tree
2014-09-15
Dwayne R
e
eves
"arraykey" type
commit
|
commitdiff
|
tree
2014-09-12
Dwayne Reeves
Introduce arraykey type
commit
|
commitdiff
|
tree
2014-04-23
Dwayne Reeve
s
M
a
k
e
GenReadApi covari
a
nt
commit
|
commitdiff
|
tree