codebase-map

name	codebase-map
description	Use when you need to know where a file, module, or subsystem lives in the Arrow repository (Rust src/, Python impl_python/, examples/, vscode-extension/), or what a given file is responsible for. Read this before navigating an unfamiliar part of the tree instead of globbing blindly.

Directory Structure

Arrow/
├── src/
│   ├── main.rs              # Entry point / argument parsing / error formatting
│   ├── token.rs             # Token enum / Span / Spanned definitions
│   ├── ast.rs                # AST node definitions (with embedded Span)
│   ├── python_converter.rs  # Python source converter utilities
│   ├── repl.rs               # Interactive REPL implementation
│   ├── frontend_tests.rs    # Lexer/parser/type-checker tests
│   ├── lexer/               # Lexer module
│   │   ├── mod.rs           # Lexer entry point (returns Vec<Spanned>)
│   │   ├── chars.rs         # Character utilities
│   │   ├── keyword.rs       # Keyword recognition
│   │   ├── literal.rs       # Numeric / string literal scanning
│   │   ├── math.rs          # Operator scanning
│   │   ├── scan.rs          # Main scan loop
│   │   └── symbol.rs        # Symbol / punctuation scanning
│   ├── parser/              # Parser module
│   │   ├── mod.rs           # Parser entry point (input: Vec<Spanned>)
│   │   ├── stmts.rs         # Statement parsing
│   │   ├── exprs.rs         # Expression parsing
│   │   ├── classes.rs       # Class / trait parsing
│   │   ├── types.rs         # Type annotation parsing
│   │   └── imports.rs       # Import statement parsing
│   ├── type_check/          # Static type checker module
│   │   ├── mod.rs           # Type checker entry point
│   │   ├── stmt.rs          # Statement type checking
│   │   ├── infer.rs         # Type inference
│   │   ├── types.rs         # Type representations
│   │   ├── errors.rs        # StaticTypeError definitions
│   │   ├── scope.rs         # Scope / environment
│   │   ├── type_utils.rs    # Type utility functions
│   │   ├── call_check.rs    # Function call type checking
│   │   ├── binop.rs         # Binary operator type checking
│   │   └── decorator.rs     # Decorator type checking
│   ├── interpreter.rs       # Interpreter entry point (re-exports interpreter/ module)
│   ├── interpreter/         # Interpreter module
│   │   ├── eval.rs          # Expression evaluation
│   │   ├── exec.rs          # Statement execution
│   │   ├── functions.rs     # Function / closure / generator execution
│   │   ├── classes.rs       # Class / trait execution
│   │   ├── templates.rs     # Template instantiation
│   │   ├── ops.rs           # Operator implementations
│   │   ├── str_methods.rs   # String method dispatch
│   │   ├── scope.rs         # Lexical scope / environment
│   │   ├── exceptions.rs    # Exception handling (try/except/finally/raise)
│   │   ├── async_mgr.rs     # AsyncManager and task submission
│   │   ├── native_api.rs    # Handle arena, TlCallbacks struct, C callback impls
│   │   ├── py_interop.rs    # Python interop (import[py] / import[py-int])
│   │   ├── debugger.rs      # break_point debugger support
│   │   ├── msvc_errors.rs   # MSVC-style error formatting
│   │   └── tests.rs         # Interpreter integration tests
│   ├── partial_compiler/    # --compile subsystem
│   │   ├── mod.rs           # Entry point: orchestrates compile pipeline
│   │   ├── codegen.rs       # Rust source code generator (fn → handle-based i64 ABI)
│   │   ├── module_compiler.rs # Writes .arc (v0/v1) and .ars; v1 embeds DLL inside .arc
│   │   ├── rs_loader.rs     # Loads and links compiled Rust shared libraries
│   │   └── stub_gen.rs      # .ars stub file generator
│   └── built_in_stab/       # Built-in type stubs (used by VS Code extension)
│       ├── built_in_const.ars
│       ├── built_in_type.ars
│       ├── basic_traits.ars
│       └── error.ars
├── spec.md                  # Language specification
├── examples/
│   ├── ....ar                 # Example files
│   ├── ..._error.ar           # Error examples
│   ├── test_modules/          # modules used by importation.ar
│   ├── geometry/              # example package
│   └── archived/              # older examples (kept for reference)
├── impl_python/               # Python implementation of the interpreter
│   ├── __main__.py            # CLI entry point: python -m impl_python <file.ar>
│   ├── __init__.py
│   ├── token.py               # Token / Span / Spanned definitions
│   ├── ast.py                 # AST node dataclasses
│   ├── repl.py                # Interactive REPL
│   ├── lexer/                 # Lexer module (mirrors src/lexer/)
│   ├── parser/                # Parser module (mirrors src/parser/)
│   ├── type_check/            # Static type checker module (mirrors src/type_check/)
│   ├── interpreter/           # Tree-walk interpreter package
│   │   ├── __init__.py        # run(stmts) entry point
│   │   ├── interpreter.py     # Interpreter class (exec / eval)
│   │   ├── value.py           # Runtime value types (TlList, TlClass, TlInstance, …)
│   │   ├── env.py             # Lexical scope / Environment
│   │   ├── exceptions.py      # Control-flow signals (ReturnSignal, RaiseSignal, …)
│   │   ├── native_api.py      # Native API bindings
│   │   └── builtins.py        # Built-in functions and collection method dispatch
│   └── partial_compiler/      # Partial compiler (mirrors src/partial_compiler/)
│       ├── codegen.py
│       ├── module_compiler.py
│       └── stub_gen.py
└── vscode-extension/          # VS Code extension (type inference inline hints)
    └── src/
        ├── extension.ts
        └── type_infer.ts