From cf193df65c53813054239463f6496526533e9bab Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 27 Jul 2015 13:54:25 +0200
Subject: Fixing bug #2169:

"Print Module command shows module type expression incorrectly".
---
 printing/printmod.ml | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/printing/printmod.ml b/printing/printmod.ml
index 295d8aaa66..a80bbb146a 100644
--- a/printing/printmod.ml
+++ b/printing/printmod.ml
@@ -315,15 +315,17 @@ let rec print_typ_expr env mp locals mty =
       let mapp = List.tl lapp in
       hov 3 (str"(" ++ (print_kn locals fapp) ++ spc () ++
 		 prlist_with_sep spc (print_modpath locals) mapp ++ str")")
-  | MEwith(me,WithDef(idl,c))->
+  | MEwith(me,WithDef(idl,(c, _)))->
       let env' = None in (* TODO: build a proper environment if env <> None *)
       let s = String.concat "." (List.map Id.to_string idl) in
       hov 2 (print_typ_expr env' mp locals me ++ spc() ++ str "with" ++ spc()
-             ++ def "Definition"++ spc() ++ str s ++ spc() ++  str ":="++ spc())
-  | MEwith(me,WithMod(idl,mp))->
+             ++ def "Definition"++ spc() ++ str s ++ spc() ++ str ":="++ spc()
+             ++ Printer.pr_lconstr c)
+  | MEwith(me,WithMod(idl,mp'))->
       let s = String.concat "." (List.map Id.to_string idl) in
       hov 2 (print_typ_expr env mp locals me ++ spc() ++ str "with" ++ spc() ++
-             keyword "Module"++ spc() ++ str s ++ spc() ++ str ":="++ spc())
+             keyword "Module"++ spc() ++ str s ++ spc() ++ str ":="++ spc()
+             ++ print_modpath locals mp')
 
 let print_mod_expr env mp locals = function
   | MEident mp -> print_modpath locals mp
-- 
cgit v1.2.3