diff options
| author | Alasdair Armstrong | 2019-03-04 15:48:09 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-04 15:48:36 +0000 |
| commit | 8efe97cd6d8140ebebf4d71e597f497dea385964 (patch) | |
| tree | 775433c656cd27ba0f2e094d8b1216024b87d02a /lib | |
| parent | f7f9c037b22aaf5621b234f32d1ab3328c657139 (diff) | |
Do not store type synonyms as functions in the environment
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions