Skip to content

Conversation

@fubuloubu
Copy link
Contributor

Summary

Add an implementation written in Vyper for the DNS example

"""

# Store the owner of a particular domain
domainOwner: public(map(string[40], address))
Copy link
Member

Choose a reason for hiding this comment

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

don't you need @imp for all the fields?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Yep... haha

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Wait, the original example doesn't have it either? Might be an internal-only thing or a missing requirement

Copy link
Member

Choose a reason for hiding this comment

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

There should be a note in a comment if its an internal-only thing, or maybe something like @imp internal

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Ah, sometimes we called such things "derived requirements" if they're an implementation detail that doesn't directly link to an upstream requirement but helps implement one in practice.

Do all public getters need a requirement?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Check out Line 20

Copy link
Member

Choose a reason for hiding this comment

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

Well, idk, I've never done requirement before lol. But it seems logical that all public things need to be tied to requirements. And I guess private functions are implementation details and don't really matter.

Unless you start changing a private function and it affects a bunch of public methods - then you need to go over all of them...

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.

3 participants