Skip to content

Include comments as its own dict/class as opposed to strings in PHIR spec#3

Merged
qartik merged 3 commits intomainfrom
phir-comments
Oct 13, 2023
Merged

Include comments as its own dict/class as opposed to strings in PHIR spec#3
qartik merged 3 commits intomainfrom
phir-comments

Conversation

@qartik
Copy link
Copy Markdown
Member

@qartik qartik commented Oct 13, 2023

  • Include comment as its own dict/class as opposed to strings
  • Typos in spec
  • Update example.json, use more concise comment format

@qartik qartik requested a review from qciaran October 13, 2023 21:19
@qartik qartik added the enhancement New feature or request label Oct 13, 2023
Copy link
Copy Markdown
Collaborator

@qciaran qciaran left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me.

@qartik qartik merged commit 941b48c into main Oct 13, 2023
@qartik qartik deleted the phir-comments branch October 13, 2023 21:38
@qartik qartik restored the phir-comments branch October 18, 2023 20:25
@qartik qartik deleted the phir-comments branch October 18, 2023 20:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants