0005776: Provide an option to only print Constructor name without qualified module names

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005776

OCaml

OCaml general

public

2012-10-07 02:50

2012-10-07 20:03

Reporter

hongboz

Assigned To

Priority

normal

Severity

feature

Reproducibility

have not tried

Status

new

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0005776: Provide an option to only print Constructor name without qualified module names

Description

for example, when I have a nested Ast as follows,
most information was hidden by the qualified module paths
MetaAst.Expr.meta_patt _loc v |> anti_obj#expr; ;
- : Lib.Expr.Ast.expr =
Lib.Expr.Ast.ExApp (,
Lib.Expr.Ast.ExApp (,
  Lib.Expr.Ast.ExApp (,
   Lib.Expr.Ast.ExId (,
    Lib.Expr.Ast.IdAcc (, Lib.Expr.Ast.IdUid (, "Ast"),
     Lib.Expr.Ast.IdUid (, "PaApp"))),
   Lib.Expr.Ast.ExId (, Lib.Expr.Ast.IdLid (, "_loc"))),
  Lib.Expr.Ast.ExApp (,
   Lib.Expr.Ast.ExApp (,
    Lib.Expr.Ast.ExId (,
     Lib.Expr.Ast.IdAcc (, Lib.Expr.Ast.IdUid (, "Ast"),
      Lib.Expr.Ast.IdUid (, "PaId"))),
    Lib.Expr.Ast.ExId (, Lib.Expr.Ast.IdLid (, "_loc"))),
   Lib.Expr.Ast.ExApp (,
    Lib.Expr.Ast.ExApp (,
     Lib.Expr.Ast.ExId (,
      Lib.Expr.Ast.IdAcc (, Lib.Expr.Ast.IdUid (, "Ast"),
       Lib.Expr.Ast.IdUid (, "IdUid"))),
     Lib.Expr.Ast.ExId (, Lib.Expr.Ast.IdLid (, "_loc"))),
    Lib.Expr.Ast.ExStr (, "A")))),
Lib.Expr.Ast.ExId (, Lib.Expr.Ast.IdLid (, "x")))
It would be great for the toplevel to have an option to get output as follows:
ExApp (,
ExApp (,
  ExApp (, ExId (, IdAcc (, IdUid (, "Ast"), IdUid (, "PaApp"))),
   ExId (, IdLid (, "_loc"))),
  ExApp (,
   ExApp (, ExId (, IdAcc (, IdUid (, "Ast"), IdUid (, "PaId"))),
    ExId (, IdLid (, "_loc"))),
   ExApp (,
    ExApp (, ExId (, IdAcc (, IdUid (, "Ast"), IdUid (, "IdUid"))),
     ExId (, IdLid (, "_loc"))),
    ExStr (, "A")))),
ExId (, IdLid (, "x")))

suppose we have two directives like this
#print_qualified;;
#unprint_qualified;;

Issue History
Date Modified	Username	Field	Change
2012-10-07 02:50	hongboz	New Issue
2012-10-07 03:12	hongboz	Note Added: 0008214

Notes
(0008214) hongboz (developer) 2012-10-07 03:12	If people are ok with my suggestion, I would be happy to provide a patch

Relationships