diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-10 09:48:27 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-10 09:48:27 +0000 |
commit | c226d5efeb43f25c7086e89733ec8073262aa2e0 (patch) | |
tree | 481cda5fe83465c0acf991782d8848ec867bd946 /bytecomp/printlambda.ml | |
parent | bbbf6d016497de98d776934e20fbac905d48d6a1 (diff) |
Branchement du GC de la version bytecode sur le compilateur natif
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@72 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/printlambda.ml')
-rw-r--r-- | bytecomp/printlambda.ml | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/bytecomp/printlambda.ml b/bytecomp/printlambda.ml index d8c7ad12b..884e70451 100644 --- a/bytecomp/printlambda.ml +++ b/bytecomp/printlambda.ml @@ -31,8 +31,8 @@ let primitive = function | Psetglobal id -> print_string "setglobal "; Ident.print id | Pmakeblock tag -> print_string "makeblock "; print_int tag | Pfield n -> print_string "field "; print_int n - | Psetfield n -> print_string "setfield "; print_int n - | Pccall(name, arity) -> print_string name + | Psetfield(n, _) -> print_string "setfield "; print_int n + | Pccall(name, arity, alloc) -> print_string name | Praise -> print_string "raise" | Psequand -> print_string "&&" | Psequor -> print_string "||" @@ -68,11 +68,16 @@ let primitive = function | Pfloatcomp(Cle) -> print_string "<=." | Pfloatcomp(Cgt) -> print_string ">." | Pfloatcomp(Cge) -> print_string ">=." - | Pgetstringchar -> print_string "string.get" - | Psetstringchar -> print_string "string.set" + | Pstringlength -> print_string "string.length" + | Pgetstringchar -> print_string "string.unsafe_get" + | Psetstringchar -> print_string "string.unsafe_set" + | Psafegetstringchar -> print_string "string.get" + | Psafesetstringchar -> print_string "string.set" | Pvectlength -> print_string "array.length" - | Pgetvectitem -> print_string "array.get" - | Psetvectitem -> print_string "array.set" + | Pgetvectitem -> print_string "array.unsafe_get" + | Psetvectitem _ -> print_string "array.unsafe_set" + | Psafegetvectitem -> print_string "array.get" + | Psafesetvectitem _ -> print_string "array.set" | Ptranslate tbl -> print_string "translate ["; open_hvbox 0; |