Skip to content

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

@s-zeng

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