summaryrefslogtreecommitdiff
path: root/bytecomp/printlambda.ml
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-07-02 16:45:21 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-07-02 16:45:21 +0000
commitbee1844ffe63f38abbdb8475d19e3980201e7ae3 (patch)
treed5250ddb8964462a496f67b670d4082351b4e558 /bytecomp/printlambda.ml
parenteef01845fe11d735e15e4b8b1ac0622bd02da033 (diff)
downloadocaml-bee1844ffe63f38abbdb8475d19e3980201e7ae3.tar.gz
Codage des constructeurs constants avec Const_pointer
Optimisation de match (a,b) with (p1,p2) -> Renommage de codegen -> bytegen, linker -> bytelink. emitcode: cas Kdummy 0. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@53 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/printlambda.ml')
-rw-r--r--bytecomp/printlambda.ml5
1 files changed, 3 insertions, 2 deletions
diff --git a/bytecomp/printlambda.ml b/bytecomp/printlambda.ml
index 5389268129..0e3f479c77 100644
--- a/bytecomp/printlambda.ml
+++ b/bytecomp/printlambda.ml
@@ -11,6 +11,7 @@ let rec structured_constant = function
print_string "\""; print_string(String.escaped s); print_string "\""
| Const_base(Const_float s) ->
print_string s
+ | Const_pointer n -> print_int n; print_string "a"
| Const_block(tag, []) ->
print_string "["; print_int tag; print_string "]"
| Const_block(tag, sc1::scl) ->
@@ -28,7 +29,7 @@ let primitive = function
Pidentity -> print_string "id"
| Pgetglobal id -> print_string "global "; Ident.print id
| Psetglobal id -> print_string "setglobal "; Ident.print id
- | Pmakeblock sz -> print_string "makeblock "; print_int sz
+ | 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
@@ -115,7 +116,7 @@ let rec lambda = function
print_string "(";
let spc = ref false in
List.iter
- (fun (id, l, sz) ->
+ (fun (id, l) ->
if !spc then print_space() else spc := true;
Ident.print id; print_string " "; lambda l)
id_arg_list;