compiler

Skill dla Claude'a wyjaśniający architekturę kompilatora atopile — od parsowania ANTLR, przez budowanie grafu typów (TypeGraph), aż po linkowanie i wykonanie odroczonych operacji. Użyj go, gdy modyfikujesz potok kompilacji, gramatykę, odwiedzających AST lub rozwiązywanie typów. Zawiera przegląd etapów, przykłady kodu i wskazówki dotyczące kluczowych niezmienników oraz punktów testowania.

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.