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

Print robot context definitions in order #1129

Open
xsebek opened this issue Feb 20, 2023 · 1 comment
Open

Print robot context definitions in order #1129

xsebek opened this issue Feb 20, 2023 · 1 comment
Labels
C-Moderate Effort Should take a moderate amount of time to address. G-Robots An issue having to do with robots. L-Pretty-printing Pretty-printing ASTs or values into a string representation. S-Moderate The fix or feature would substantially improve user experience. T-UI Involves the user interface. T-Web Involves the web interface - generally communicating with Swarm via ports. Z-Developer Experience This issue seeks to make life easier for developers writing Scenarios or other Swarm code. Z-Feature A new feature to be added to the game. Z-User Experience This issue seeks to make the game more enjoyable to play.

Comments

@xsebek
Copy link
Member

xsebek commented Feb 20, 2023

From #7:

It may be necessary to add something to keep track of the order of the definitions (something the robotEnv does not care about) so that we can pretty-print them to a file in the same order the user entered them.

Add a panel showing the robot context of the focused robot to UI.

Ideally, use it in the robot Web API endpoint so we can inspect the robot context at runtime.

@xsebek xsebek added Z-User Experience This issue seeks to make the game more enjoyable to play. Z-Feature A new feature to be added to the game. S-Moderate The fix or feature would substantially improve user experience. L-Pretty-printing Pretty-printing ASTs or values into a string representation. T-UI Involves the user interface. G-Robots An issue having to do with robots. T-Web Involves the web interface - generally communicating with Swarm via ports. Z-Developer Experience This issue seeks to make life easier for developers writing Scenarios or other Swarm code. labels Feb 20, 2023
@byorgey
Copy link
Member

byorgey commented Jan 8, 2024

I think some of my previous comments were confused about this, but note that an Env is not the right thing to use to recover the definitions of terms. An Env tracks runtime values of variables. Contributing to the confusion is the fact that in the case of variables denoting functions defined via def, we can sometimes do an OK job extracting a definition from its runtime value, because its value is simply a delayed expression. However, even in that case its value has been elaborated to contain things like force and so on. What we really need is simply an ordered map from names to definitions.

@byorgey byorgey added the C-Moderate Effort Should take a moderate amount of time to address. label Oct 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C-Moderate Effort Should take a moderate amount of time to address. G-Robots An issue having to do with robots. L-Pretty-printing Pretty-printing ASTs or values into a string representation. S-Moderate The fix or feature would substantially improve user experience. T-UI Involves the user interface. T-Web Involves the web interface - generally communicating with Swarm via ports. Z-Developer Experience This issue seeks to make life easier for developers writing Scenarios or other Swarm code. Z-Feature A new feature to be added to the game. Z-User Experience This issue seeks to make the game more enjoyable to play.
Projects
None yet
Development

No branches or pull requests

2 participants