Skip to content

Dictionaries with numbers as keys get dumped into invalid dhall objects #5

Description

@s-zeng
>>> dhall.dumps({3: 4})
'{ 3 = 4 }'

Having numbers as object keys is invalid syntax in dhall. We should either fix the dump by quoting keys in backticks, or by dumping to a List {mapKey: Natural, mapValue: Natural}, or by erroring

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions