Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign upMove GlobalSymbolRegistry to the Agents record? #824
Comments
bmeck
self-assigned this
Feb 28, 2018
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
Show comment
Hide comment
|
This seems reasonable to me. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
anba commentedFeb 22, 2017
The GlobalSymbolRegistry is currently defined as follows:
With the addition of agents we probably need to move the GlobalSymbolRegistry to the Agent record to make clear that each agent has its own GlobalSymbolRegistry list.