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
fix careless mistake in transitive closure
2020-06-01
Catherine
G
as
n
i
e
r
fix c
a
reless mistak
e
i
n
transitive
clo
s
u
r
e
commit
|
commitdiff
|
tree
2020-05-27
Catherine Gasnier
fix linking error abo
u
t vfs
f
unctio
n
being defined
.
.
.
commit
|
commitdiff
|
tree
2020-05-12
Catherine Gasnier
stress test for transitive closure
commit
|
commitdiff
|
tree
2020-05-12
Catheri
n
e
Gasn
i
e
r
add `
h
h
_
force_solve` pse
u
do func
t
ion
commit
|
commitdiff
|
tree
2020-05-12
Catherine Gasnier
create trait ToOxidized and impl
e
ment for the environme
n
t
commit
|
commitdiff
|
tree
2020-05-11
Catherine
Gasnier
hh_show_
e
nv pse
u
do f
u
ncti
o
n, stubs only
commit
|
commitdiff
|
tree
2020-05-07
Catherine
Gasnier
`localize_
f
t`: me
r
g
e
multiple substs ma
p
s where needed
commit
|
commitdiff
|
tree
2020-05-01
Catherine
G
asnier
method calls
commit
|
commitdiff
|
tree
2020-05-01
Catherine Gasnier
porting of calls to `new`
commit
|
commitdiff
|
tree
2020-04-21
C
atherine Ga
s
n
ier
d
e
-t
a
ngle `new_object
`
commit
|
commitdiff
|
tree
2020-04-14
Cath
e
rine
G
asnier
Im
p
lementation for `union
_
list`
commit
|
commitdiff
|
tree
2020-04-14
Catheri
n
e Gasnier
par
t
s
o
f the solver
commit
|
commitdiff
|
tree
2020-04-07
C
a
therine Gasnier
tr
a
n
sitive closure
commit
|
commitdiff
|
tree
2020-04-07
Catherine Gasnier
use a persiste
n
t vector in for conj
u
ncti
o
n
s
and disju
n
c
ti
o
ns
commit
|
commitdiff
|
tree
2020-04-06
Catherine
G
as
n
ier
some helpers in typ
i
ng_inference
_
env
.
rs
commit
|
commitdiff
|
tree
2020-04-06
Catherine Gasn
i
e
r
p
o
r
t `prop_to_e
n
v`
commit
|
commitdiff
|
tree
2020-04-02
Catherine Gasn
i
e
r
gen
e
r
a
te
v
ariable ids l
o
cally
t
o the f
u
nction
commit
|
commitdiff
|
tree
2020-04-02
Catherine Gasni
e
r
addin
g
primitives to typing
:
:expr
commit
|
commitdiff
|
tree
2020-04-02
C
atherine
G
asnier
make tast annot
a
tion
refer t
o
p
ositi
o
ns t
o
a
v
oid
t
oo
.
.
.
commit
|
commitdiff
|
tree
2020-04-02
Cat
h
erine Gasnier
loca
l
ize function param
e
ters
commit
|
commitdiff
|
tree
2020-04-01
Catherine G
a
snier
localize functions with t
y
pe ar
g
uments
commit
|
commitdiff
|
tree
2020-03-31
Catheri
n
e Gasnier
r
emove limit o
f
20 iterations durin
g
u
n
ioning list
.
.
.
commit
|
commitdiff
|
tree
2020-03-30
C
a
ther
i
n
e
Gasnier
i
m
ple
m
ent localize_targs
commit
|
commitdiff
|
tree
2020-03-27
Catherine Gasnier
localiz
e
_
targs
s
tub
commit
|
commitdiff
|
tree
2020-03-27
Ca
t
herine
G
a
snier
su
p
p
ort
c
alls
with arg
u
me
n
t
s
commit
|
commitdiff
|
tree
2020-03-25
Cathe
r
ine Gasn
i
er
make env the first parameter o
f
f
unctions
commit
|
commitdiff
|
tree
2020-03-25
Cather
i
ne Gasni
e
r
reorder functions in typing
.
rs
commit
|
commitdiff
|
tree
2020-03-25
Cat
h
erine
G
a
s
nie
r
a
d
d function
s
stubs for `c
h
eck
_
call,
`
fun_typ
e
_
o
f_i
d
.
.
.
commit
|
commitdiff
|
tree
2020-03-24
Catherine G
a
snier
localize
c
lasse
s
a
n
d
generic
s
commit
|
commitdiff
|
tree
2020-03-12
Catherine Gasnier
p
ort
i
ng expand_var logic
t
o rus
t
commit
|
commitdiff
|
tree
2020-03-02
Cathe
r
ine Gasnier
infer type paramet
e
rs for var
r
ay,
darra
y
, array anno
t
a
tions
commit
|
commitdiff
|
tree
2020-02-29
Cather
i
ne Gasnie
r
mak
e
su
r
e
variables
from the
s
a
m
e type (e
.
g
.
Map<#1
.
.
.
commit
|
commitdiff
|
tree
2020-02-29
Cathe
r
ine Gasnie
r
make type
va
r
ids from posi
t
i
o
n h
a
shes
commit
|
commitdiff
|
tree
2020-02-28
C
a
therine Ga
s
ni
e
r
allow to reinfer PHPism_FIX
M
E_Array
commit
|
commitdiff
|
tree
2020-02-27
Cath
e
rine Gas
n
ier
f
or
X a type to
r
ein
f
er, a
l
so c
r
e
a
te a
t
ype
v
ar for ?X
commit
|
commitdiff
|
tree
2020-02-26
Catherine Gasnier
add test for pa
r
tia
l
type annotati
o
n
i
nference rewrit
i
n
g
commit
|
commitdiff
|
tree
2020-02-26
C
atherine Gasn
i
er
allow to
i
n
fer parti
a
lly annotat
e
d c
l
asses
commit
|
commitdiff
|
tree
2020-02-26
Catherine Gasnier
add t
e
st alias for
s
e
r
v
er_test
s
.
m
l
commit
|
commitdiff
|
tree
2020-02-21
Cather
i
ne Gas
n
ier
give more
exp
l
i
c
it name to
chec
k
_param and other renaming
s
commit
|
commitdiff
|
tree
2020-02-21
Catheri
n
e Gasnier
Fix
i
ng
o
ccu
r
rence of Tnothing which has been deprecated
commit
|
commitdiff
|
tree
2020-02-20
Catherine Gasnier
creat
e
global type var
i
ables
f
or hints from the
r
e
infer_type
.
.
.
commit
|
commitdiff
|
tree
2020-02-20
Cat
h
e
rin
e
Gasnier
add option
t
o spec
i
fy which ty
p
es to reinfer
commit
|
commitdiff
|
tree
2020-02-19
Catherine
G
a
snier
command to
c
ompare solved enviro
n
m
e
nts
commit
|
commitdiff
|
tree
2020-02-19
Catherine Gasnier
separate comm
a
n
d for optimiz
e
d solving
commit
|
commitdiff
|
tree
2020-02-19
Catherine Ga
s
nier
ordered so
l
ver
commit
|
commitdiff
|
tree
2020-02-18
Catherine Gasnier
avoi
d
p
o
tential file d
e
scriptor leak
commit
|
commitdiff
|
tree
2020-02-14
Catherine Gasnier
remove all `igno
r
e`s in Ty
p
ing
commit
|
commitdiff
|
tree
2020-02-12
Catherine Ga
s
nier
remove
a
ll `ignor
e
`s in Typ
i
ng_extends
commit
|
commitdiff
|
tree
2020-02-12
Catherine Gasnier
r
e
move one more `
i
g
n
ore`
commit
|
commitdiff
|
tree
2020-02-12
Cath
e
r
i
ne Ga
s
nier
remove one more 'ig
n
ore'
commit
|
commitdiff
|
tree
2020-02-12
Catherine Gasnier
r
e
move one other 'igno
r
e'
commit
|
commitdiff
|
tree
2020-02-12
C
a
t
herine Gasnier
r
emove
call to `
i
gnore` which drops en
v
ironment
commit
|
commitdiff
|
tree
2020-01-27
Catherine Gasnier
raise exc
e
ption when adding bound to alre
a
dy so
l
ved
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Ca
t
herine Gasnier
clean up temporary variables created whil
e
merging
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
C
a
t
h
eri
n
e Gasnier
u
n
do D16440
0
63 a
n
d
D16666682 which have been superseded
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Catherine Gasnier
f
ix of type v
a
ria
b
l
e
bei
n
g
discard
e
d with
e
nv
commit
|
commitdiff
|
tree
2020-01-27
C
a
t
her
i
ne Gasnier
fix globa
l
inferen
c
e
f
or
st
a
tic me
t
h
o
ds
commit
|
commitdiff
|
tree
2020-01-27
Catherin
e
Gasnier
raise exceptio
n
when
s
e
t
tin
g
b
o
unds
of already solved
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Ca
t
he
r
ine Gasnier
rais
e
excepti
o
n
whe
n
s
e
tt
i
ng type
c
onstant or P
U
acc
e
ss
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Catherine Ga
s
nier
r
a
i
se exc
e
ption when setting variance on
s
olved type var
commit
|
commitdiff
|
tree
2020-01-24
Catherine Gasnier
don't re
c
reate global type v
a
r i
f
it already ex
i
s
t
s
commit
|
commitdiff
|
tree
2020-01-24
Catherine
Gasn
i
er
f
i
x
bug where env was
dr
o
p
p
ed
commit
|
commitdiff
|
tree
2020-01-24
C
a
ther
i
ne
Gasnier
avoid crashing with exceptio
n
s
and surface a
s
an error
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
Catherine Gasnier
f
i
x bu
g
where environment wa
s
wrongly dropped, l
o
osing
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
C
a
t
he
r
ine Ga
s
nier
raise
e
xcept
i
on when sett
i
ng typ
e
c
ons
t
ant or
PU
a
ccess
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
Cathe
r
ine Gas
n
ier
raise e
x
ception when setting
bounds of al
r
ea
d
y solved
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
Catherine Gasnier
r
a
ise
exception when sett
i
n
g
variance on solved type var
commit
|
commitdiff
|
tree
2020-01-22
Cath
e
ri
n
e Gasnier
re
m
o
ve dead mo
d
ule Typ
i
n
g
_
g
ather_defined
commit
|
commitdiff
|
tree
2020-01-22
C
atherine
G
asni
e
r
a
v
oid crashing with
e
xceptions for all A
S
T
definition
s
commit
|
commitdiff
|
tree
2020-01-22
Catheri
n
e Gasnier
fix none position in
w
rap_ty_i
n
_var
commit
|
commitdiff
|
tree
2020-01-22
Cathe
r
in
e
Gas
n
ie
r
call type simplifier with Env
.
add instead
o
f
Typi
n
g_solver
.
.
.
commit
|
commitdiff
|
tree
2020-01-20
Catheri
n
e Gasnier
s
t
ill ad
d
ty
p
e
v
ar to infer
e
nce env e
v
en when outside
.
.
.
commit
|
commitdiff
|
tree
2020-01-20
Cathe
r
ine
Gas
n
ier
more type simplifier t
e
sts
commit
|
commitdiff
|
tree
2020-01-20
Cath
e
ri
n
e Gasn
i
er
introduce u
n
it te
s
ting with
OUni
t
commit
|
commitdiff
|
tree
2020-01-14
Catherine Gasnier
tyvar_occur
r
ence
s
w
a
s not m
a
i
nta
i
n
e
d p
r
operly when
.
.
.
commit
|
commitdiff
|
tree
2020-01-13
Catherine Gasnier
move tyvar_o
c
currence
s
f
i
eld fr
o
m T
y
p
i
n
g_
e
nv_ty
p
es
.
.
.
commit
|
commitdiff
|
tree
2020-01-13
Catheri
n
e Ga
s
nier
don't create
g
lo
b
a
l ty
p
e vars for lambd
a
s
commit
|
commitdiff
|
tree
2020-01-13
C
atherine Gasnier
clean up code
m
ode
r
for
p
a
r
ameters and retur
n
s, clean
.
.
.
commit
|
commitdiff
|
tree
2020-01-09
Cat
h
erine Gasnier
refactor inferenc
e
envi
r
onme
n
t
commit
|
commitdiff
|
tree
2019-12-17
Catherine Ga
s
nie
r
f
i
x
t
est timeout
commit
|
commitdiff
|
tree
2019-12-17
Catherine Gasnier
simplify upd
a
te_lost
_
i
n
fo
commit
|
commitdiff
|
tree
2019-12-16
Cat
h
erine Gas
n
ier
p
u
t
type
v
ar occurren
c
e
info into
a
n abstrac
t
type
commit
|
commitdiff
|
tree
2019-12-09
Cat
h
erine Ga
s
nier
remove
u
nused o
n
_
i
nfinit
e
_tvar
me
t
hod in
Ty
p
e_mapper
commit
|
commitdiff
|
tree
2019-11-22
Cath
e
rine Gasnier
n
o
n_null
d
oes i
n
tersect
i
on with Tnonnull
commit
|
commitdiff
|
tree
2019-11-22
Catherine
Gasni
e
r
b
etter detection of early so
l
ve failure
commit
|
commitdiff
|
tree
2019-11-22
Catherine Gasnier
basic_reactivity_che
c
k missin
g
m
a
tch case for inte
r
secti
o
n
commit
|
commitdiff
|
tree
2019-11-22
Catherine G
a
snier
introduce s
i
mple unions and intersections for c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2019-11-15
Catherine
Gasni
e
r
Back out "non_nul
l
d
oe
s
intersect
i
on with Tnonnu
l
l"
commit
|
commitdiff
|
tree
2019-11-15
Catherine G
a
snie
r
n
o
n_null do
e
s
inter
s
ection w
i
th Tnonnull
commit
|
commitdiff
|
tree
2019-11-15
Catherine
Ga
s
nier
s
implify union
s
after solving
type variab
l
es
commit
|
commitdiff
|
tree
2019-11-13
Cather
i
ne Gasnie
r
mi
s
sing e
x
pan
d
_types
i
n simplify_subtype
commit
|
commitdiff
|
tree
2019-11-13
Catherin
e
Gasnier
more missing e
x
pand_ty
p
es 2
commit
|
commitdiff
|
tree
2019-11-13
Catherine Gasnier
more
m
issing
exp
a
nd_type
commit
|
commitdiff
|
tree
2019-11-13
Catheri
n
e Gasnier
adding missing expand_ty
p
e
commit
|
commitdiff
|
tree
2019-11-13
C
a
therine
G
asnier
r
e
work
T
yping_expr_dep_type
.
make
commit
|
commitdiff
|
tree
2019-11-13
Catheri
n
e Gas
n
ier
bett
e
r subtyping with i
n
t
e
rsecti
o
n on
t
he left and
.
.
.
commit
|
commitdiff
|
tree
2019-11-13
Cat
h
e
rine
Gasnier
call
`
union_list`
in
s
tead
o
f
`Tunion` co
n
struct
o
r in
.
.
.
commit
|
commitdiff
|
tree
2019-11-13
Catherine Gasnier
call uni
o
n_list inste
a
d
o
f
T
union in array_fi
l
ter
commit
|
commitdiff
|
tree
2019-11-13
Catherine Ga
s
n
i
e
r
do ex
p
and_ty
p
e instead of full
y
_expan
d
in typ
i
ng_union
commit
|
commitdiff
|
tree
2019-11-13
Cat
h
erine G
a
sn
i
er
missing
e
x
pand_type before creating
r
eason Rinst
a
n
tiate
commit
|
commitdiff
|
tree
next