dhall-python icon indicating copy to clipboard operation
dhall-python copied to clipboard

Dictionaries with numbers as keys get dumped into invalid dhall objects

Open s-zeng opened this issue 5 years ago • 0 comments

>>> 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

s-zeng avatar Nov 11 '20 03:11 s-zeng