diff options
| author | Brian Campbell | 2018-06-12 13:50:34 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-12 13:50:34 +0100 |
| commit | 042c138fbe55cd915c9b96102aef673dc7a3a06e (patch) | |
| tree | e9aef1d1e564b483fae54a3670ea9e8e54b3d721 /src/bytecode_util.ml | |
| parent | 416ad839447f47e34ce80392b43852d00eef5898 (diff) | |
Coq: Handle simple top-level type variable definitions
(also another error reporting improvement)
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions
