Skip to content

Improve dict export - #462

Merged
joente merged 2 commits into
mainfrom
dict_export
Oct 7, 2026
Merged

joente merged 2 commits into
mainfrom
dict_export

Conversation

@joente

@joente joente commented Oct 7, 2026

Copy link
Copy Markdown
Member

Description

While the export of a dict object works, the formatting could be improved.

Currently:

dict([
    [uuid('...'),0],  // uuid keys -> no space
    [0, 1],  // int keys -> correct
    ["a",2],  // str keys -> no space
])  // new line after dict
,  

Three issues could be improved:

  • space after comma in uuid keys
  • space after comma in str keys
  • no new line after export dict with keys

Type of change

  • Cosmetic improvement

How Has This Been Tested?

  • Test advanced

Checklist:

  • My code follows the style guidelines of this project
  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • New and existing unit tests pass locally with my changes

@joente joente self-assigned this Oct 7, 2026
@joente
joente merged commit 56d958a into main Oct 7, 2026
1 check passed
@joente
joente deleted the dict_export branch October 7, 2026 08:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant