diff options
| author | Pierre-Marie Pédrot | 2017-11-23 14:28:21 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-02-14 16:14:10 +0100 |
| commit | 8cd6ddb98c12b6aba002781158180ffb68aba02f (patch) | |
| tree | 82a3b98a604149a8ae984cb25986e915d9d155a5 /kernel/cbytecodes.ml | |
| parent | 41893cb647fbdce87b40acd5763e837370d61ece (diff) | |
Abstract further the type of VM bytecode compilation.
This reduces the possibility to wreak havoc while making the API nicer.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions