summaryrefslogtreecommitdiff
path: root/typing/oprint.ml
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2006-04-05 02:28:13 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2006-04-05 02:28:13 +0000
commit602146f89241282e41170147dc5feee96b7d9bfe (patch)
tree6a83e41602ff65f09b678aeb278beb86a62c621b /typing/oprint.ml
parent9d1901feea29c53f74b3fa5b7af950059767e5ab (diff)
downloadocaml-602146f89241282e41170147dc5feee96b7d9bfe.tar.gz
add virtual instance variables
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7372 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/oprint.ml')
-rw-r--r--typing/oprint.ml6
1 files changed, 4 insertions, 2 deletions
diff --git a/typing/oprint.ml b/typing/oprint.ml
index 55178d89b7..bec27b863d 100644
--- a/typing/oprint.ml
+++ b/typing/oprint.ml
@@ -291,8 +291,10 @@ and print_out_class_sig_item ppf =
fprintf ppf "@[<2>method %s%s%s :@ %a@]"
(if priv then "private " else "") (if virt then "virtual " else "")
name !out_type ty
- | Ocsg_value (name, mut, ty) ->
- fprintf ppf "@[<2>val %s%s :@ %a@]" (if mut then "mutable " else "")
+ | Ocsg_value (name, mut, vr, ty) ->
+ fprintf ppf "@[<2>val %s%s%s :@ %a@]"
+ (if mut then "mutable " else "")
+ (if vr then "virtual " else "")
name !out_type ty
let out_class_type = ref print_out_class_type