New inference: flatten unions when solving for lower bounds
[hiphop-php.git] / hphp / hack / src / 
tree91cd0ac2fabf37916b56868b28954f1c16821c4f
drwxr-xr-x   ..
-rw-r--r-- 21 .gitignore
-rw-r--r-- 3705 .ocp-indent
-rw-r--r-- 0 0f69aac58b8e
-rw-r--r-- 1880 Makefile.dune
-rw-r--r-- 9524 Makefile.ocamlbuild
-rw-r--r-- 935 _tags
drwxr-xr-x - annotated_ast
drwxr-xr-x - ast
drwxr-xr-x - client
drwxr-xr-x - common
drwxr-xr-x - config
drwxr-xr-x - decl
drwxr-xr-x - deps
drwxr-xr-x - dfind
drwxr-xr-x - diff
-rw-r--r-- 1533 dune
-rw-r--r-- 16 dune-project
drwxr-xr-x - dune_config
drwxr-xr-x - errors
drwxr-xr-x - facts
drwxr-xr-x - find
drwxr-xr-x - fsevents
drwxr-xr-x - fsnotify
drwxr-xr-x - fsnotify_darwin
drwxr-xr-x - fsnotify_linux
drwxr-xr-x - fsnotify_win
drwxr-xr-x - gen_deps
-rw-r--r-- 73885 generate_full_fidelity.ml
drwxr-xr-x - globals
-rw-r--r-- 16560 hackfmt.ml
drwxr-xr-x - hackfmt
drwxr-xr-x - heap
-rw-r--r-- 3010 hh_client.ml
drwxr-xr-x - hh_matcher
-rw-r--r-- 15495 hh_parse.ml
-rw-r--r-- 1541 hh_server.ml
-rw-r--r-- 26212 hh_single_compile.ml
-rw-r--r-- 7102 hh_single_parse.ml
-rw-r--r-- 48216 hh_single_type_check.ml
drwxr-xr-x - hhbc
drwxr-xr-x - hhi
drwxr-xr-x - ide_rpc
drwxr-xr-x - injection
drwxr-xr-x - libancillary
drwxr-xr-x - monitor
drwxr-xr-x - naming
drwxr-xr-x - options
drwxr-xr-x - parser
drwxr-xr-x - ppx
drwxr-xr-x - procs
drwxr-xr-x - search
drwxr-xr-x - server
drwxr-xr-x - socket
drwxr-xr-x - stubs
-rw-r--r-- 3715 style_guide.md
drwxr-xr-x - third-party
drwxr-xr-x - typing
drwxr-xr-x - utils
drwxr-xr-x - watchman
drwxr-xr-x - watchman_event_watcher