diff options
| author | Alasdair | 2019-02-11 23:51:16 +0000 |
|---|---|---|
| committer | Alasdair | 2019-02-11 23:51:16 +0000 |
| commit | 37673365b346de684ecf5fe031603f51c0e8e7a9 (patch) | |
| tree | 32b3e971affbf63d34c16b7e95fa98d3975a6d98 /src/bytecode_util.ml | |
| parent | 8a2b660710af1635a0568b5b63acd30b57d3c343 (diff) | |
Add an additional test case
Make LEXP_deref an inference rule. This should allow strictly more programs to type-check.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions