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
Apply rustfmt to all rust files
2019-07-08
Catherine Gasnier
remov
e
usage of non_null
i
n typing of await
commit
|
commitdiff
|
tree
2019-07-08
Catherine
G
asni
e
r
remove
u
s
ag
e
of non
_
n
u
ll in ch
e
ck
for __A
t
M
o
stR
x
AsFun
c
commit
|
commitdiff
|
tree
2019-07-08
Ca
t
herine Gas
n
ier
f
i
x a
s
s
i
g
nmen
t
in e
i
f
commit
|
commitdiff
|
tree
2019-07-07
Ca
t
he
r
ine Gasnier
Refine e
x
pression to type of nul
l
at conditions
commit
|
commitdiff
|
tree
2019-07-07
Cat
h
er
i
ne Gasni
e
r
ref
i
n
e
ment of
c
onjunctions and disjunctions
commit
|
commitdiff
|
tree
2019-07-07
Cather
i
ne
G
asnier
solve con
t
rav
a
riant type vars t
o
int
e
rsec
t
ion
o
f upper
.
.
.
commit
|
commitdiff
|
tree
2019-07-07
Catherine Gasnier
simplify inters
e
ctions after
c
losin
g
tyvar sc
o
pe
commit
|
commitdiff
|
tree
2019-07-07
C
a
t
h
erine
Gasnier
refi
n
e
usi
n
g inte
r
se
c
tions
commit
|
commitdiff
|
tree
2019-07-04
Catherine Gasnier
make e
x
pr
depend
e
nt ty
p
e fro
m
inters
e
ction
commit
|
commitdiff
|
tree
2019-06-28
Ca
t
herine
Gasni
e
r
co
m
p
le
t
e the `sub_type` function for i
n
terse
c
tion
commit
|
commitdiff
|
tree
2019-06-28
Catheri
n
e Gasni
e
r
shape intersection
commit
|
commitdiff
|
tree
2019-06-28
Ca
t
herine G
a
snier
type constant a
c
ces
s
on intersec
t
ion
s
commit
|
commitdiff
|
tree
2019-06-28
Cat
h
erine Gasnier
more use
s
of run_o
n
_inters
e
ction
commit
|
commitdiff
|
tree
2019-06-28
Ca
t
herine
Gasnier
simplify intersections t
h
e same way as uni
o
ns
commit
|
commitdiff
|
tree
2019-06-28
Catherine Gasnier
logging for inte
r
sect f
u
nction
commit
|
commitdiff
|
tree
2019-06-28
Catherine
G
asn
i
er
intersect with unions
commit
|
commitdiff
|
tree
2019-06-28
Cath
e
rine
G
asnier
proper treatment of ske
t
chy
types with intersections
commit
|
commitdiff
|
tree
2019-06-27
Catherine Gasn
i
er
account
for diff
i
n
h
h_fixmes to
decide whether to
.
.
.
commit
|
commitdiff
|
tree
2019-06-20
C
a
ther
i
ne Gasn
i
e
r
simpl
i
fy bounds containing the
type variable
i
tself
commit
|
commitdiff
|
tree
2019-06-20
C
a
therine Gasn
i
e
r
call with in
t
e
r
section of fun types
commit
|
commitdiff
|
tree
2019-06-20
C
a
t
h
e
rine Gasni
e
r
array ope
r
ations on
i
n
tersection
s
commit
|
commitdiff
|
tree
2019-06-20
Catherine Gasni
e
r
fix objec
t
_get o
n
intersections
commit
|
commitdiff
|
tree
2019-06-20
Catherin
e
G
a
snie
r
f
ix class
_
get on intersections
commit
|
commitdiff
|
tree
2019-06-20
Cat
h
erine Gasni
e
r
the
`intersect` function
commit
|
commitdiff
|
tree
2019-06-20
C
a
therine Gas
n
ie
r
add type Tinte
r
s
e
ction
commit
|
commitdiff
|
tree
2019-06-20
Catherine Gasnier
b
e
tter subtyping
of Terr
commit
|
commitdiff
|
tree
2019-06-18
C
atherine Gasnier
all
o
w to build SavedStateFetcher non-stub vers
i
on
commit
|
commitdiff
|
tree
2019-06-17
Catherine
Gasn
i
er
f
i
x
r
e
view
.
sh
command with dune
commit
|
commitdiff
|
tree
2019-05-31
Catherine
G
as
n
ier
-
-
all-erro
r
s
f
lag in '
v
isi
b
i
l
iti
e
s
'
dir
e
ctory
commit
|
commitdiff
|
tree
2019-05-29
Cath
e
rine
Gasni
e
r
fi
x
find_in_ances
t
or
commit
|
commitdiff
|
tree
2019-05-16
Cath
e
rine
Gas
n
ier
av
o
id sin
g
l
eton
unions in ty
p
e difference
commit
|
commitdiff
|
tree
2019-05-16
Catherine Gasnier
t
h
ere should be no need
for typing_unify_recursive
.
.
.
commit
|
commitdiff
|
tree
2019-05-15
Cathe
r
i
ne Gas
n
ier
(real
l
y) avoid
binding a
va
r
to a union con
t
aining
.
.
.
commit
|
commitdiff
|
tree
2019-05-15
Cat
h
erin
e
Gasni
e
r
remove do_norm
a
lize
commit
|
commitdiff
|
tree
2019-05-14
Catherine Gasn
i
er
bug in Typing_
u
nion
.
d
i
ff
commit
|
commitdiff
|
tree
2019-05-13
Catherine Gasnie
r
ren
a
m
e Tunr
e
solved
t
o Tu
n
i
o
n
commit
|
commitdiff
|
tree
2019-05-13
C
a
t
h
erine Gasnier
type circularity er
r
or should not show ty
p
e variables
commit
|
commitdiff
|
tree
2019-05-02
Catherine
G
asnier
remove --fallback-out-e
x
t
option
commit
|
commitdiff
|
tree
2019-05-01
Catherine G
a
sni
e
r
avoid
c
re
a
ti
n
g too many
t
ype v
a
riables in e
x
pand_type_
a
nd_nar
r
ow
commit
|
commitdiff
|
tree
2019-05-01
C
atherine Gasnie
r
hh
_
force_s
o
l
ve
pseudofunction
commit
|
commitdiff
|
tree
2019-05-01
C
a
t
h
erine Gasnier
f
i
x re
v
i
ew
.
sh when
.
e
x
p do
e
s not exist
commit
|
commitdiff
|
tree
2019-04-30
Cather
i
ne Gasnier
allow to
p
ass --out-extension to hh_single_type_check
commit
|
commitdiff
|
tree
2019-04-30
Catherine Ga
s
nier
f
o
r
files
which time out, log the environment when
.
.
.
commit
|
commitdiff
|
tree
2019-04-26
Cather
i
n
e
Ga
s
nier
c
o
mpile
w
ith facebook state_lo
a
d
e
r if available
commit
|
commitdiff
|
tree
2019-04-26
C
a
therine Gasnier
transform
s
ubtype ass
e
rti
o
ns involving Tany into subty
p
e
.
.
.
commit
|
commitdiff
|
tree
2019-04-25
Catherine
G
asnier
fix rev
i
e
w
.
sh fo
r
dune
.
sh
commit
|
commitdiff
|
tree
2019-04-17
Catherine G
a
snier
a
llow to b
u
i
l
d with relea
s
e profile
commit
|
commitdiff
|
tree
2019-04-15
C
atherine Gasnier
make opam_cl
e
anu
p
.
s
h
work from
any director
y
commit
|
commitdiff
|
tree
2019-04-14
C
atherine Gasnier
remov
e
a
l
l_lo
c
als
commit
|
commitdiff
|
tree
2019-04-14
Catherine G
a
snier
remove pending lvar mechani
s
m
commit
|
commitdiff
|
tree
2019-04-14
C
a
th
e
rine Ga
s
nier
replace Local_id
.
get wi
t
h Local_i
d
.
make_unscoped
commit
|
commitdiff
|
tree
2019-04-12
Cat
h
er
i
n
e
Gasnier
anonymous funct
i
on sho
u
ld not capture
v
ari
a
b
les n
o
t
.
.
.
commit
|
commitdiff
|
tree
2019-04-10
Catherin
e
G
as
n
ier
avoid race conditio
n
on t
e
s
ts in
t
ypecheck/new_inference
.
.
.
commit
|
commitdiff
|
tree
2019-04-08
Catherine Gasnier
workaround for du
n
e bu
g
commit
|
commitdiff
|
tree
2019-03-29
Catherine Gasnier
somehow
printing
t
h
e stack messes up
t
h
e stack t
r
ace
commit
|
commitdiff
|
tree
2019-03-26
Cather
i
ne Gas
n
ier
test wi
t
h both ol
d
and new inf
e
renc
e
commit
|
commitdiff
|
tree
2019-03-23
Cathe
r
ine Gasnier
ch
e
c
k
_todo
should be done aft
e
r variable solving
commit
|
commitdiff
|
tree
2019-03-22
Ca
t
her
i
ne Gasnier
remove unneeded
todo in ty
p
ing_ge
n
eri
c
commit
|
commitdiff
|
tree
2019-03-22
Cath
e
ri
n
e Gasn
i
er
wit
h
ne
w
inference, allow
matching
a vec<C> against
.
.
.
commit
|
commitdiff
|
tree
2019-03-21
Catherine Gasnier
f
lip the switch
on tast t
e
sts
commit
|
commitdiff
|
tree
2019-03-21
Catherin
e
Gasnier
fix hh compilation on
tr
u
nk
commit
|
commitdiff
|
tree
2019-03-21
Catheri
n
e Gasn
i
er
f
i
x
dumpsymbol
i
n
fo tests
commit
|
commitdiff
|
tree
2019-03-21
Catherine Gasnier
f
ix dynamic_
v
i
e
w test
commit
|
commitdiff
|
tree
2019-03-21
Catherine Gasnier
expa
n
d_typ
e
_a
n
d_solve should no
r
mali
z
e uni
o
ns
commit
|
commitdiff
|
tree
2019-03-21
Catherine
Gasnier
account for retur
n
type of lambd
a
whe
n
setting variance
commit
|
commitdiff
|
tree
2019-03-21
Catherin
e
G
asnier
bug in
tyvar_is_solved
commit
|
commitdiff
|
tree
2019-03-21
Catherine
G
asnier
fi
x
regression
i
n completeness d
u
e
t
o
remov
i
ng remove_equi
v
a
.
.
.
commit
|
commitdiff
|
tree
2019-03-21
Cather
i
n
e
Gasnier
re
m
ove Env
.
remove
_
e
quival
e
nt_
t
yvars
commit
|
commitdiff
|
tree
2019-03-21
C
at
h
erine
G
asnier
r
e
move c
a
lls to
g
e
t
_
ty
v
ar_up
p
er/lower_b
o
unds ou
t
side
.
.
.
commit
|
commitdiff
|
tree
2019-03-21
Catherine Gas
n
ier
f
i
x
inf
e
r
_
ret
u
rn
_
types tes
t
commit
|
commitdiff
|
tree
2019-03-21
Catherine Ga
s
nier
resto
r
e behavior of lin
t
on
C\co
n
t
a
i
n
s and C\
c
ontains_ke
y
commit
|
commitdiff
|
tree
2019-03-21
C
a
therine Gasn
i
er
fix dumpsymbolinfo tes
t
s
commit
|
commitdiff
|
tree
2019-03-20
Catherine Gasnier
h
h
_sh
o
w does not
s
how the type
v
a
r
iable numbers
commit
|
commitdiff
|
tree
2019-03-20
Cathe
r
ine Gasnier
imp
r
ove error message when type
constraint is violated
commit
|
commitdiff
|
tree
2019-03-19
Catherine Gasnier
refact
o
of check_
a
rgs (in
c
all_
)
commit
|
commitdiff
|
tree
2019-03-14
C
atheri
n
e Gasn
i
er
Typi
n
g_log
s
hould flush what it logs
commit
|
commitdiff
|
tree
2019-03-07
Ca
t
herine Gasni
e
r
a
w
ai
t
might thr
o
w
commit
|
commitdiff
|
tree
2019-03-07
Catherine Ga
s
n
i
er
Fi
x
typing of non-exhaustive swi
t
ch sta
t
ements
commit
|
commitdiff
|
tree
2019-02-21
Catherine Gasnier
call
union_list after doi
n
g obj_get
or class_
g
et on
.
.
.
commit
|
commitdiff
|
tree
2019-02-21
Catherine Gasnier
s
imp
l
ify unions in hovered
types
commit
|
commitdiff
|
tree
2019-02-19
Cather
i
ne
Gasnier
constr
u
ct
u
nio
n
of lower bounds w
i
th union_list
commit
|
commitdiff
|
tree
2019-02-19
Catherin
e
Gasnier
add funct
i
on
u
nion_list to comp
u
te th
e
union of a list
.
.
.
commit
|
commitdiff
|
tree
2019-02-14
Ca
t
herine
Gasnier
ref
a
ctoring t
h
e normali
z
ation of bounds
before
solving
commit
|
commitdiff
|
tree
2019-02-14
Ca
t
herine Gasni
e
r
fix
error parser
(
p
yth
o
n
)
commit
|
commitdiff
|
tree
2019-02-12
Catherine
G
asnier
fur
t
her simpl
i
ficat
i
o
n
in di
s
junctio
n
smart c
t
or
commit
|
commitdiff
|
tree
2019-02-08
C
a
therine Gasnier
r
e
f
actoring i
n
Typing_union
commit
|
commitdiff
|
tree
2019-02-08
Catherine Gasnier
i
n
ve
r
bose
m
ode, pr
i
n
t
Tunresolved[null;t] as
"(
n
u
ll
.
.
.
commit
|
commitdiff
|
tree
2019-02-08
Catherine Gasni
e
r
minor fix in
ty
p
ing_union:
norma
l
ize unions with
n
ull
commit
|
commitdiff
|
tree
2019-02-08
C
ath
e
rin
e
Gasnier
log various type v
a
ria
b
le creation
commit
|
commitdiff
|
tree
2019-02-08
Cat
h
erine Gasnier
deal with ty
p
e constants
commit
|
commitdiff
|
tree
2019-02-07
Cat
h
erine Gasni
e
r
fix
b
ug whe
r
e
u
nion
s
i
nvolvi
n
g 'any
'
were not commutative
commit
|
commitdiff
|
tree
2019-02-06
Catherine Gasnie
r
p
rint s
t
ack
t
r
ace and position
w
hen
excepti
o
n occurs
commit
|
commitdiff
|
tree
2019-02-06
Cath
e
rine Gasnier
fix exception on call
s
to map
2
_env
commit
|
commitdiff
|
tree
2019-02-04
Catherine Ga
s
n
ier
option
t
o
only co
m
pare
error lines
commit
|
commitdiff
|
tree
2019-02-04
Catherine Gasni
e
r
upd
a
ti
n
g doc c
o
mmen
t
in hh_s
e
rver
commit
|
commitdiff
|
tree
2019-02-04
Cath
e
rine Gasni
e
r
simp
l
ify
s
ing
l
eton Tun
r
esol
v
e
d
commit
|
commitdiff
|
tree
2019-02-04
Catherine
G
a
s
nier
keep Tany in unions
commit
|
commitdiff
|
tree
2019-02-04
Catheri
n
e
G
as
n
ier
be
more aggressive in normalizin
g
un
i
on
s
commit
|
commitdiff
|
tree
2019-02-04
Catherine Gasnier
b
ug: arg
u
ments of check_
c
o
nstrai
n
t were swapped
commit
|
commitdiff
|
tree
2019-02-04
C
a
therine
G
as
n
ier
f
u
rther
refactor
i
ng
w
hen re
f
i
n
i
n
g to a generic
c
lass
commit
|
commitdiff
|
tree
next