2.2 KiB
2.2 KiB
AI Agent Notes
Kotlin/Wasm generation guardrails
- Avoid creating suspend lambdas for compiler runtime statements. Prefer explicit
object : Statement()withoverride suspend fun execute(...). - Do not use
statement { ... }or other inline suspend lambdas in compiler hot paths (e.g., parsing/var declarations, initializer thunks). - If you need a wrapper for delegated properties, check for
getValueexplicitly and return a concreteStatementobject when missing; avoidonNotFoundResultlambdas. - If wasmJs browser tests hang, first run
:lynglib:wasmJsNodeTestand look for wasm compilation errors; hangs usually mean module instantiation failed. - Do not increase test timeouts to mask wasm generation errors; fix the invalid IR instead.
Type inference notes (notes/new_lyng_type_system_spec.md)
- Nullability is Kotlin-style:
Tnon-null,T?nullable,!!asserts non-null. voidis a singleton of classVoid(syntax sugar for return type).- Object members are always allowed even on unknown types; non-Object members require explicit casts. Remove
inspectfrom Object and usetoInspectString()instead. - Type expression checks:
x is Tis value instance check;T1 is T2is type-subset;A in TmeansAis subset ofT;==is structural type equality. - Type aliases:
type Name = TypeExpr(generic allowed) expand to their underlying type expressions; no nominal distinctness. - Bounds and variance:
T: A & B/T: A | Bfor bounds; declaration-site variance without/in. - Do not reintroduce bytecode fallback opcodes (e.g.,
GET_NAME,EVAL_*,CALL_FALLBACK) or runtime name-resolution fallbacks; all symbol resolution must stay compile-time only.
Bytecode frame-first migration plan
- Treat frame slots as the only storage for locals/temps by default; avoid pre-creating scope slot mappings for compiled functions.
- Create closure references only when a capture is detected; use a direct frame+slot reference (foreign slot ref) instead of scope slots.
- Keep Scope as a lazy reflection facade: resolve name -> slot only on demand for Kotlin interop (no eager name mapping on every call).
- Avoid PUSH_SCOPE/POP_SCOPE in bytecode for loops/functions unless dynamic name access or Kotlin reflection is requested.