diff options
| author | Stephen Dolan <sdolan@janestreet.com> | 2020-06-02 11:17:17 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-06-02 11:19:20 +0200 |
| commit | 0d44a6cfe6ac328165dced897f23e431f2e503b0 (patch) | |
| tree | e793ccfdec9f52162787e3f6455d6a8a16c2ff8b /tools | |
| parent | a8e2f2b1709b5786069ac285e0c89d0dd7112409 (diff) | |
| download | ocaml-0d44a6cfe6ac328165dced897f23e431f2e503b0.tar.gz | |
Remove Const_pointer from Lambda and Clambda (#9585)
Lambda and Clambda distinguish Const_int from Const_pointer only so
that they can pass the information to Cmm. But now that that
Const_pointer is gone from Cmm (#9578), there's no need for the
distinction in Lambda either.
This PR requires a bootstrap, because the .cmo format changes:
Lambda.structured_constant has one fewer constructor. The bootstrap
is in the following commit.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/dumpobj.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/dumpobj.ml b/tools/dumpobj.ml index a1fce6103b..e2b8b4d10d 100644 --- a/tools/dumpobj.ml +++ b/tools/dumpobj.ml @@ -92,7 +92,6 @@ let rec print_struct_const = function | Const_base(Const_int32 i) -> printf "%ldl" i | Const_base(Const_nativeint i) -> printf "%ndn" i | Const_base(Const_int64 i) -> printf "%LdL" i - | Const_pointer n -> printf "%da" n | Const_block(tag, args) -> printf "<%d>" tag; begin match args with |