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
Remove $GLOBALS from hack tests
2020-09-11
C
ath
e
rine
Gasnie
r
fi
x
anti-patt
e
rn of deconst
r
ucting and recon
s
tructing
.
.
.
commit
|
commitdiff
|
tree
2020-09-11
Cathe
r
i
ne G
a
snier
r
a
ndom colle
c
t
i
on of no
-
op
imp
r
ovements
commit
|
commitdiff
|
tree
2020-09-10
Catherine Gasnier
adding logging for Typing_phase
.
localize and Typi
n
g_taccess
.
.
.
commit
|
commitdiff
|
tree
2020-09-10
Catherine Gasnier
adding
c
om
m
e
n
t
s and sm
a
ll r
e
f
a
ctors
commit
|
commitdiff
|
tree
2020-09-10
C
a
t
herine Gas
n
i
er
fix
l
og s
p
e
w
in d
u
ne
t
e
sts
commit
|
commitdiff
|
tree
2020-09-02
Catheri
n
e Gas
n
ier
f
ix anti
p
attern of de
c
onstruc
t
ing a
n
d
r
econstructing
.
.
.
commit
|
commitdiff
|
tree
2020-09-01
Cat
h
er
i
ne
Gasnier
add
i
nterface for
m
odule Typing_reason
commit
|
commitdiff
|
tree
2020-08-24
C
atherine Gasnier
add fl
a
g
-
-custom-telemetry-da
t
a
commit
|
commitdiff
|
tree
2020-08-20
Catherine Gasnier
rando
m
commen
t
impr
o
vements
commit
|
commitdiff
|
tree
2020-07-29
C
a
theri
n
e Gasnier
ad
d
documenta
t
i
o
n
t
o
T
yping_
u
n
i
on func
t
ions
commit
|
commitdiff
|
tree
2020-07-22
Cath
e
rine Ga
s
ni
e
r
compile w
i
th facebook clowder_paste i
n
stead of
s
t
ub
commit
|
commitdiff
|
tree
2020-06-02
Cathe
r
i
n
e Gasnier
us
e
one of
t
he wrapper
s
from
Er
r
ors to avoid surfac
i
ng
.
.
.
commit
|
commitdiff
|
tree
2020-06-02
Cather
i
n
e Gasnier
so
m
e documentati
o
n +
type anontations + renaming in
.
.
.
commit
|
commitdiff
|
tree
2020-06-01
Catheri
n
e Ga
s
nier
fix careless mi
s
t
a
ke in trans
i
tive closure
commit
|
commitdiff
|
tree
2020-05-27
Ca
t
herine Gasnier
fix
l
inking error
a
b
out vf
s
function being d
e
fin
e
d
.
.
.
commit
|
commitdiff
|
tree
2020-05-12
C
ath
e
ri
n
e Gasnier
stress test for transitive c
l
osure
commit
|
commitdiff
|
tree
2020-05-12
C
atherine Gasnier
add `hh_
f
orce_solve` pseudo function
commit
|
commitdiff
|
tree
2020-05-12
Ca
t
herin
e
Gasnier
cre
a
te trait
T
oO
x
idiz
e
d and implement for the environment
commit
|
commitdiff
|
tree
2020-05-11
Catheri
n
e Gasnier
hh_
s
how_env pseudo function, stubs
o
nly
commit
|
commitdiff
|
tree
2020-05-07
Cat
h
eri
n
e Gas
n
ier
`localize_ft`: mer
g
e multiple
s
ubsts map
s
where nee
d
ed
commit
|
commitdiff
|
tree
2020-05-01
Cathe
r
ine
Gasn
i
er
method c
a
lls
commit
|
commitdiff
|
tree
2020-05-01
Catheri
n
e
Gasni
e
r
por
t
i
n
g
of calls to `new`
commit
|
commitdiff
|
tree
2020-04-21
Ca
t
h
e
rine Gasnier
de-tangle
`
n
e
w_objec
t
`
commit
|
commitdiff
|
tree
2020-04-14
Catherin
e
Gasnie
r
Implementat
i
on for `union_list
`
commit
|
commitdiff
|
tree
2020-04-14
Catherine Gasnier
parts of the solver
commit
|
commitdiff
|
tree
2020-04-07
Catherine Gasnier
transiti
v
e closure
commit
|
commitdiff
|
tree
2020-04-07
Catherine
Gasnier
use
a
persiste
n
t vector in
f
or conjunctions
a
n
d disjunct
i
ons
commit
|
commitdiff
|
tree
2020-04-06
Catherine G
a
snier
some helpers in
t
yping_inference_env
.
rs
commit
|
commitdiff
|
tree
2020-04-06
Catherine Gasnier
port
`
prop_to_env`
commit
|
commitdiff
|
tree
2020-04-02
Cather
i
ne Gasnier
generat
e
va
r
iable ids lo
c
ally to the function
commit
|
commitdiff
|
tree
2020-04-02
Catherine G
a
s
n
ie
r
adding
primitives to typing::expr
commit
|
commitdiff
|
tree
2020-04-02
Cathe
r
ine Gasn
i
er
make t
a
st ann
o
tati
o
n
r
efer to positions to avoid too
.
.
.
commit
|
commitdiff
|
tree
2020-04-02
Cath
e
rine Gasnier
localize function pa
r
ameters
commit
|
commitdiff
|
tree
2020-04-01
Catherine Gasnier
locali
z
e functions with type arguments
commit
|
commitdiff
|
tree
2020-03-31
Catherin
e
G
a
snier
remove limit of
20 ite
r
a
ti
o
ns during uni
o
n
in
g
list
.
.
.
commit
|
commitdiff
|
tree
2020-03-30
C
ather
i
ne Gasn
i
er
implement l
o
calize
_
targs
commit
|
commitdiff
|
tree
2020-03-27
Cather
i
ne Gasnier
localize_t
a
rgs stub
commit
|
commitdiff
|
tree
2020-03-27
Catherin
e
G
asnier
s
u
pport calls with a
r
gum
e
nts
commit
|
commitdiff
|
tree
2020-03-25
Catheri
n
e
Gasni
e
r
m
ake env the first
p
aram
e
ter of
functions
commit
|
commitdiff
|
tree
2020-03-25
Catherine Gasnier
reorder
f
un
c
ti
o
ns in
t
yping
.
r
s
commit
|
commitdiff
|
tree
2020-03-25
Cather
i
ne Gasnier
a
d
d funct
i
ons stubs for `check_call, `fu
n
_
type_
o
f_id
.
.
.
commit
|
commitdiff
|
tree
2020-03-24
Catherine Gasnier
lo
c
a
l
iz
e
classe
s
and gene
r
i
cs
commit
|
commitdiff
|
tree
2020-03-12
Catherine Ga
s
nier
porting exp
a
nd_
v
ar logic to rust
commit
|
commitdiff
|
tree
2020-03-02
C
a
th
e
rin
e
Gasnier
infer
t
ype p
a
rameters f
o
r var
r
ay, darray
,
array annotat
i
ons
commit
|
commitdiff
|
tree
2020-02-29
Catherine G
a
s
n
ier
make su
r
e
va
r
i
ables
f
rom the same
type (e
.
g
.
Map<#1
.
.
.
commit
|
commitdiff
|
tree
2020-02-29
Catherine G
a
sn
i
er
mak
e
type va
r
ids from position hashes
commit
|
commitdiff
|
tree
2020-02-28
Cath
e
r
i
n
e
Gasni
e
r
a
l
low
t
o reinfer PHPism_FIXME_A
r
ray
commit
|
commitdiff
|
tree
2020-02-27
Cather
i
ne Gasnier
for X a ty
p
e to
r
einfer, a
l
so create a
t
ype var
for ?X
commit
|
commitdiff
|
tree
2020-02-26
C
a
theri
n
e Gasnier
add test for partial type annotat
i
on
i
nferen
c
e rewriting
commit
|
commitdiff
|
tree
2020-02-26
Ca
t
herine Gasnier
allow to
infer par
t
ially anno
t
ated cl
a
sses
commit
|
commitdiff
|
tree
2020-02-26
Catheri
n
e Gasnier
add test alias for serv
e
r
_
tests
.
ml
commit
|
commitdiff
|
tree
2020-02-21
Cat
h
erine Gasnier
give
more explicit n
a
me to
chec
k
_pa
r
am a
n
d oth
e
r ren
a
m
i
ngs
commit
|
commitdiff
|
tree
2020-02-21
Cat
h
erine
Gasnier
Fixing occ
u
rrence of Tnot
h
ing which
has be
e
n
dep
r
e
cated
commit
|
commitdiff
|
tree
2020-02-20
Catherine Gasnie
r
create
global type variables fo
r
hints
f
rom the reinfer_ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2020-02-20
Catheri
n
e Gasnier
add opt
i
on
to spec
i
fy whic
h
t
ypes to re
i
n
f
er
commit
|
commitdiff
|
tree
2020-02-19
Catheri
n
e
G
asnier
command
t
o
c
o
mpa
r
e solved environme
n
ts
commit
|
commitdiff
|
tree
2020-02-19
Cat
h
erin
e
G
a
snier
s
e
parate comm
a
nd for optimized sol
v
i
n
g
commit
|
commitdiff
|
tree
2020-02-19
Catherine Gasnier
ordered solv
e
r
commit
|
commitdiff
|
tree
2020-02-18
C
a
the
r
ine Gasnier
avoid po
t
ential file descript
o
r l
e
ak
commit
|
commitdiff
|
tree
2020-02-14
C
a
therine Gasn
i
er
remove a
l
l
`
ignore`s in Typing
commit
|
commitdiff
|
tree
2020-02-12
Catherine Gasn
i
er
r
e
move
a
ll
`ignor
e
`
s
in T
y
pin
g
_extends
commit
|
commitdiff
|
tree
2020-02-12
C
a
therine Gas
n
ier
remove one more `ig
n
ore`
commit
|
commitdiff
|
tree
2020-02-12
Catherine Gasnier
remove one more 'ignore'
commit
|
commitdiff
|
tree
2020-02-12
Catherine Gasnier
remove
o
ne other 'ignore'
commit
|
commitdiff
|
tree
2020-02-12
Catherine Gasnier
r
e
move call
to
`
ignore` w
h
ich
drop
s
environment
commit
|
commitdiff
|
tree
2020-01-27
Catherine Ga
s
nier
raise exc
e
ption when adding boun
d
to
al
r
eady solved
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Catherine
G
as
n
i
er
clean
u
p temporary variable
s
created
whi
l
e merging
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Catherine Gasnier
un
d
o D1644
0
063
a
nd D16666682 wh
i
ch have been superseded
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Catherine
G
asnier
f
ix
o
f type
variable bei
n
g disca
r
de
d
with env
commit
|
commitdiff
|
tree
2020-01-27
Cathe
r
ine
G
a
s
n
ier
fix global infere
n
ce for st
a
t
i
c metho
d
s
commit
|
commitdiff
|
tree
2020-01-27
Ca
t
h
e
r
i
ne Gasni
e
r
ra
i
se exception whe
n
setting bounds of a
l
ready solv
e
d
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Cather
i
ne Gasnier
r
aise exception when setting type consta
n
t or
P
U
a
c
cess
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Catherine Gasnier
raise
e
xc
e
ption w
h
en set
t
ing
v
ariance on solved type var
commit
|
commitdiff
|
tree
2020-01-24
C
atherine Ga
s
nier
don't r
e
create g
l
oba
l
t
y
pe
v
ar if it alread
y
e
xists
commit
|
commitdiff
|
tree
2020-01-24
Cather
i
n
e Gasni
e
r
f
i
x bug
wh
e
re env was droppe
d
commit
|
commitdiff
|
tree
2020-01-24
Catherine Gasnier
avoid crashing with exceptions and surfac
e
as an err
o
r
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
C
a
t
h
erine Ga
s
nier
fix bu
g
wher
e
en
v
i
ronment was wrong
l
y dropped, loosing
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
Catherin
e
Gasnier
r
ai
s
e e
x
ception when
setting type constant or PU ac
c
ess
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
Ca
t
herine Gasn
i
er
ra
i
se
e
xcep
t
i
o
n
when sett
i
ng bounds of already solved
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
Catherine Gas
n
ier
raise exception wh
e
n setting varia
n
c
e on s
o
lved ty
p
e var
commit
|
commitdiff
|
tree
2020-01-22
Catherine Gasnier
r
e
move dead modu
l
e Ty
p
ing_
g
ath
e
r_defined
commit
|
commitdiff
|
tree
2020-01-22
Catherine Gasnier
av
o
id
c
rashing wit
h
exc
e
ptions for all AST definitions
commit
|
commitdiff
|
tree
2020-01-22
Cather
i
n
e Gasnier
fix none positi
o
n in wrap_ty_i
n
_va
r
commit
|
commitdiff
|
tree
2020-01-22
Ca
t
herine Gasni
e
r
call
t
ype simplifier
wit
h
Env
.
add instead o
f
T
y
p
i
n
g
_
s
o
lve
r
.
.
.
commit
|
commitdiff
|
tree
2020-01-20
Catherine
G
asnier
s
ti
l
l add type var to infer
e
nce env
even
w
h
e
n
outside
.
.
.
commit
|
commitdiff
|
tree
2020-01-20
Ca
t
herine Gasnier
more type
s
i
mplifier
tes
t
s
commit
|
commitdiff
|
tree
2020-01-20
Catherine Gas
n
i
er
introduce unit
te
s
ting w
i
t
h OUnit
commit
|
commitdiff
|
tree
2020-01-14
Catherine Gasnier
tyvar_oc
c
urrences was not maintained properly when
.
.
.
commit
|
commitdiff
|
tree
2020-01-13
Ca
t
herine
G
asnie
r
mov
e
t
yvar_occurrences field
from Typ
i
ng_env_types
.
.
.
commit
|
commitdiff
|
tree
2020-01-13
Cathe
r
ine Gasni
e
r
don't create gl
o
b
al type va
r
s for lambd
a
s
commit
|
commitdiff
|
tree
2020-01-13
Cat
h
eri
n
e Gasnier
c
lean up codem
o
d
e
r
f
o
r
parameters and
returns
,
clean
.
.
.
commit
|
commitdiff
|
tree
2020-01-09
Cath
e
rine Gasnier
refactor inference e
n
vironment
commit
|
commitdiff
|
tree
2019-12-17
Cat
h
er
i
ne G
a
snier
f
ix test tim
e
o
ut
commit
|
commitdiff
|
tree
2019-12-17
C
a
therine G
a
s
n
ier
simplify up
d
at
e
_los
t
_info
commit
|
commitdiff
|
tree
2019-12-16
Catherine Gasnier
p
ut type
v
ar
o
c
cur
r
ence info
into an abstract
type
commit
|
commitdiff
|
tree
2019-12-09
Cather
i
ne Gas
n
ier
remove u
n
used on_
i
nfinite_
t
var method in T
y
pe_m
a
pper
commit
|
commitdiff
|
tree
2019-11-22
C
ather
i
ne Gasnier
non_null does i
n
tersecti
o
n with
Tnonnull
commit
|
commitdiff
|
tree
2019-11-22
C
atherine Ga
s
nier
better
detecti
o
n of early solve fa
i
lure
commit
|
commitdiff
|
tree
2019-11-22
Cat
h
erine Gasnie
r
basic_
r
ea
c
t
i
vity_check mi
s
sin
g
match case fo
r
in
t
e
r
sec
t
ion
commit
|
commitdiff
|
tree
2019-11-22
Catherine Ga
s
nier
introd
u
ce simple unio
n
s a
n
d
intersections for constraint
.
.
.
commit
|
commitdiff
|
tree
next