summaryrefslogtreecommitdiff
path: root/toplevel/genprintval.ml
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2005-06-13 04:55:53 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2005-06-13 04:55:53 +0000
commit877263c14a73d289915176a53c190fa3ffa0c242 (patch)
tree64d7c6765a7fc10c6b99b38baaf85cc48b652948 /toplevel/genprintval.ml
parent3aa312d98bbcefa293123cc3b9ee549176291b16 (diff)
downloadocaml-877263c14a73d289915176a53c190fa3ffa0c242.tar.gz
print private variants
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel/genprintval.ml')
-rw-r--r--toplevel/genprintval.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/genprintval.ml b/toplevel/genprintval.ml
index 9fa2461508..116740d564 100644
--- a/toplevel/genprintval.ml
+++ b/toplevel/genprintval.ml
@@ -293,7 +293,7 @@ module Make(O : OBJ)(EVP : EVALPATH with type value = O.t) = struct
| (l, f) :: fields ->
if Btype.hash_variant l = tag then
match Btype.row_field_repr f with
- | Rpresent(Some ty) ->
+ | Rpresent(Some ty) | Reither(_,[ty],_,_) ->
let args =
tree_of_val (depth - 1) (O.field obj 1) ty in
Oval_variant (l, Some args)