Skip to content

Conversation

@eb8680
Copy link
Contributor

@eb8680 eb8680 commented Feb 8, 2026

Addresses #513 #497

This PR adds a system prompt for Template calls consisting of the docstring of Template and the source code of the module where the Template is defined. Since dumping the entire lexical context into the prompt is infeasible in general, it also adds special tools that allow the LLM to read values of individual lexical variables into its context on demand.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Where should system prompts come from? Injecting Symbols Definition into Prompt for Program Synthesis.

1 participant