compiler

How the atopile compiler builds and links TypeGraphs from .ato (ANTLR front-end → AST → TypeGraph → Linker → DeferredExecutor), plus the key invariants and test entrypoints.

1. Zainstaluj skill w swoim środowisku Claude'a, wskazując repozytorium atopile z ścieżką .claude/skills/compiler. Skill będzie dostępny jako kontekst, gdy pracujesz nad kodem kompilatora.

2. Zapoznaj się z dokumentacją wstępną — przeczytaj src/atopile/compiler/README.md (przegląd etapów i przykłady użycia) oraz src/atopile/compiler/parser/README.md (regeneracja wyjścia ANTLR).

3. Gdy chcesz zbudować plik .ato w graf typów, użyj funkcji build_file() z modułu atopile.compiler.build. Zainicjuj GraphView, TypeGraph, StdlibRegistry i Linker zgodnie z przykładem w README.

4. Po zbudowaniu pliku wywołaj linker.link_imports(), aby połączyć importy, a następnie DeferredExecutor, aby wykonać operacje odroczone i zbudować pełny graf.

5. Pobierz typ główny z result.state.type_roots["ENTRYPOINT"], a następnie utwórz instancję węzła za pomocą tg.instantiate_node() i Node.bind_instance(), aby uzyskać dostęp do gotowego obiektu aplikacji.

6. Gdy modyfikujesz potok (parser, AST visitor, rozwiązywanie typów), odwołaj się do odpowiednich plików: parse.py (ANTLR), antlr_visitor.py (CST do AST), ast_visitor.py (AST do TypeGraph) — skill wskaże niezmienniki i punkty testowania dla każdego etapu.