summaryrefslogtreecommitdiff
path: root/src/bytecode_util.ml
diff options
context:
space:
mode:
authorBrian Campbell2018-06-12 13:50:34 +0100
committerBrian Campbell2018-06-12 13:50:34 +0100
commit042c138fbe55cd915c9b96102aef673dc7a3a06e (patch)
treee9aef1d1e564b483fae54a3670ea9e8e54b3d721 /src/bytecode_util.ml
parent416ad839447f47e34ce80392b43852d00eef5898 (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