?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 5e23931) | patch
implement printing of constraint types
commitac5b7e1fb13366a53ac2371a8e270323ae5f2672
authorCatherine Gasnier <catg@fb.com>
Mon, 7 Oct 2019 18:28:27 +0000 (7 11:28 -0700)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Mon, 7 Oct 2019 18:30:58 +0000 (7 11:30 -0700)
treeb7e7696f6cf8349672806762534d180903baeaaftree | snapshot (tar.gz zip)
parent5e23931edbe2fae88eaca721d150536aac677c81commit | diff
implement printing of constraint types

Summary: Not very exciting diff where I implement printing and logging for constraint type Thas_member. Also add a .mli for Typing_log while I'm at it.

Reviewed By: Wilfred

Differential Revision: D17710665

fbshipit-source-id: fca0ae1b3afd995d6760dcd25708b5b53779d7e6
hphp/hack/src/typing/typing_log.ml diff | blob | blame | history
hphp/hack/src/typing/typing_log.mli [new file with mode: 0644] blob
hphp/hack/src/typing/typing_print.ml diff | blob | blame | history
hphp/hack/src/typing/typing_subtype.ml diff | blob | blame | history