display() and its pretty format

new topic     » topic index » view thread      » older message » newer message

The documentation for console:display says:

console:display said...

If data_in is a simple text string, then args can be used to produce a formatted output with data_in providing the text:format string and args being a sequence containing the data to be formatted.

The documentation for text:format says:

text:format said...

Any sequence argument that is not a string will be converted to its pretty format before being used in token replacement.

The following code seems to demonstrate otherwise:

sequence s1 = { 
    {1,2,3}, 
    {5,5,6}, 
    {7,8,9} 
} 
 
display( "s1 = []", {s1} ) 

s1 = {{1,2,3},{5,5,6},{7,8,9}} 

I would expect this output instead:

s1 = { 
  {1,2,3}, 
  {5,5,6}, 
  {7,8,9} 
} 

Which I get with this code:

display( "s1 = _" ) 
display( s1 ) 

Am I doing something wrong here or is this not the intended output?

-Greg

new topic     » topic index » view thread      » older message » newer message

Search



Quick Links

User menu

Not signed in.

Misc Menu