You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
block:
let g :~ Group = 'foo bar baz'
let new_g :~ Group:
let (prefix, content, tail, suffix):
g.group_source_properties()
g.group_source_properties(prefix, content, tail, suffix)
values(
g.to_source_string(),
new_g.to_source_string(),
)
This gives "foo bar baz" vs. "". Compare with Syntax.source_properties:
block:
let t :~ Term = 'foo'
let new_t :~ Term:
let (prefix, content, tail, suffix):
t.source_properties()
t.source_properties(prefix, content, tail, suffix)
values(
t.to_source_string(),
new_t.to_source_string(),
)
This gives "foo" vs. "foo" as expected.
The text was updated successfully, but these errors were encountered:
Example:
This gives
"foo bar baz"
vs.""
. Compare withSyntax.source_properties
:This gives
"foo"
vs."foo"
as expected.The text was updated successfully, but these errors were encountered: