diff options
| author | Luc Maranget <luc.maranget@inria.fr> | 2014-02-06 13:30:54 +0000 |
|---|---|---|
| committer | Luc Maranget <luc.maranget@inria.fr> | 2014-02-06 13:30:54 +0000 |
| commit | 89a627f55bc206f084422b0a6ff7790fbd9d24ca (patch) | |
| tree | f6bef3a62772488a46f5a3284a7212dc0a5ce350 /bytecomp/lambda.ml | |
| parent | ad58a2cb577e08c7b095aff5cd2c0b7c91fcea06 (diff) | |
PR#6322 Corrected.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/lambda.ml')
| -rw-r--r-- | bytecomp/lambda.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bytecomp/lambda.ml b/bytecomp/lambda.ml index aa56c31fa..1c82898c6 100644 --- a/bytecomp/lambda.ml +++ b/bytecomp/lambda.ml @@ -204,6 +204,8 @@ let rec same l1 l2 = match (l1, l2) with | Lvar v1, Lvar v2 -> Ident.same v1 v2 + | Lconst (Const_base (Const_string _)), _ -> + false (* do not share strings *) | Lconst c1, Lconst c2 -> c1 = c2 | Lapply(a1, bl1, _), Lapply(a2, bl2, _) -> |