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
don't recreate global type var if it already exists
2020-01-24
Catherine
G
a
sn
i
er
don't recreate glob
a
l typ
e
var if it al
r
eady e
x
ists
commit
|
commitdiff
|
tree
2020-01-24
Ca
t
h
e
rine Gasn
i
er
fi
x
bug where env w
a
s
dropped
commit
|
commitdiff
|
tree
2020-01-24
Cath
e
rine Gasn
i
er
avoid crashi
n
g with
exce
p
tio
n
s and surface as an error
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
Catherine Gasnier
fix b
u
g where environment was wrongl
y
dr
o
p
ped, loos
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
Catherine Gasn
i
er
raise exception when se
t
ting ty
p
e constan
t
or PU acc
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
Catherine Gasnier
r
aise exception wh
e
n s
e
tti
n
g bounds of
a
lready solved
.
.
.
commit
|
commitdiff
|
tree
2020-01-23
Cathe
r
i
ne Gas
n
ier
r
a
ise
exc
e
ption when set
t
ing variance on s
o
lved type var
commit
|
commitdiff
|
tree
2020-01-22
C
ather
i
ne Ga
s
nie
r
r
e
move
d
e
a
d mod
u
le Typing_gathe
r
_defined
commit
|
commitdiff
|
tree
2020-01-22
Catherine Gasn
i
er
avoid
c
rash
i
n
g with excep
t
ions for all
A
ST d
e
fi
n
itions
commit
|
commitdiff
|
tree
2020-01-22
Cat
h
e
r
ine Gasnier
fix none p
o
sition i
n
wrap
_
ty_in_var
commit
|
commitdiff
|
tree
2020-01-22
Catherine Gasnier
call type simplifier
w
ith Env
.
add instead of Typing_solver
.
.
.
commit
|
commitdiff
|
tree
2020-01-20
Catherine Gasnier
s
till add type var
t
o
i
n
fere
n
ce en
v
even when
o
utside
.
.
.
commit
|
commitdiff
|
tree
2020-01-20
Catherine Ga
s
nier
more ty
p
e sim
p
lifier
tests
commit
|
commitdiff
|
tree
2020-01-20
Cat
h
e
rine Gasnier
int
r
od
u
ce
u
n
it testing w
i
th OUnit
commit
|
commitdiff
|
tree
2020-01-14
Catherine Gas
n
ier
t
y
var_oc
c
urre
n
ces w
a
s
not
m
aintained properly
w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2020-01-13
Catherine Gasnier
move tyvar_oc
c
urrence
s
field from Typi
n
g
_en
v
_types
.
.
.
commit
|
commitdiff
|
tree
2020-01-13
Catherine Gasnie
r
don't cre
a
te global type vars
for
l
ambda
s
commit
|
commitdiff
|
tree
2020-01-13
Catherine Gasnier
clean up codem
o
der
for parameters and returns, clean
.
.
.
commit
|
commitdiff
|
tree
2020-01-09
Catherine
G
a
s
nier
refac
t
or in
f
eren
c
e
e
nvironme
n
t
commit
|
commitdiff
|
tree
2019-12-17
Catherin
e
Ga
s
nier
fi
x
te
s
t time
o
ut
commit
|
commitdiff
|
tree
2019-12-17
C
a
therine Gasnie
r
simplify update_lost_info
commit
|
commitdiff
|
tree
2019-12-16
Cat
h
er
i
n
e
Gasnier
put type
v
ar oc
c
urrence info into an a
b
stract type
commit
|
commitdiff
|
tree
2019-12-09
Ca
t
h
e
rine
G
asnier
r
e
m
o
ve un
u
s
ed o
n
_infinite_t
v
a
r
method i
n
T
ype_mappe
r
commit
|
commitdiff
|
tree
2019-11-22
Cathe
r
ine Gasnier
non_null does intersectio
n
wit
h
Tnonnull
commit
|
commitdiff
|
tree
2019-11-22
Cat
h
e
rine Gasnier
better
d
etection of early solve f
a
ilure
commit
|
commitdiff
|
tree
2019-11-22
Catherine Gasnie
r
basi
c
_reactiv
i
ty
_
check missing match case for in
t
ers
e
ction
commit
|
commitdiff
|
tree
2019-11-22
Catherine Gasnier
int
r
oduce
s
i
mple uni
o
ns and in
t
er
s
ections for constrain
t
.
.
.
commit
|
commitdiff
|
tree
2019-11-15
Catherine Gasnier
B
ack out
"non_
n
ul
l
does
intersect
i
on with Tnonnull"
commit
|
commitdiff
|
tree
2019-11-15
C
a
therine Ga
s
ni
e
r
non_null does
i
ntersection with Tnon
n
ull
commit
|
commitdiff
|
tree
2019-11-15
Catherine Gasni
e
r
simp
l
i
f
y unions after solving t
y
pe
va
r
i
a
bl
e
s
commit
|
commitdiff
|
tree
2019-11-13
Cather
i
ne Gasnier
missing exp
a
nd_t
y
pes in simplify_subty
p
e
commit
|
commitdiff
|
tree
2019-11-13
C
atherin
e
Gasnier
more missing expand_types
2
commit
|
commitdiff
|
tree
2019-11-13
Ca
t
herine G
a
snier
more missing exp
a
n
d
_
type
commit
|
commitdiff
|
tree
2019-11-13
Cath
e
r
i
ne Gasnier
adding mis
s
i
ng expand_t
y
pe
commit
|
commitdiff
|
tree
2019-11-13
Cat
h
erine Gasnier
rework Typi
n
g_
e
xpr_dep_type
.
m
ake
commit
|
commitdiff
|
tree
2019-11-13
Cather
i
ne
G
a
snier
b
etter subtyping with intersection on
th
e
left and
.
.
.
commit
|
commitdiff
|
tree
2019-11-13
Catherine Gas
n
ier
call `union_list` instead of `Tunio
n
` c
o
nstr
u
ctor in
.
.
.
commit
|
commitdiff
|
tree
2019-11-13
C
a
t
herine Gasnier
call union_list i
n
ste
a
d of Tun
i
on in
a
rray_fil
t
er
commit
|
commitdiff
|
tree
2019-11-13
C
atherine Gasnier
do expand
_
type
instead of fully_expan
d
in typing
_
unio
n
commit
|
commitdiff
|
tree
2019-11-13
Catherine Gas
n
i
er
missing ex
p
and_type befor
e
c
r
ea
t
ing reason Rinst
a
nt
i
ate
commit
|
commitdiff
|
tree
2019-11-12
Catherine G
a
snier
more
l
ogging in ty
p
ing
_
union
commit
|
commitdiff
|
tree
2019-11-12
C
atherine Ga
s
nier
ma
k
e_union creates ~?A instead of ?~A
commit
|
commitdiff
|
tree
2019-11-12
Catherine Gasnier
kil
l
`ensure_option`
commit
|
commitdiff
|
tree
2019-11-11
Catherine Gasnier
adding
s
ome
missing
expand
_
type
commit
|
commitdiff
|
tree
2019-11-11
Catherine Ga
s
nier
update tyvar_occurren
c
e
s when d
o
ing
v
ar bindin
g
commit
|
commitdiff
|
tree
2019-11-11
Catherine Gasnier
introduce
env
.
tyvar_occurre
n
ce
s
commit
|
commitdiff
|
tree
2019-11-11
Catherine Gas
n
ier
bug
in
t
y
pechecking of conditio
n
s wit
h
||
commit
|
commitdiff
|
tree
2019-11-07
Catherine Gasnier
remove is_tv
a
r
commit
|
commitdiff
|
tree
2019-11-04
C
a
ther
i
n
e
Gasnier
fix type
var
recursive binding
commit
|
commitdiff
|
tree
2019-11-01
C
ather
i
ne Gasnier
ki
l
l
hm_
n
u
ll
s
a
f
e
fi
e
ld
i
n Thas_member
commit
|
commitdiff
|
tree
2019-11-01
Catherine Gas
n
i
e
r
t
y
peche
c
k Obj_g
e
t
using subtyping
commit
|
commitdiff
|
tree
2019-10-31
Cath
e
ri
n
e Gasnier
k
i
ll flat
t
en_unresolved
commit
|
commitdiff
|
tree
2019-10-30
Ca
t
herin
e
Gasnier
Imp
l
ement
s
u
btyping of Tha
s
_memb
e
r usi
n
g
o
b
j_get
commit
|
commitdiff
|
tree
2019-10-30
Catherine Gasnier
Comp
l
e
t
e
s
u
btyping
relationsh
i
p with constraint
t
ypes
.
.
.
commit
|
commitdiff
|
tree
2019-10-30
Catherine Gasnier
fix
a
few bugs afte
r
int
r
oduction o
f
Thas_member
commit
|
commitdiff
|
tree
2019-10-18
Cather
i
n
e Gasnier
improve debuggabilit
y
of ve
r
i
fy
.
py
commit
|
commitdiff
|
tree
2019-10-17
Cat
h
erine Gasni
e
r
ke
e
p 20 old log files a
r
ound
commit
|
commitdiff
|
tree
2019-10-11
C
a
th
e
rine
Gasnier
i
mplement type com
p
arison fo
r
c
onstraint ty
p
es
commit
|
commitdiff
|
tree
2019-10-11
Catherine
Gasnier
remaining
todos for c
o
nstraint ty
p
es: get_tyvars, ty_size
commit
|
commitdiff
|
tree
2019-10-11
Ca
t
herine G
a
snier
accessi
n
g C::T when T is
a
bstract
should be
forbi
d
den
.
.
.
commit
|
commitdiff
|
tree
2019-10-11
Catherine Gasni
e
r
reo
r
g
anize simp
l
ify_subtype to
ma
k
e certain cas
e
s work
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
Catherine Ga
s
nier
c
h
ange build
i
nfo
r
evision to
b
e the full hg comm
i
t
.
.
.
commit
|
commitdiff
|
tree
2019-10-07
Catherine Gas
n
ier
impl
e
men
t
prin
t
ing
o
f c
o
nstraint types
commit
|
commitdiff
|
tree
2019-10-07
Catherine
G
asnier
intr
o
du
c
e new type of ty
p
e
s
: constraint
types
commit
|
commitdiff
|
tree
2019-10-07
Cath
e
rine Gasnier
cl
a
rification
c
omment for inference functions
commit
|
commitdiff
|
tree
2019-10-07
Cath
e
rine Gasnier
re
m
ove
u
seless en
v
'
commit
|
commitdiff
|
tree
2019-10-02
Cathe
r
ine Gas
n
i
e
r
move obj_get to its
own module
commit
|
commitdiff
|
tree
2019-09-18
Catheri
n
e Gas
n
ier
kill fo
l
d_unresol
v
ed
commit
|
commitdiff
|
tree
2019-09-13
Cat
h
e
rine Gasnier
forbid usage o
f
push_opti
o
n_out out
s
i
d
e
T
yping_
s
olver
commit
|
commitdiff
|
tree
2019-09-13
Catherine
Gasnier
proper cont
r
ol flow typing
for goto
commit
|
commitdiff
|
tree
2019-09-13
Cat
h
erine G
a
sni
e
r
s
i
mplify
T
yping_u
n
ion
commit
|
commitdiff
|
tree
2019-09-06
C
athe
r
in
e
Gasnier
remo
v
e dead fu
n
ctio
n
diff
commit
|
commitdiff
|
tree
2019-09-05
C
a
therine Gasnier
remo
v
e dead parameter in m
a
k
e
_
union
commit
|
commitdiff
|
tree
2019-08-28
Catherine
Gasnier
se
p
arate typin
g
_env_types and t
y
pi
n
g_en
v
commit
|
commitdiff
|
tree
2019-08-22
C
atherine Gasn
i
er
more c
o
mp
l
ete t
r
eatement of arithmetics involvi
n
g ints
commit
|
commitdiff
|
tree
2019-08-22
Catherine Gas
n
ier
add
constra
i
nt on args when calling with any as func
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2019-08-01
Ca
t
herine Gasnier
accoun
t
for any when binding
t
o equa
l
bound
commit
|
commitdiff
|
tree
2019-07-31
Catherine Gasnie
r
d
eclu
t
t
er logging for the "sub"
c
ategory
commit
|
commitdiff
|
tree
2019-07-31
Catherine Gasnier
remo
v
e Continua
t
ion_not_foun
d
exception altogether
commit
|
commitdiff
|
tree
2019-07-17
Catherine Gasn
i
er
simp
l
ify_unions al
w
ays calls
simplify_i
n
ters
e
ct
i
ons
commit
|
commitdiff
|
tree
2019-07-08
Catherine Ga
s
n
i
er
remove usa
g
e
of
non_n
u
ll i
n
t
y
ping of await
commit
|
commitdiff
|
tree
2019-07-08
Catherine
G
a
snier
remove usage of non_null i
n
check
f
or __AtMostRxAsFunc
commit
|
commitdiff
|
tree
2019-07-08
Catherine
G
asnier
fi
x
ass
i
gnment in eif
commit
|
commitdiff
|
tree
2019-07-07
Catheri
n
e Ga
s
nier
Refi
n
e
express
i
on to
type of n
u
l
l
at conditions
commit
|
commitdiff
|
tree
2019-07-07
C
a
therine Gasnier
re
f
in
e
ment of conjunctions and
d
isjunction
s
commit
|
commitdiff
|
tree
2019-07-07
Cathe
r
ine Gasnier
solve contra
v
ariant type vars to intersect
i
o
n of upper
.
.
.
commit
|
commitdiff
|
tree
2019-07-07
Catherine Gasnier
simplify i
n
ter
s
ec
t
io
n
s after c
l
o
s
ing
t
yvar
scope
commit
|
commitdiff
|
tree
2019-07-07
Catherine Gasn
i
er
r
e
fine using i
n
tersections
commit
|
commitdiff
|
tree
2019-07-04
Cathe
r
ine Gas
n
ier
make expr dep
e
ndent type fro
m
inter
s
ection
commit
|
commitdiff
|
tree
2019-06-28
Cather
i
ne Gasnier
complete the `sub_type` function for
i
nters
e
c
t
i
o
n
commit
|
commitdiff
|
tree
2019-06-28
Catherine Gas
n
i
er
s
hape int
e
rsect
i
on
commit
|
commitdiff
|
tree
2019-06-28
Catherine Gasnier
t
ype const
a
nt a
c
cess on intersect
i
on
s
commit
|
commitdiff
|
tree
2019-06-28
Catherine Gasnie
r
mor
e
u
ses of run
_
on_intersect
i
o
n
commit
|
commitdiff
|
tree
2019-06-28
Catherine Gasni
e
r
simplify in
t
ersections the same way as unions
commit
|
commitdiff
|
tree
2019-06-28
Catherine Gas
n
ier
logging
f
o
r
intersect f
u
n
c
tion
commit
|
commitdiff
|
tree
2019-06-28
C
atherine Gasnier
i
n
t
ersect
w
ith unio
n
s
commit
|
commitdiff
|
tree
2019-06-28
Catherine G
a
snier
p
r
o
p
er treatm
e
nt
o
f sketchy types w
i
th int
e
rsec
t
ions
commit
|
commitdiff
|
tree
2019-06-27
Ca
t
her
i
n
e
G
asnier
ac
c
o
u
nt f
o
r diff
in h
h
_fixmes to decide whe
t
h
er to
.
.
.
commit
|
commitdiff
|
tree
2019-06-20
C
a
therine
Gasnier
s
i
m
p
lify bounds contai
n
ing the
type variab
l
e itself
commit
|
commitdiff
|
tree
2019-06-20
C
a
t
h
erine G
a
s
n
ier
ca
l
l
with inte
r
se
c
ti
o
n of fun types
commit
|
commitdiff
|
tree
next