Stratego/XT JIRA  History | Log In     View a printable version of the current page. Get help!  
Issue Details (XML | Word)

Key: STR-471
Type: Bug Bug
Status: Closed Closed
Resolution: Fixed
Priority: Major Major
Assignee: Martin Bravenboer
Reporter: Eelco Visser
Votes: 0
Watchers: 0
Operations

Clone this issue
Create sub-task
If you were logged in you would be able to see more operations.
Stratego/XT

pp-aterm does not show annotations on strings

Created: 2005-11-27 07:52   Updated: 2008-03-31 20:46
Component/s: aterm-tools
Affects Version/s: 0.16 (Stratego Core Compiler)
Fix Version/s: 0.17

Original Estimate: Unknown Remaining Estimate: Unknown Time Spent: Unknown


 Description  « Hide
pp-aterm does not print annotations on strings

$ pp-aterm
SDefT("test1_0_0",[],[],Scope(["a_0"{"escapes"},"b_0"{"escapes"}],Let([
SDefT("c_0",[],[],Match(Anno(Op("",[Var("b_0"{("frames",["c_0"])}){"(un)bound"},
Var("a_0"{("frames",["c_0"])}){"(un)bound"}]),Wld))){(0,0)},SDefT("d_0",[],[],Build(Anno(Op("",[Var("a_0"{("frames",["d_0"])}){"(un)bound"},Var("b_0"{("frames",
["d_0"])}){"(un)bound"}]),Op("Nil",[])))){(0,0)}],CallT(SVar("seq_2_0"{("frames"
,["test1_0_0"])}),[CallT(SVar("c_0"{("frames",[])}),[],[]),CallT(SVar("d_0"{("frames",[])}),[],[])],[])))){(0,0)}

produces

SDefT(
  "test1_0_0"
, []
, []
, Scope(
    ["a_0", "b_0"]
  , Let(
      [ SDefT(
          "c_0"
        , []
        , []
        , Match(
            Anno(
              Op("", [Var("b_0"){"(un)bound"}, Var("a_0"){"(un)bound"}])
            , Wld
            )
          )
        ){(0, 0)}
      , SDefT(
          "d_0"
        , []
        , []
        , Build(
            Anno(
              Op("", [Var("a_0"){"(un)bound"}, Var("b_0"){"(un)bound"}])
            , Op("Nil", [])
            )
          )
        ){(0, 0)}
      ]
    , CallT(
        SVar("seq_2_0")
      , [ CallT(SVar("c_0"), [], [])
        , CallT(SVar("d_0"), [], [])
        ]
      , []
      )
    )
  )
){(0, 0)}

 All   Comments   Work Log   Change History      Sort Order:
There are no comments yet on this issue.