Module: Rigor::AST
- Defined in:
- lib/rigor/ast.rb,
lib/rigor/ast/type_node.rb
Overview
Synthetic AST nodes accepted by Rigor::Scope#type_of alongside real Prism nodes. Rigor::AST::Node is a documentation-only marker module that production code uses to detect virtual-node arguments. Concrete virtual node classes include Rigor::AST::Node and provide whatever node-specific data the engine needs to translate them into a Rigor::Type.
The contract for virtual nodes lives in docs/internal-spec/inference-engine.md; the rationale and the rejected alternative of specialising type classes for operator-method dispatch live in docs/adr/4-type-inference-engine.md.