diff options
| author | Alasdair Armstrong | 2018-02-05 17:49:11 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-02-05 17:53:18 +0000 |
| commit | bdfcb327ccf23982ae74549fc56ec3451c493ed5 (patch) | |
| tree | 99b78deea2036a271cfa80aaf704c0f6d25bc0f0 /aarch64/aarch64_extras_embed_sequential.lem | |
| parent | 22b723ce7266a3e1333788f9d50b0b3dc9bb9893 (diff) | |
Allow type variables to be introduced by global let bindings.
This was technically allowed previously but the rules for type
variable names in function types were too strict so it didn't work.
Also fixed a bug where Nexp_app constructors were never considered identical
and fixed a bug where top-level let bindings got annotated with the
wrong environment
Diffstat (limited to 'aarch64/aarch64_extras_embed_sequential.lem')
0 files changed, 0 insertions, 0 deletions