Extraction: some more work on the (re)naming framework

- MPbound can be part of visible_mps (when printing the type of
   a module parameter, or when printing body of a With), hence
   the locality test base_mp mp = base_mp (top_visible_mp ())
   isn't accurate.
 - new organisation, pp_ocaml_gen is splitted in many sub-functions,
   attempt to be clearer
 - the shortcut (if List.length ls = 1 then ...) isn't safe,
   we might detect name conflict even in this case.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13248 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions