diff options
| author | Son Ho | 2022-11-08 16:35:55 +0100 |
|---|---|---|
| committer | Son HO | 2022-11-10 11:35:30 +0100 |
| commit | dcb1a77150d26875ab67b5e12cb299a3d9369d4a (patch) | |
| tree | c5eba364eab9f975bf6fc454320c6e38dfb330c1 /compiler/PureToExtract.ml | |
| parent | 357782ba4c039ac6d83b4fd8344121e89f87eb7b (diff) | |
Update `switch` to have a specific treatment of ADTs
Diffstat (limited to 'compiler/PureToExtract.ml')
0 files changed, 0 insertions, 0 deletions