summaryrefslogtreecommitdiffstats
path: root/bytecomp/printlambda.ml
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-07-10 09:48:27 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-07-10 09:48:27 +0000
commitc226d5efeb43f25c7086e89733ec8073262aa2e0 (patch)
tree481cda5fe83465c0acf991782d8848ec867bd946 /bytecomp/printlambda.ml
parentbbbf6d016497de98d776934e20fbac905d48d6a1 (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.ml17
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;