Skip to content

Printing a bool gives a digit instead of the textual representation #1610

New issue
New issue
Open
Open
Printing a bool gives a digit instead of the textual representation#1610
Labels
kind: enhancementEnhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafnylang: c++Dafny's C++ transpiler and its runtimepart: code-generationSupport for transpiling Dafny to another language. If relevant, add a `lang:` tagpriority: not yetWill reconsider working on this when we're looking for work
@fabiomadge

Description

@fabiomadge
fabiomadge
opened on Nov 25, 2021
method Main(){
  print true, "\n";
}

Can we get nicer strings?

Metadata

Metadata

Assignees

No one assigned

    Labels

    kind: enhancementEnhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafnylang: c++Dafny's C++ transpiler and its runtimepart: code-generationSupport for transpiling Dafny to another language. If relevant, add a `lang:` tagpriority: not yetWill reconsider working on this when we're looking for work

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions