diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-05-15 21:51:21 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-05-28 14:41:39 +0200 |
commit | b053d98fb17d2f46878f49d7adf4839ae632c10b (patch) | |
tree | 044bd5fa2380cd0313f1b7cc0d49354be9dc7b4b /kernel/kernel.mllib | |
parent | 5021c6bd8e08fb465152638c9a56108d317002f8 (diff) |
Remove vm_conv hook and reorganize kernel files
Diffstat (limited to 'kernel/kernel.mllib')
-rw-r--r-- | kernel/kernel.mllib | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/kernel/kernel.mllib b/kernel/kernel.mllib index 5d270125a..3fed3ed29 100644 --- a/kernel/kernel.mllib +++ b/kernel/kernel.mllib @@ -29,8 +29,11 @@ Cbytegen Nativecode Nativelib Environ +Csymtable +Vm CClosure Reduction +Vconv Nativeconv Type_errors Modops @@ -43,6 +46,3 @@ Subtyping Mod_typing Nativelibrary Safe_typing -Csymtable -Vm -Vconv |