Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: refactor Ref to Symbol #37

Closed
wants to merge 5 commits into from

Conversation

wonbyte
Copy link
Contributor

@wonbyte wonbyte commented Jan 7, 2024

Given the role of Ref in handling unique identifiers and ensuring type safety, renaming Ref to Symbol seems appropriate. The term "symbol" more accurately reflects its purpose and usage in the codebase.

This work addresses #32

@wonbyte wonbyte marked this pull request as draft January 7, 2024 05:12
@wonbyte wonbyte changed the title chore: refactor ref.ml to symbol.ml chore: refactor Ref to Symbol Jan 7, 2024
@leostera
Copy link
Collaborator

leostera commented Jan 7, 2024

Hi @wonbyte! Thanks for the PR ✨ – it looks good :) we just gotta export this new symbol module through riot.mli and fix the docs there.

Btw, the PR description triggered my AI spidey sense – is it AI?

@wonbyte
Copy link
Contributor Author

wonbyte commented Jan 7, 2024

I did run it through some grammar and spell checking so nice catch 🕷️sense! I want to make sure I properly document everything as clearly as possible. Not sure i fully understand yet! I'll make those updates shortly.

@leostera leostera added this to the riot/phase-2 milestone Mar 2, 2024
@leostera leostera removed this from the riot/phase-2 milestone Apr 11, 2024
@wonbyte wonbyte closed this by deleting the head repository May 28, 2024
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.

None yet

2 participants