dhall-python
dhall-python copied to clipboard
Dictionaries with numbers as keys get dumped into invalid dhall objects
>>> 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