diff options
| author | Alasdair Armstrong | 2019-05-16 20:34:24 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-16 20:34:24 +0100 |
| commit | 4a95bb1c25fe84be62f6eada024f964472736e69 (patch) | |
| tree | 121cc30aa5aa8a658fa3ebcef0ec187f32dd3005 /src/initial_check.ml | |
| parent | 8b12231b4e35575b3a70db1847e44b2b80f09436 (diff) | |
Fix: Add a feature symbol for new constant type variable syntax
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions