diff options
| author | Alasdair | 2018-08-18 01:23:02 +0100 |
|---|---|---|
| committer | Alasdair | 2018-08-18 01:25:06 +0100 |
| commit | 3414ffbc4d62f5cb019def6a6e9931319ac1ffa7 (patch) | |
| tree | 4b703f42d6ede80a889f4016812aefa3f8353435 /src/state.ml | |
| parent | 79176c7ac58900c95db5db9cf75978e91e9a453c (diff) | |
Correctly handle specialising polymorphic types in nested unions
Ensure that this works even when the union types are dependent in the wrong order, before topologically sorting definitions. We do this by calling fix_variant_ctyps on all cdefs by passing a list of
prior cdefs to specialize_variants.
Diffstat (limited to 'src/state.ml')
0 files changed, 0 insertions, 0 deletions