Decl_linearize use records not tuples
commit08edbb1ae4f888e53c2f9c6c6b9c432c632537ab
authorLucian Wischik <ljw@fb.com>
Thu, 3 Dec 2020 23:32:22 +0000 (3 15:32 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 3 Dec 2020 23:40:00 +0000 (3 15:40 -0800)
tree11a0b9ffcbd2b3e7a1c20203109f358f7ac7708a
parent85da67d44ac41b90728bd624b0743f282a5a4f9d
Decl_linearize use records not tuples

Summary:
This diff
* adds comments
* switches from tuples to records in a few places, to be able to add more comments
* writes out a few explicit type annotations

My end goal is that I want to implement linearization in rust in the decl-service. I'm starting by just making sure I understand every aspect of the existing implementation.

Differential Revision: D25173270

fbshipit-source-id: c41c3c26190331d97a0d0adc986425319aeccee0
hphp/hack/src/decl/decl_linearize.ml