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
improve error message and position for "bad decl override" error
2022-03-07
Catherine Ga
s
nier
impr
o
ve error message and
position for
"
bad dec
l
override
.
.
.
commit
|
commitdiff
|
tree
2022-03-04
Cath
e
ri
n
e Gasnier
Improve
positions
and wording o
f
"met
h
od not impl
e
mented
.
.
.
commit
|
commitdiff
|
tree
2022-03-04
Catherine Gasnier
add hh_au
t
o
import
.
mli +
d
o
c
commit
|
commitdiff
|
tree
2022-03-04
C
a
therine Gas
n
ier
w
i
re t
h
e
P
o
s
.
t of a class' parents down
in Typ
i
n
g
_exten
d
s
commit
|
commitdiff
|
tree
2022-03-01
Catherine G
a
snier
Fi
x
doc blocs in
Tra
i
t
_reu
s
e_
c
heck
commit
|
commitdiff
|
tree
2022-03-01
Catherin
e
Gasnier
A f
e
w renamings in Typ
i
ng_extends
commit
|
commitdiff
|
tree
2022-02-28
Catherine
Gasni
e
r
re
m
ov
e
T
yping_env
.
wrap
_
inference_env_call
commit
|
commitdiff
|
tree
2022-02-26
Catherine Gasnier
R
emove
calls
t
o
t
h
e Measu
r
e
m
odule in Naming_hea
p
commit
|
commitdiff
|
tree
2022-02-24
Cat
h
erine
G
asnie
r
remove function aas
t
_to_n
a
st which does not
h
i
n
g
commit
|
commitdiff
|
tree
2022-02-21
Catherine Gasnier
d
e
c
l
u
tter
Typing_en
v
_from_de
f
.
class_
e
nv
commit
|
commitdiff
|
tree
2022-02-21
Catherine Gasnier
make Rtypeconst take a
lazy string
commit
|
commitdiff
|
tree
2022-02-18
Cath
e
rine Gasnie
r
make stri
n
g in Rtype_
a
ccess lazy
commit
|
commitdiff
|
tree
2022-02-15
Catherine Gasnier
res
e
t type variable identifi
e
rs f
o
r each to
p
-l
e
vel
.
.
.
commit
|
commitdiff
|
tree
2022-01-31
Catherine Gasnier
factor out code a
b
ou
t
metho
d
retu
r
n in
t
o helper
commit
|
commitdiff
|
tree
2022-01-31
C
ath
e
r
i
ne Gasn
i
e
r
Typi
n
g_subtype
:
take some functions out of big recursion
commit
|
commitdiff
|
tree
2022-01-31
Cath
e
rine Gasnie
r
NastInitC
h
eck
.
class_ should
b
e
lo
n
g to `cl
a
s
s
_wel
l
fo
r
medness_
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
C
atherine Gasnier
remo
v
e d
i
agnostic
s
ub
s
c
r
i
ption co
d
e
commit
|
commitdiff
|
tree
2022-01-28
C
at
h
erine Gas
n
ie
r
re
m
ove flag stre
a
m_errors
commit
|
commitdiff
|
tree
2022-01-28
Cat
h
e
r
ine Gasnier
rem
o
ving
s
tream_errors flag
:
r
e
m
ove br
a
nc
h
ing on flag
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Cat
h
erine
Gasnier
remove Ad
h
o
c
_profile
r
commit
|
commitdiff
|
tree
2022-01-28
Ca
t
heri
n
e Gasnier
c
re
a
te check_class_
m
emb
e
rs helper
commit
|
commitdiff
|
tree
2022-01-28
Cath
e
rine Gasnier
f
urther brea
k
d
o
wn
`
class_wellformedness_check
s
`
commit
|
commitdiff
|
tree
2022-01-28
Catherine
G
a
snier
helpers f
o
r class well
f
ormedness
checks a
n
d class
h
ier
a
rc
h
y
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Cath
e
rine Gasnier
add
check
_
cl
a
ss_where_co
n
straint
helper
commit
|
commitdiff
|
tree
2022-01-28
Cathe
r
i
n
e Gasnier
exp
o
rt sealed-related logic into
h
elper
commit
|
commitdiff
|
tree
2022-01-28
Catherine Ga
s
ni
e
r
Let Errors
.
t
deri
v
e show f
o
r debugging
commit
|
commitdiff
|
tree
2022-01-28
Catherine Gasnier
L
e
t
S
e
r
ve
r
Env
.
env derive sho
w
commit
|
commitdiff
|
tree
2022-01-27
Cath
e
r
i
ne G
a
snier
rename and document check_
c
ons
t
ructor
_
dep
commit
|
commitdiff
|
tree
2022-01-26
Catherine Gasnier
clean-up co
d
e checking
override keyword
commit
|
commitdiff
|
tree
2022-01-26
Cather
i
n
e Gasnier
s
etu
p
_env_for_class_d
e
f_c
h
eck helper
commit
|
commitdiff
|
tree
2022-01-24
Catherine Gasnier
simplify check
i
ng of
multiple c
o
ncrete defini
t
ions
.
.
.
commit
|
commitdiff
|
tree
2022-01-24
Catherine Gasnier
simplify
i
nterface
i
mp
l
eme
n
t
a
tion chec
k
ing
commit
|
commitdiff
|
tree
2022-01-21
Catherine Gasnier
no need to check dyna
m
ically c
a
ll
a
ble for members that
.
.
.
commit
|
commitdiff
|
tree
2022-01-21
Catherine Gasn
i
er
Break down Ty
p
ing_ext
e
n
ds
.
c
h
eck_override
commit
|
commitdiff
|
tree
2022-01-21
Cathe
r
ine Gas
n
ie
r
refact
o
r check_overrid
e
: remove
pa
r
a
m
eter i
g
no
r
e_fun
_
retu
r
n
commit
|
commitdiff
|
tree
2022-01-21
Ca
t
herin
e
G
asnier
refact
o
r adding depend
e
nc
y
w
h
en
calling check_overri
d
e
commit
|
commitdiff
|
tree
2022-01-21
Cathe
r
ine Gasnier
d
o
not check overrid
i
ng
a
synth
e
sized memb
e
r
commit
|
commitdiff
|
tree
2022-01-19
Cather
i
ne Gasnier
re
f
a
ctor some c
o
mmo
n
private + LS
B
logic
commit
|
commitdiff
|
tree
2022-01-19
Cat
h
e
r
ine
G
asni
e
r
make class
e
lemen
t
flags ab
s
tract
commit
|
commitdiff
|
tree
2022-01-19
Cat
h
erine Gasnier
ref
a
ctor class element flags and add
a
pre
t
ty printe
r
commit
|
commitdiff
|
tree
2022-01-18
C
a
therine G
a
snier
fix mast
e
r
b
uild
commit
|
commitdiff
|
tree
2022-01-18
C
a
therine Gasnier
r
emo
v
e d
e
a
d
code in
D
ecl_env
commit
|
commitdiff
|
tree
2022-01-14
Catherine Gasnie
r
Let Typi
n
g_classes_heap
.
Api
.
t de
r
ive show
commit
|
commitdiff
|
tree
2022-01-13
Catherine Gasnier
rem
o
ve dead paramete
r
`check_privates
`
commit
|
commitdiff
|
tree
2022-01-13
C
athe
r
ine
Gasni
e
r
union
a
l
l
pa
r
ent members before
d
oing ove
r
ride checks
commit
|
commitdiff
|
tree
2022-01-11
Catherine Gasni
e
r
aggregate r
e
du
n
d
ant keys
from /proc/cpuinfo
as a
histogram
commit
|
commitdiff
|
tree
2022-01-06
Catherine Gasnier
r
e
mov
e
the multic
a
che in favor o
f
th
e
freq
u
ency
cache
commit
|
commitdiff
|
tree
2021-12-20
Catherine
Gasnier
introduce Ha
c
kEventLogger
.
P
e
r
Fi
l
eProfili
n
gConfig
.
t
.
.
.
commit
|
commitdiff
|
tree
2021-12-16
Catherine Gasnier
v
a
rious
r
efa
c
to
r
ings
about member "source
"
/ kind
commit
|
commitdiff
|
tree
2021-12-15
C
at
h
erine Gasnier
defuncti
o
nal
i
ze
part of Ty
p
ing_extends
commit
|
commitdiff
|
tree
2021-12-15
Cather
i
ne Gasnier
renam
e
params
o
f Errors
.
try_whe
n
commit
|
commitdiff
|
tree
2021-12-15
Catherine Gasnier
refact
o
r
a
n
d e
x
por
t
internal function doing method
.
.
.
commit
|
commitdiff
|
tree
2021-12-15
Ca
t
h
e
r
i
ne Gas
n
ier
use enum
instead of po
l
ymorphic varian
t
for mem
b
er
.
.
.
commit
|
commitdiff
|
tree
2021-12-14
Cat
h
erine Gasnie
r
`
--prof
i
le-log` acts
as
`
--config
pr
o
fil
e
_
log=true`
commit
|
commitdiff
|
tree
2021-12-14
Catherine
G
asnier
avoi
d
transform
a
tion to
S
equence
.
t
then
b
ack to list
commit
|
commitdiff
|
tree
2021-12-06
Catherine Gasnier
Do not dump per
-
file pr
o
files in l
o
gs
commit
|
commitdiff
|
tree
2021-12-06
Catherine
G
asnier
b
r
eak down Typing
_
e
x
tends
.
che
c
k
_
members
commit
|
commitdiff
|
tree
2021-12-06
C
a
therine Gasnier
r
e
mo
v
e usel
e
ss returning
o
f class name
commit
|
commitdiff
|
tree
2021-12-06
Catherine Gas
n
i
er
getting and ad
d
ing c
l
ass fr
o
m heap should be done by
.
.
.
commit
|
commitdiff
|
tree
2021-11-24
Cather
i
n
e
G
a
s
nier
add a
c
onfig file f
l
ag equivale
n
t for
-
-profile-
l
og
commit
|
commitdiff
|
tree
2021-11-23
C
atherine Gasnier
Dec
l
_folded
_
class
:
pull stuf
f
out of the big recu
r
sion
commit
|
commitdiff
|
tree
2021-11-15
Cat
h
erine Gasnier
move B
l
oomFilter int
o
its own library
commit
|
commitdiff
|
tree
2021-11-15
Cat
h
erine G
a
snie
r
move
d
e
ferred_dec
l
into
i
t
s
own library
commit
|
commitdiff
|
tree
2021-11-15
Catherine Gasni
e
r
reorganize modules
into
t
y
ping_toplevel,
typing_wellf
o
rmedne
.
.
.
commit
|
commitdiff
|
tree
2021-11-15
Ca
t
h
e
ri
n
e Gasnier
remove
some unn
e
cessary dependencies
o
n typin
g
_misc
commit
|
commitdiff
|
tree
2021-11-15
Catheri
n
e
Gasni
e
r
separate nast_visitor lib
r
ar
y
commit
|
commitdiff
|
tree
2021-11-15
Cathe
r
ine Gas
n
ier
separate module tast_env
commit
|
commitdiff
|
tree
2021-11-11
Cat
h
eri
n
e
G
asni
e
r
s
eparat
e
library for typing_globa
l
_in
f
erence
commit
|
commitdiff
|
tree
2021-11-11
C
atherine Ga
s
nier
wellformedne
s
s checks in s
e
p
a
r
a
te li
b
ra
r
y
commit
|
commitdiff
|
tree
2021-11-10
Cathe
r
i
n
e
G
a
snier
move certa
i
n modules o
u
t of typing_alg
e
bra into t
h
eir
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
C
a
th
e
rine G
a
snie
r
separate ty
p
ing_utils librar
y
commit
|
commitdiff
|
tree
2021-11-10
Catherine Gasnier
separate library for t
y
p
e
_mapp
e
r
commit
|
commitdiff
|
tree
2021-11-10
Ca
t
herine Gasnier
se
p
a
ra
t
e
library for core typing operations
commit
|
commitdiff
|
tree
2021-11-09
Cathe
r
ine Gasn
i
er
ad
a
p
t
OCAML_LANDMARKS for w
o
r
ke
r
proc
e
ss
e
s
commit
|
commitdiff
|
tree
2021-11-09
Cather
i
ne Gasnier
remov
e
dangling mli
commit
|
commitdiff
|
tree
2021-11-09
Catherine
G
asnie
r
separate
l
ibrary
t
y
ping_env
commit
|
commitdiff
|
tree
2021-11-09
Catherine Gasni
e
r
s
e
parat
e
typing_env_types library
commit
|
commitdiff
|
tree
2021-11-04
Cat
h
erin
e
Gasnier
r
emo
v
e fla
g
about number of times to defer
commit
|
commitdiff
|
tree
2021-11-03
Cathe
r
ine Gasnier
remove fla
g
def
e
rments_light
commit
|
commitdiff
|
tree
2021-11-03
Cath
e
rine
G
a
s
nier
refactor
hphp/hack/test/typ
e
check/d
u
ne and add
tar
g
et
.
.
.
commit
|
commitdiff
|
tree
2021-11-03
C
a
th
e
r
i
ne
G
asnie
r
add
landmarks
t
o
op
a
m
commit
|
commitdiff
|
tree
2021-10-27
C
atherin
e
Gasnier
simpl
i
f
y De
f
erre
d
_decl AP
I
commit
|
commitdiff
|
tree
2021-10-14
Cat
h
e
r
i
ne Gasn
i
er
f
i
x bug in defe
r
m
e
nts wi
t
h
i
n
terrupted typec
h
ecking
commit
|
commitdiff
|
tree
2021-10-06
Catherine Ga
s
n
ier
i
mpl
e
me
n
t `worklo
a
d_quantile` option
commit
|
commitdiff
|
tree
2021-10-01
Cath
e
r
i
ne Gasni
e
r
Stop
typech
e
c
king when reaching thr
e
shold
commit
|
commitdiff
|
tree
2021-10-01
Catherin
e
Gas
n
i
er
fix typo
in server local config logic
commit
|
commitdiff
|
tree
2021-09-28
Catherine
G
asnier
Fix typo in c
o
nfig wirin
g
commit
|
commitdiff
|
tree
2021-09-16
Ca
t
h
e
r
ine
Gasnier
add r
o
ll
o
ut flag
d
eferements_light
commit
|
commitdiff
|
tree
2021-09-13
Cath
e
r
i
n
e
Ga
s
ni
e
r
clean up unus
e
d Typing_env
.
print
_
size function
commit
|
commitdiff
|
tree
2021-09-02
C
a
therine Gas
n
ier
ad-hoc profi
l
er: subtrac
t
p
r
ofiling ti
m
e
commit
|
commitdiff
|
tree
2021-09-01
Catherine
G
as
n
ier
Adhoc profiler: do not profile beyond a certa
i
n
s
tack
.
.
.
commit
|
commitdiff
|
tree
2021-09-01
Catherine Gasnie
r
l
og
a
d
h
oc
pr
o
filing inf
o
commit
|
commitdiff
|
tree
2021-09-01
Cather
i
ne Gasni
e
r
A
d
-ho
c
p
rofil
e
r
commit
|
commitdiff
|
tree
2021-08-27
Cathe
r
i
ne Gasnier
d
eprecate env
.
S
e
rverEnv
.
pers
i
stent_cl
i
ent in favor
.
.
.
commit
|
commitdiff
|
tree
2021-08-05
C
athe
r
i
ne Gasnier
T
yping_
c
h
eck_service
.
go returns record instead of large
.
.
.
commit
|
commitdiff
|
tree
2021-08-05
Catherine Gasnier
simplify
L
S
Ta
b
le
.
get
commit
|
commitdiff
|
tree
2021-07-29
Catherin
e
Ga
s
n
i
er
additional unit test
commit
|
commitdiff
|
tree
2021-07-29
Catherine Gasnie
r
intr
o
duce time to fi
r
s
t error m
e
t
ric
s
commit
|
commitdiff
|
tree
2021-07-28
Catherine Gasnier
Refactor recheck loop stats updating
i
nto
he
l
per f
u
nction
commit
|
commitdiff
|
tree
2021-07-28
Catherine
Gasnier
R
e
factor Serv
e
rTypec
h
eck
.
check_kind into i
t
s ow
n
mo
d
ule
.
.
.
commit
|
commitdiff
|
tree
next