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
Typing changes for reactive functions
2017-12-05
Dwayne Reeves
Add Typing
_
dep
.
Dep
.
Al
l
Me
m
bers
commit
|
commitdiff
|
tree
2017-12-02
Dwayn
e
Reeves
Move
m
emoize
c
heck to o
w
n file
commit
|
commitdiff
|
tree
2017-06-13
D
w
ayne
R
eev
e
s
Revert D5199978
:
[hhvm][PR] Ma
k
e
hack_
t
e
st target work
.
.
.
commit
|
commitdiff
|
tree
2017-05-27
Dway
n
e Reev
e
s
Delet
e
Imp
l
ementation
o
f Autoload
M
ap and ArcFacts
commit
|
commitdiff
|
tree
2017-02-09
Dw
a
yne Ree
v
e
s
R
efactor findref to
n
ot use la
z
y
h
e
ap
commit
|
commitdiff
|
tree
2016-12-15
Dwayne Reeves
Properly loc
a
lize parameters of expl
i
ci
t
ly typed lambdas
commit
|
commitdiff
|
tree
2016-11-04
Dwayne Reeves
Add
extra logging fo
r
D
ecl_cla
s
s_elems_bu
g
commit
|
commitdiff
|
tree
2016-11-03
Dwayne Reeve
s
Typecheck Extends Dep
e
ndencies when loading fr
o
m a
.
.
.
commit
|
commitdiff
|
tree
2016-10-26
Dwayne Reeves
Delete u
n
u
s
e
d Decl_
c
ompa
r
e
c
ode
commit
|
commitdiff
|
tree
2016-10-25
Dwayne R
e
eves
Delete Sh
a
reMem
.
NoCach
e
.
shelve/unshelv
e
_batch
commit
|
commitdiff
|
tree
2016-10-25
Dwayne
R
eeves
Use lo
c
al change stacks in
S
erverIdeUtils
commit
|
commitdiff
|
tree
2016-10-25
D
w
a
yne
Reev
e
s
U
s
e loc
a
l change sta
c
ks
f
or par
s
ing error roll back
commit
|
commitdiff
|
tree
2016-10-25
Dwayne Reeves
Support applying local changes to
S
hare
d
Mem
commit
|
commitdiff
|
tree
2016-10-18
Dw
a
yne
R
eeves
Ref
a
ctor Shared
M
em
.
Wit
h
Ca
c
he
commit
|
commitdiff
|
tree
2016-10-03
Dwayn
e
Reeves
C
omp
r
ess co
n
ten
t
s of he
a
p
commit
|
commitdiff
|
tree
2016-10-01
Dwayne Reeves
D
o
n
o
t mars
h
al ocaml
s
tring
s
commit
|
commitdiff
|
tree
2016-09-29
D
w
ayne Re
e
ves
Marshal
o
caml values
i
n C
commit
|
commitdiff
|
tree
2016-09-21
Dwayne
R
eeves
Ensure Ser
v
erIdeUtils
.
declare_an
d
_re
c
heck change
s
are
.
.
.
commit
|
commitdiff
|
tree
2016-09-17
Dwayne Reeves
Revive removed class elements in Serve
r
IdeUt
i
ls
.
decl
a
re_and_
.
.
.
commit
|
commitdiff
|
tree
2016-08-27
Dwayne Reeves
F
ix integer underflow e
r
ror in hh_shared
.
c
commit
|
commitdiff
|
tree
2016-08-19
D
w
a
yne
R
eev
e
s
Report
n
u
m
ber of n
o
n
e
mpty slots in
S
h
aredM
e
m
.
hash_t
b
l_stats
commit
|
commitdiff
|
tree
2016-08-18
Dwa
y
n
e
Reeves
Move sta
t
ic
/
in
s
tanc
e
meth
o
d na
m
i
n
g conflict che
c
k to
.
.
.
commit
|
commitdiff
|
tree
2016-08-18
D
w
ay
n
e
R
eeves
Add a
d
ditional depe
n
denci
e
s when
o
v
e
r
r
idin
g
an el
e
men
t
commit
|
commitdiff
|
tree
2016-08-01
D
wayne Reeves
Lazy
l
oad type for class_elts
commit
|
commitdiff
|
tree
2016-08-01
Dwayne Reeves
Update
incremental t
o
w
ork w
i
th separate st
o
red e
l
emen
t
.
.
.
commit
|
commitdiff
|
tree
2016-08-01
Dwayne Re
e
ve
s
S
t
ore the
ty
p
e of class eleme
n
ts sep
a
r
ately in Decl
_
hea
p
commit
|
commitdiff
|
tree
2016-08-01
Dwayne Reeves
Del
a
y
s
ubstitution of type parame
t
ers when
i
n
h
e
r
iting
.
.
.
commit
|
commitdiff
|
tree
2016-08-01
D
w
a
yne Reeves
Have de
c
l
_class_type re
p
lace class_type i
n
the shared
.
.
.
commit
|
commitdiff
|
tree
2016-08-01
Dwayne Reeves
I
ntrod
u
ce Decl_
h
eap
commit
|
commitdiff
|
tree
2016-07-30
Dway
n
e
R
eeves
Properly localize
require ancestors
i
n Typi
n
g_subtype
commit
|
commitdiff
|
tree
2016-07-27
Dwayne Reeves
Introduc
e
a thr
e
a
d
local
c
ache
commit
|
commitdiff
|
tree
2016-06-22
Dwayne Reeves
Cach
e
acc
e
ss to
TypeIDHe
a
p
commit
|
commitdiff
|
tree
2016-06-05
Dwayne Reeves
C
orrectly
i
n
stantiate
g
eneric at
t
ribu
t
es
f
or XHP
commit
|
commitdiff
|
tree
2016-06-02
Dw
a
yne Re
e
ves
I
nclude n
a
me of attribute and cla
s
s for X
H
P
a
ttribute
.
.
.
commit
|
commitdiff
|
tree
2016-04-10
Dwayne
R
e
eves
Revert using s
h
a
red
_
l
ist
.
ml for storing
errors
commit
|
commitdiff
|
tree
2016-04-05
Dwa
y
n
e
Reeves
D
e
lete f_mtime field
from Ast
.
fun
commit
|
commitdiff
|
tree
2016-03-11
Dwayne Reeves
Do not a
l
lo
w
m
u
tati
o
ns
of KeyedContainer or In
d
ex
i
sh
commit
|
commitdiff
|
tree
2016-03-08
Dwayne Reeves
Ba
n
assignme
n
t b
y
r
e
ference
i
n strict mode
commit
|
commitdiff
|
tree
2016-03-08
Dwayne Re
e
v
e
s
Allow type hints for
variadic function in H
a
ck
commit
|
commitdiff
|
tree
2016-03-03
Dwayne Ree
v
es
C
o
r
r
e
c
tly
h
a
ndle type_structure() r
e
so
l
u
tion for type
.
.
.
commit
|
commitdiff
|
tree
2016-02-28
Dwayne Re
e
ves
Remove typedef from
T
ypeIdHeap when delete
d
commit
|
commitdiff
|
tree
2016-02-27
D
way
n
e Ree
v
es
Allow t
y
pe cons
t
ants def
i
ned i
n
a
b
s
tract final classes
.
.
.
commit
|
commitdiff
|
tree
2016-02-19
Dwa
y
ne R
e
ev
e
s
Do
not ign
o
r
e
d
eclared variance of generics
w
it
h
constraints
commit
|
commitdiff
|
tree
2016-01-28
Dwayne R
e
eves
Invoke autolo
a
der w
h
en const
r
ucting Reflection
T
ypeAlias
.
.
.
commit
|
commitdiff
|
tree
2016-01-12
Dwayne Reeves
Do
not attemp
t
t
o
autoload
a
lready loade
d
classes
commit
|
commitdiff
|
tree
2015-12-20
Dwayne Reeves
P
as
s
Fil
e
Info
.
f
a
s
t via
a
rgument i
n
stead of
glob
a
l stor
a
ge
.
.
.
commit
|
commitdiff
|
tree
2015-12-20
Dw
a
yne Ree
v
e
s
Mov
e
NamingGlobal
.
GEn
v
to shared
h
ash t
a
bl
e
commit
|
commitdiff
|
tree
2015-12-20
D
wayn
e
Ree
v
e
s
En
c
apsulate
N
amingGlobal
.
env a
s
Nami
n
gGlobal
.
GEnv
commit
|
commitdiff
|
tree
2015-12-20
Dway
n
e Reeves
Move creation of Naming
.
e
n
v to its o
w
n file
commit
|
commitdiff
|
tree
2015-12-04
D
w
ayne Reeves
Redu
c
e number o
f
workers used i
n
Type-check phas
e
for
.
.
.
commit
|
commitdiff
|
tree
2015-10-23
D
w
ayne R
e
e
v
es
M
a
k
e
Call
-
time Pa
s
s-by
-
r
eference a
P
ars
e
error
commit
|
commitdiff
|
tree
2015-10-17
Dwa
y
ne Reeves
Do no
t
a
ttempt
to special
i
ze TypeStr
u
cture's
t
y
p
e for
.
.
.
commit
|
commitdiff
|
tree
2015-10-15
D
wayne Re
e
ve
s
Check for recrus
i
ve Tvars i
n
T
y
ping_subtype
.
sub_string
commit
|
commitdiff
|
tree
2015-10-14
D
w
ayne
R
eeves
Improve Typ
i
n
g of TypeStructure<T>
commit
|
commitdiff
|
tree
2015-10-09
D
w
ayne Reeves
Ad
d
t
y
p
e ch
e
c
ke
r
support for t
y
p
e
na
m
e<T>
commit
|
commitdiff
|
tree
2015-10-08
Dway
n
e Reeves
Au
t
o
i
mpor
t
support in type checke
r
for
t
ype structur
e
.
.
.
commit
|
commitdiff
|
tree
2015-09-29
D
w
ayne Reeves
Properly resolve generics for type alias
'
ty
p
e str
u
c
t
u
res
commit
|
commitdiff
|
tree
2015-09-28
Dwayn
e
Ree
v
es
Add 'typename' as an AliasEntry
i
n
the parser
commit
|
commitdiff
|
tree
2015-09-28
Dwayne Reeves
Allow t
y
pe structu
r
e to work
w
i
t
h
type a
l
i
a
s
es
commit
|
commitdiff
|
tree
2015-09-21
Dwayne Reeves
p
reven
t
try loading HH\this as an alias
commit
|
commitdiff
|
tree
2015-09-18
Dwayne Reeves
Pres
e
r
ve nul
l
able
field for t
y
pe structures w
i
th
t
ype
.
.
.
commit
|
commitdiff
|
tree
2015-09-16
Dwayne
Reeve
s
Move TypeStruct
u
re
t
o
HH n
a
m
e
sp
a
ce
commit
|
commitdiff
|
tree
2015-08-15
D
w
ay
n
e Reeves
Check
T
ype Paramete
r
Constr
a
i
nts on Dec
l
ar
a
tion Types
commit
|
commitdiff
|
tree
2015-08-06
Dwayne Reeve
s
Do not a
l
low
interface
to d
e
clare part
i
a
l
ly abstract
.
.
.
commit
|
commitdiff
|
tree
2015-07-29
D
w
ayne
Reeves
Prop
e
rly ha
n
dle
t
he
'this' type in type constant constraints
commit
|
commitdiff
|
tree
2015-07-25
Dwayne Reeves
Make accessin
g
an abstra
c
t type
constant an
e
rror
commit
|
commitdiff
|
tree
2015-07-22
Dwa
y
ne Ree
v
es
Check if
abstract
final classe
s
conta
i
n
a
bst
r
act members
commit
|
commitdiff
|
tree
2015-07-16
Dwayne Reeves
Clean up comments for
e
x
pressi
o
n depen
d
ent
typ
e
tes
t
s
commit
|
commitdiff
|
tree
2015-07-11
Dwayne R
e
ev
e
s
Fi
x
inf
i
nite
r
ecurs
i
on in Typing_ut
i
l
s
.
simpl
i
f
i
ed_uerror
commit
|
commitdiff
|
tree
2015-07-11
Dwayne Reeves
Provide b
e
t
ter types
f
or built
i
n
s_finfo
.
hhi
a
n
d builtins
_
i
nt
.
.
.
commit
|
commitdiff
|
tree
2015-07-11
Dway
n
e
Reeve
s
Overhaul error
m
e
ssages
i
nvolving e
x
pression dependent
.
.
.
commit
|
commitdiff
|
tree
2015-07-11
Dwayne
R
eeves
Remove res
t
r
i
c
ti
o
n
o
n the '
t
his' type
commit
|
commitdiff
|
tree
2015-07-11
D
wayne R
e
ev
e
s
M
ake
'
th
i
s' t
y
pe pr
o
d
u
ce an expres
s
ion dep
e
n
den
t
type
commit
|
commitdiff
|
tree
2015-07-10
D
wa
y
n
e Reeves
Cr
e
at
e
stable expression depen
d
ent types for local
.
.
.
commit
|
commitdiff
|
tree
2015-07-09
Dwayne Reeve
s
Int
e
rsect local e
n
v
w
hen fall
i
ng through
a
s
w
it
c
h-case
commit
|
commitdiff
|
tree
2015-07-09
Dwa
y
ne
Reeves
Prope
r
ly ha
n
dle '
t
his' type for
method
s
commit
|
commitdiff
|
tree
2015-07-09
Dw
a
yne Reeves
Ma
k
e 'new class_
i
d()' produce express
i
o
n
depe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2015-07-09
Dwayne Reeves
Make the express
i
on $this
a
d
epende
n
t type
commit
|
commitdiff
|
tree
2015-07-09
Dwayne Re
e
ves
Suppo
r
t
list
assignment fo
r
Tabstract of a vecto
r
commit
|
commitdiff
|
tree
2015-07-08
Dway
n
e R
e
eves
Only Create Ex
p
ression De
p
endent Types When
N
ecessary
commit
|
commitdiff
|
tree
2015-06-29
Dwayne Ree
v
es
Move expansion o
f
Ta
c
cess to Ty
p
ing_phase
.
localize
commit
|
commitdiff
|
tree
2015-06-29
Dwayne
Reeves
Combine re
p
resent a
l
l kinds of abst
r
act types a
s
Tabs
t
ract
.
.
.
commit
|
commitdiff
|
tree
2015-06-18
Dwayne Reeves
Fully expand type va
r
i
ables i
n
Tgenerics
commit
|
commitdiff
|
tree
2015-06-12
Dw
a
yne Reeves
Mak
e
Typ
i
n
g
_insta
n
t
i
a
t
e
onl
y
work on
decl ty
commit
|
commitdiff
|
tree
2015-06-11
Dwayne Reeves
M
o
v
e
f
illing o
f
type h
o
les to Typin
g
_phase
.
lo
c
alize
commit
|
commitdiff
|
tree
2015-06-09
Dw
a
yne
R
eeves
Allow a
n
o
nymous
functions to
be subtypes o
f
non-a
n
onymous
.
.
.
commit
|
commitdiff
|
tree
2015-06-03
Dwayne Reeves
Move ins
t
a
n
tiation of f
u
n
c
ti
o
n tparams to Typing
_
pha
s
e
.
.
.
commit
|
commitdiff
|
tree
2015-05-29
Dw
a
yne
Reeves
Ad
d
addi
t
ional checks fo
r
i
m
plementin
g
type
constants
commit
|
commitdiff
|
tree
2015-05-19
Dwayne Reeves
Add
sup
p
o
rt for Ty
p
e Constants
commit
|
commitdiff
|
tree
2015-05-19
Dwayne
R
e
eve
s
Fix bu
g
in ReflectionTyp
e
Cons
t
ant constructor
commit
|
commitdiff
|
tree
2015-05-18
D
w
a
yne Reeves
Support pathname pattern expansion
in conver
t
_hack_test_inpu
.
.
.
commit
|
commitdiff
|
tree
2015-05-08
Dwayne
R
e
eves
Add err
o
r for
a
ssigning
t
o
$
this
commit
|
commitdiff
|
tree
2015-05-07
D
w
ayne Reeves
Move handling of "this" type into Typin
g
_
p
h
ase
.
localize
commit
|
commitdiff
|
tree
2015-04-29
Dwayne Reeves
M
o
ve lo
c
al
i
ze
lo
g
ic i
n
to its
o
wn files
commit
|
commitdiff
|
tree
2015-04-27
Dwayne Reeves
Mo
v
e Expansi
o
n of Typ
e
defs into L
o
c
a
lize
commit
|
commitdiff
|
tree
2015-04-22
Dwayne R
e
eves
Introduce Type "Phases" By Utilizing GADTs
commit
|
commitdiff
|
tree
2015-04-17
Dwayne
R
eeves
D
o
n'
t
use unpack op
e
r
a
tor for MethCallerHelper if
t
here
.
.
.
commit
|
commitdiff
|
tree
2015-04-13
Dwayne Reeves
Consi
d
er T as X to be subtype of X in more
cases
commit
|
commitdiff
|
tree
2015-04-13
Dw
a
yne
R
eeves
Skip instan
t
ia
t
ion if there i
s
nothing to
substitute
commit
|
commitdiff
|
tree
2015-04-03
Dwayne Ree
v
es
Pro
p
e
r
l
y type
m
e
t
h_call
e
r() for methods w
i
t
h
p
aram
e
ters
commit
|
commitdiff
|
tree
next