Clarify handling of strings in print statement #5364
Labels
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
part: documentation
Dafny's reference manual, tutorial, and other materials
priority: not yet
Will reconsider working on this when we're looking for work
What change in documentation do you suggest?
https://github.com/dafny-lang/dafny/blob/master/docs/Compilation/StringsAndChars.md#printing-strings-and-characters contains the relevant content, but since it affects user-observable behavior some degree of it should be added to https://dafny.org/dafny/DafnyRef/DafnyRef#sec-print-statement. In particular
--unicode-char true
mode intentionally makes printing nested string values not work as expected in all cases, in the name of consistent behavior across all backends.The text was updated successfully, but these errors were encountered: