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
Emit an implicit break at the end of last case block in switch statements
2020-02-12
Cat
h
erine Gasnier
remove all
`ignore`s in Typi
n
g_extends
commit
|
commitdiff
|
tree
2020-02-12
Cat
h
e
r
i
n
e
G
as
n
i
er
remove one
m
ore `igno
r
e
`
commit
|
commitdiff
|
tree
2020-02-12
C
athe
r
ine G
a
s
n
i
er
re
m
o
v
e on
e
more
'
i
g
nore'
commit
|
commitdiff
|
tree
2020-02-12
Cather
i
ne Ga
s
nier
r
e
m
o
ve o
n
e other 'ignore'
commit
|
commitdiff
|
tree
2020-02-12
Catherine Gasni
e
r
re
m
ove call to
`
ignore` which
d
ro
p
s environment
commit
|
commitdiff
|
tree
2020-01-27
Catherine G
a
snier
raise exception
when
ad
d
ing
bound to already solved
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
C
a
therin
e
Gasnier
clean up
te
m
porary va
r
iables created
while
m
erging
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Catherine Gasnier
undo
D
1644
0
063 and D16666682 which have been s
u
perseded
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Catherine Gasnier
fix of ty
p
e variabl
e
being discarded with env
commit
|
commitdiff
|
tree
2020-01-27
Cath
e
r
i
n
e
Gas
n
ier
fix global
i
n
ference
f
or st
a
tic methods
commit
|
commitdiff
|
tree
2020-01-27
Cath
e
rine Gasnier
r
a
ise exceptio
n
when setting bounds
o
f
already
solve
d
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Catherine Gasn
i
er
raise
e
xception when
s
etting typ
e
constant or PU access
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Cath
e
rine G
a
snier
ra
i
s
e exception
when setting varian
c
e on solved type var
commit
|
commitdiff
|
tree
2020-01-24
Catherine Gasnier
don't recrea
t
e glob
a
l type var if
it a
l
r
e
ady
e
xist
s
commit
|
commitdiff
|
tree
2020-01-24
Catherine Gas
n
ie
r
fix
bu
g
where en
v
was dropped
commit
|
commitdiff
|
tree
2020-01-24
C
atherine Gas
n
ier
avoid crashing with exceptio
n
s
and surfac
e
as a
n
error
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
Cath
e
rine Gasni
e
r
fix
bug where environmen
t
wa
s
wrongly dropped, loosing
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
C
a
ther
i
n
e Gasnier
raise
e
xception when s
e
tting ty
p
e con
s
t
a
n
t
or PU acc
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
Cathe
r
i
ne
Ga
s
nier
rais
e
exception when set
t
ing bounds
of already s
o
lved
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
C
a
t
herine Gasnier
raise
e
xcepti
o
n
w
hen se
t
ting
v
ariance o
n
solved ty
p
e
v
ar
commit
|
commitdiff
|
tree
2020-01-22
Catherin
e
Gas
n
ier
remove dead m
o
dule Typing_gather_defin
e
d
commit
|
commitdiff
|
tree
2020-01-22
Catheri
n
e G
a
s
n
ier
avoid
c
ras
h
in
g
with ex
c
eptions for all AST definitions
commit
|
commitdiff
|
tree
2020-01-22
Catherine G
a
snier
fix
none position
i
n
wr
a
p_ty_in_var
commit
|
commitdiff
|
tree
2020-01-22
Catherine Ga
s
nier
cal
l
type simplifi
e
r
with Env
.
add instead o
f
Typin
g
_s
o
lver
.
.
.
commit
|
commitdiff
|
tree
2020-01-20
Cather
i
ne
Gas
n
ier
still add type
var to infer
e
nce env even wh
e
n outsi
d
e
.
.
.
commit
|
commitdiff
|
tree
2020-01-20
Catherine Gasni
e
r
mo
r
e type
s
imp
l
ifier test
s
commit
|
commitdiff
|
tree
2020-01-20
Catherine Gasnier
int
r
oduce unit te
s
ting with OU
n
it
commit
|
commitdiff
|
tree
2020-01-14
Catherine Ga
s
n
i
e
r
tyvar_occur
r
en
c
es was not maintained properly when
.
.
.
commit
|
commitdiff
|
tree
2020-01-13
C
a
t
h
e
r
i
ne Gasni
e
r
move tyvar_occur
r
ences
field fr
o
m Typing_env_t
y
pes
.
.
.
commit
|
commitdiff
|
tree
2020-01-13
Cathe
r
ine Gasnier
don't cr
e
a
te global type vars for l
a
mbdas
commit
|
commitdiff
|
tree
2020-01-13
Cathe
r
ine
Gasnier
clean
u
p c
o
d
emod
e
r for parameter
s
a
n
d
returns, clean
.
.
.
commit
|
commitdiff
|
tree
2020-01-09
Ca
t
herine Gasnier
refac
t
or in
f
e
rence
environment
commit
|
commitdiff
|
tree
2019-12-17
C
a
th
e
r
ine Ga
s
nier
fi
x
test timeou
t
commit
|
commitdiff
|
tree
2019-12-17
C
a
ther
i
ne Gasnier
simpl
i
fy update_lost_info
commit
|
commitdiff
|
tree
2019-12-16
Catherine
G
a
s
n
i
er
put type var
o
ccurr
e
nce
info
i
nto an ab
s
tract
t
y
p
e
commit
|
commitdiff
|
tree
2019-12-09
Catherine Ga
s
nier
re
m
ov
e
unused on_infin
i
te_tvar met
h
o
d i
n
Type_mapper
commit
|
commitdiff
|
tree
2019-11-22
Ca
t
herine
G
a
s
n
ier
non_nul
l
does in
t
e
rs
e
ction with Tnon
n
u
l
l
commit
|
commitdiff
|
tree
2019-11-22
Cath
e
rine Gasnier
bett
e
r d
e
tection o
f
e
a
r
ly solve failure
commit
|
commitdiff
|
tree
2019-11-22
Catherine Gasnier
basic_reactivity_c
h
eck missing match ca
s
e fo
r
inte
r
section
commit
|
commitdiff
|
tree
2019-11-22
Catherine G
a
sn
i
er
introdu
c
e
simple unio
n
s and intersec
t
ions for constraint
.
.
.
commit
|
commitdiff
|
tree
2019-11-15
Catherine Gasnier
Back out "non_null
d
oes inters
e
ction with
Tnonn
u
ll
"
commit
|
commitdiff
|
tree
2019-11-15
Catherine
Gasnier
no
n
_null does in
t
e
rsection with Tnonnull
commit
|
commitdiff
|
tree
2019-11-15
Ca
t
herine Gasnier
simplify union
s
after so
l
ving type
varia
b
l
es
commit
|
commitdiff
|
tree
2019-11-13
Cathe
r
ine Gasni
e
r
mi
s
sing expand_typ
e
s
in simp
l
i
f
y_subtype
commit
|
commitdiff
|
tree
2019-11-13
Catheri
n
e Gasnier
more missing
e
xpand_types 2
commit
|
commitdiff
|
tree
2019-11-13
Cathe
r
ine
Gasnier
more
m
issing expand_type
commit
|
commitdiff
|
tree
2019-11-13
Cath
e
rine G
a
sni
e
r
a
d
ding missing
expan
d
_t
y
pe
commit
|
commitdiff
|
tree
2019-11-13
C
atherine Gasnie
r
r
e
w
ork Ty
p
in
g
_e
x
pr_dep
_
type
.
mak
e
commit
|
commitdiff
|
tree
2019-11-13
Ca
t
herine Gasnier
b
e
t
t
er su
b
typing wi
t
h intersection on the l
e
ft and
.
.
.
commit
|
commitdiff
|
tree
2019-11-13
Cath
e
rin
e
Ga
s
n
i
e
r
call `union_
l
ist` instead of `Tunio
n
`
co
n
str
u
ct
o
r in
.
.
.
commit
|
commitdiff
|
tree
2019-11-13
Cather
i
ne
G
a
snier
c
al
l
unio
n
_li
s
t instea
d
of Tunion in
a
r
r
a
y
_filter
commit
|
commitdiff
|
tree
2019-11-13
Catherin
e
Gasnier
do expand_type
i
n
stead of
f
ully
_
e
xpand in typing_union
commit
|
commitdiff
|
tree
2019-11-13
Catherine Gasnier
missing expand_type before creating
reas
o
n Rinst
a
ntiate
commit
|
commitdiff
|
tree
2019-11-12
C
a
therine G
a
sni
e
r
more l
o
gg
i
ng
i
n
typing_union
commit
|
commitdiff
|
tree
2019-11-12
Catherine Gas
n
ier
m
ake
_
union creates ~?A instead
o
f ?~A
commit
|
commitdiff
|
tree
2019-11-12
Cath
e
r
ine
G
asnie
r
k
ill
`
e
n
sure_opti
o
n`
commit
|
commitdiff
|
tree
2019-11-11
Catherine Gasnier
adding some m
i
ssing expand_type
commit
|
commitdiff
|
tree
2019-11-11
Catherine Gas
n
ier
u
pdate
t
yvar_occurre
n
ces
when doing var
b
i
n
ding
commit
|
commitdiff
|
tree
2019-11-11
C
a
therine Gasnier
introduce
e
nv
.
tyvar_occurrences
commit
|
commitdiff
|
tree
2019-11-11
Catherine Gasnier
bug in
typechec
k
ing of conditions with
|
|
commit
|
commitdiff
|
tree
2019-11-07
Catherine
Gasnier
remove
i
s
_tvar
commit
|
commitdiff
|
tree
2019-11-04
C
a
therine
G
asnier
f
ix t
y
p
e
var
r
ecursive
b
in
d
i
n
g
commit
|
commitdiff
|
tree
2019-11-01
Catheri
n
e Gasnier
kil
l
hm_nu
l
ls
a
fe fiel
d
in
T
has_member
commit
|
commitdiff
|
tree
2019-11-01
C
ath
e
rine Gasnier
t
y
pecheck Ob
j
_
get
u
sing
s
u
b
typ
i
ng
commit
|
commitdiff
|
tree
2019-10-31
Ca
t
herine Gasni
e
r
kill
f
latten_unreso
l
ved
commit
|
commitdiff
|
tree
2019-10-30
C
a
th
e
rine Gasnier
Imp
l
emen
t
subt
y
ping of Thas_member using obj_get
commit
|
commitdiff
|
tree
2019-10-30
Ca
t
herine
G
a
snier
Com
p
lete subtyping relationshi
p
with const
r
aint types
.
.
.
commit
|
commitdiff
|
tree
2019-10-30
Catherine
G
a
s
nier
fix a few bugs
aft
e
r int
r
o
du
c
tion of Thas
_
m
ember
commit
|
commitdiff
|
tree
2019-10-18
Cat
h
erine Gasnier
impr
o
ve debuggability of verify
.
py
commit
|
commitdiff
|
tree
2019-10-17
C
atherine Gasnier
keep 20 old log files a
r
ound
commit
|
commitdiff
|
tree
2019-10-11
Catherine Ga
s
n
i
e
r
i
m
plement type comparison for co
n
strai
n
t
types
commit
|
commitdiff
|
tree
2019-10-11
C
a
t
h
erine Gasnier
remaining todos
for constraint ty
p
es:
g
et_tyvars
,
ty_siz
e
commit
|
commitdiff
|
tree
2019-10-11
C
a
therine Gasnier
a
c
cessing C::T whe
n
T is
abstra
c
t
should be forbi
d
den
.
.
.
commit
|
commitdiff
|
tree
2019-10-11
C
a
therine Gasnier
reor
g
anize simpli
f
y_subtyp
e
to m
a
ke ce
r
tain c
a
ses work
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
Cathe
r
i
ne Gasnier
cha
n
ge bu
i
ld inf
o
r
evision to be the fu
l
l hg commit
.
.
.
commit
|
commitdiff
|
tree
2019-10-07
Catherine
Gasnie
r
implement printing o
f
co
n
straint types
commit
|
commitdiff
|
tree
2019-10-07
Catheri
n
e
Gasnier
introduce
n
e
w
ty
p
e
o
f type
s
: constr
a
int typ
e
s
commit
|
commitdiff
|
tree
2019-10-07
Catherine Gasni
e
r
clarification comment for inference f
u
ncti
o
n
s
commit
|
commitdiff
|
tree
2019-10-07
Cath
e
rine Gasnier
r
e
m
ove useless env'
commit
|
commitdiff
|
tree
2019-10-02
Catherine Gasnier
move
obj_get
to its own m
o
du
l
e
commit
|
commitdiff
|
tree
2019-09-18
Catherin
e
Gasn
i
e
r
kill fold_unresol
v
ed
commit
|
commitdiff
|
tree
2019-09-13
Catherine Gasnier
forbid usage
of push_optio
n
_out out
s
ide Typing_s
o
lver
commit
|
commitdiff
|
tree
2019-09-13
Cat
h
erine Gasni
e
r
pr
o
per control flow typ
i
n
g
for go
t
o
commit
|
commitdiff
|
tree
2019-09-13
Ca
t
he
r
ine Gasnier
simpli
f
y Typing_union
commit
|
commitdiff
|
tree
2019-09-06
Catherine Gasnie
r
remove dead function diff
commit
|
commitdiff
|
tree
2019-09-05
Ca
t
h
erine Gasnier
remove dead par
a
meter in make_un
i
on
commit
|
commitdiff
|
tree
2019-08-28
C
a
t
h
erine G
a
snier
sepa
r
ate typin
g
_e
n
v_t
y
pe
s
and typing_env
commit
|
commitdiff
|
tree
2019-08-22
Catherine
G
a
s
n
i
er
m
ore complete tr
e
atement of arithmetics in
v
olv
i
ng in
t
s
commit
|
commitdiff
|
tree
2019-08-22
Catherine
G
asnier
a
d
d constr
a
int on args when
c
alling with a
n
y
as function
.
.
.
commit
|
commitdiff
|
tree
2019-08-01
Catherine
Gasnier
account for any w
h
en b
i
nd
i
ng to equa
l
bound
commit
|
commitdiff
|
tree
2019-07-31
Catherine Gasnier
declutter lo
g
ging
for the "sub" cat
e
g
ory
commit
|
commitdiff
|
tree
2019-07-31
C
a
ther
i
ne Gasnier
remo
v
e Continuation_n
o
t
_
found exc
e
ption altogeth
e
r
commit
|
commitdiff
|
tree
2019-07-17
Cather
i
ne Gasnier
simplify_un
i
o
ns a
l
w
ays calls
si
m
p
l
ify_inter
s
ec
t
ions
commit
|
commitdiff
|
tree
2019-07-08
Catherine Ga
s
nier
rem
o
ve usa
g
e of non_n
u
ll in
t
yping
of await
commit
|
commitdiff
|
tree
2019-07-08
Cathe
r
i
n
e
G
asnier
r
emove us
a
ge
of non_nu
l
l in check for __AtMostRxAsFunc
commit
|
commitdiff
|
tree
2019-07-08
Ca
t
h
erine Gasnier
fix assignme
n
t
in eif
commit
|
commitdiff
|
tree
2019-07-07
Catheri
n
e
G
asni
e
r
Refine expr
e
s
s
i
o
n to type of null at
condit
i
ons
commit
|
commitdiff
|
tree
2019-07-07
Catherine
Gasnier
refinement of conjunc
t
ions and
disjunct
i
on
s
commit
|
commitdiff
|
tree
2019-07-07
Catherine Gas
n
i
er
so
l
ve
con
t
ravariant type vars to i
n
ter
s
ection of uppe
r
.
.
.
commit
|
commitdiff
|
tree
2019-07-07
Catherine
G
asnier
s
i
m
plify interse
c
tions after closing tyv
a
r scope
commit
|
commitdiff
|
tree
next