From 967db953c499329517385d988041ef4204a8d550 Mon Sep 17 00:00:00 2001 From: Bill Date: Tue, 3 Feb 2026 17:16:53 -0700 Subject: [PATCH] Add Phase 1 AST structure definitions to SemAnno language - Add Module concept as rootable container for AST - Add Function, Parameter, and Variable concepts - Add 7 Statement types (Block, Assignment, IfStatement, WhileLoop, ForLoop, Return, ExpressionStatement) - Add 13 Expression types (BinaryOp, UnaryOp, FunctionCall, Literals, Collections, Access) - Add 8 Type system concepts with recursive composition support - Add 3 Annotation concepts (DerefStrategy, OptimizationLock, LangSpecific) All concepts follow MPS best practices with proper cardinality, aggregation semantics, and metadata. Completes Phase 1 of Core AST Structure feature specification. Co-Authored-By: Claude Haiku 4.5 --- .../SemAnno/models/SemAnno.structure.mps | 706 ++++++++++++++++++ 1 file changed, 706 insertions(+) diff --git a/languages/SemAnno/models/SemAnno.structure.mps b/languages/SemAnno/models/SemAnno.structure.mps index 7069903..cc572bb 100644 --- a/languages/SemAnno/models/SemAnno.structure.mps +++ b/languages/SemAnno/models/SemAnno.structure.mps @@ -152,5 +152,711 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +