diff options
| author | Brian Campbell | 2019-01-31 15:20:25 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-01-31 15:24:50 +0000 |
| commit | 88dda99529fd0e151c932ab1bf22b3c101dd8309 (patch) | |
| tree | 8f7ff9c05a65882eb55e71deb54545403fd87333 /src/bytecode_util.ml | |
| parent | 5010b667b59bbe0fbb13747a1d2409a2b859cd7a (diff) | |
Drop type annotations in top-level nexp rewriting in favour of valspecs
otherwise the valspec rewriting will be inconsistent with the type
annotation. Note that the type checker will have introduced valspecs
where necessary.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions