trieste-dev Skill

Source

• Creator: microsoft
• Repository: microsoft/rego-cpp
• Skill file: .github/skills/trieste-dev/SKILL.md

What it does

Plan and implement Trieste-based compiler passes and AST transformations for rego-cpp. Use when: adding new compiler passes, modifying AST structure, implementing new Rego language features, debugging pass failures, working with well-formedness definitions, or performing any multi-step implementation that touches the T

Skill instructions

Trieste Development Workflow Plan and implement Trieste-based compiler passes, AST transformations, and language features in rego-cpp. When to Use - Adding or modifying a compiler pass in the file-to-rego or rego-to-bundle pipeline - Implementing new Rego language syntax (new tokens, grammar rules) - Changing well-formedness definitions - Debugging pass failures or well-formedness violations - Implementing complex multi-step features that touch the AST pipeline - Any task requiring coordination across parser, passes, built-ins, and VM Core Concepts Trieste is a multi-pass term-rewriting system. Understanding these concepts is mandatory before proceeding: - Pass: A PassDef that takes an AST conforming to an input well-formedness (WF) definition and rewrites it to conform to an output WF definition. Passes run repeatedly until no more rules match (fixpoint), unless dir::once is specified. - Well-formedness (WF): A structural specification of valid AST shapes. Each pass declares its outpu