?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 8384b9d) | patch
Removing useless Not_found - utils
commit10192f54d2a24b5e74a4076691c847c6c6cda304
authorVincent Siles <vsiles@fb.com>
Thu, 20 May 2021 07:58:47 +0000 (20 00:58 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 20 May 2021 08:00:10 +0000 (20 01:00 -0700)
tree5912ddeac95b02e1e092bf5dcaac8c2fc33ca2bbtree | snapshot (tar.gz zip)
parent8384b9d4b7ac820ccc7e2aff4099f2bcaa7e1559commit | diff
Removing useless Not_found - utils

Summary: Mostly removing hand-written version of `Hashtbl.find_opt` and updating `sys_username` to return an optional type, removing an exception from our API

Reviewed By: Wilfred

Differential Revision: D28541164

fbshipit-source-id: 1de95553679f17f5c58164ab06b7693872ac2d3c
hphp/hack/src/utils/disk/testDisk.ml diff | blob | blame | history
hphp/hack/src/utils/username/sys_username.ml diff | blob | blame | history
hphp/hack/src/utils/username/sys_username.mli diff | blob | blame | history
hphp/hack/src/utils/username/sys_username_runner.ml diff | blob | blame | history