| commit | 63a1a28f8515d450daebf0afbaf933b7fca11fde | |
| author | Vincent Siles <vsiles@fb.com> | |
| Fri, 23 Sep 2022 19:07:05 +0000 (23 12:07 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 23 Sep 2022 19:07:05 +0000 (23 12:07 -0700) | ||
| tree | 39040d9fa9357e52ee4e0b171522c1716d368306 | treesnapshot (tar.gz zip) |
| parent | 4879f7ccee5c99fc45e0cd1a239f2d9752e29191 | commitdiff |
implement show for TL.subtype_prop
Summary:
Quick implem of `deriving show` for `Typing_logic.subtype_prop`.
Note: we don't show the errors (dummy string) until someone needs them
Reviewed By: Wilfred
Differential Revision: D39728676
fbshipit-source-id: 05470b6657c7bb4a78cd109b3515347b5a3031e5
Summary:
Quick implem of `deriving show` for `Typing_logic.subtype_prop`.
Note: we don't show the errors (dummy string) until someone needs them
Reviewed By: Wilfred
Differential Revision: D39728676
fbshipit-source-id: 05470b6657c7bb4a78cd109b3515347b5a3031e5