diff options
Diffstat (limited to 'kernel/vm.ml')
| -rw-r--r-- | kernel/vm.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/kernel/vm.ml b/kernel/vm.ml index 8f0d2ebdd..c8be979e0 100644 --- a/kernel/vm.ml +++ b/kernel/vm.ml @@ -76,9 +76,9 @@ let crasy_val = (val_of_obj (repr 0)) (* Functions *) type vfun (* v = [Tc | c | fv1 | ... | fvn ] *) -(* ^ *) +(* ^ *) (* [Tc | (Restart : c) | v | a1 | ... an] *) -(* ^ *) +(* ^ *) (* Products *) type vprod @@ -220,6 +220,7 @@ type vswitch = { sw_env : vm_env } +(* Ne pas changer ce type sans modifier le code C *) type atom = | Aid of id_key | Aiddef of id_key * values |