AGENTS.md

@@ -6,9 +6,3 @@
 - If you need a wrapper for delegated properties, check for `getValue` explicitly and return a concrete `Statement` object when missing; avoid `onNotFoundResult` lambdas.
 - If wasmJs browser tests hang, first run `:lynglib:wasmJsNodeTest` and 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/type_system_spec.md)
-- Nullability is Kotlin-style: `T` non-null, `T?` nullable, `!!` asserts non-null.
-- `void` is a singleton of class `Void` (syntax sugar for return type).
-- Object member access requires explicit cast; remove `inspect` from Object and use `toInspectString()` instead.
-- 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.

docs/scopes_and_closures.md

@@ -1,7 +1,5 @@
 # Scopes and Closures: resolution and safety
 
-Attention to AI: name lookup is ibsolete and must not be used with bytecode compiler
-
 This page documents how name resolution works with `ClosureScope`, how to avoid recursion pitfalls, and how to safely capture and execute callbacks that need access to outer locals.
 
 ## Why this matters

lynglib/src/commonMain/kotlin/net/sergeych/lyng/ArgsDeclaration.kt

@@ -67,40 +67,24 @@ data class ArgsDeclaration(val params: List<Item>, val endTokenType: Token.Type)
                 for (i in params.indices) {
                     val a = params[i]
                     val value = arguments.list[i]
-                    val recordType = if (declaringClass != null && a.accessType != null) {
-                        ObjRecord.Type.ConstructorField
-                    } else {
-                        ObjRecord.Type.Argument
-                    }
-                    scope.addItem(
-                        a.name,
-                        (a.accessType ?: defaultAccessType).isMutable,
+                    scope.addItem(a.name, (a.accessType ?: defaultAccessType).isMutable,
                         value.byValueCopy(),
                         a.visibility ?: defaultVisibility,
-                        recordType = recordType,
+                        recordType = ObjRecord.Type.Argument,
                         declaringClass = declaringClass,
-                        isTransient = a.isTransient
-                    )
+                        isTransient = a.isTransient)
                 }
                 return
             }
         }
 
         fun assign(a: Item, value: Obj) {
-            val recordType = if (declaringClass != null && a.accessType != null) {
-                ObjRecord.Type.ConstructorField
-            } else {
-                ObjRecord.Type.Argument
-            }
-            scope.addItem(
-                a.name,
-                (a.accessType ?: defaultAccessType).isMutable,
+            scope.addItem(a.name, (a.accessType ?: defaultAccessType).isMutable,
                 value.byValueCopy(),
                 a.visibility ?: defaultVisibility,
-                recordType = recordType,
+                recordType = ObjRecord.Type.Argument,
                 declaringClass = declaringClass,
-                isTransient = a.isTransient
-            )
+                isTransient = a.isTransient)
         }
 
         // Prepare positional args and parameter count, handle tail-block binding
@@ -259,4 +243,4 @@ data class ArgsDeclaration(val params: List<Item>, val endTokenType: Token.Type)
         val visibility: Visibility? = null,
         val isTransient: Boolean = false,
     )
-}
+}

lynglib/src/commonMain/kotlin/net/sergeych/lyng/BlockStatement.kt

@@ -21,7 +21,6 @@ import net.sergeych.lyng.obj.Obj
 class BlockStatement(
     val block: Script,
     val slotPlan: Map<String, Int>,
-    val captureSlots: List<CaptureSlot> = emptyList(),
     private val startPos: Pos,
 ) : Statement() {
     override val pos: Pos = startPos
@@ -29,22 +28,8 @@ class BlockStatement(
     override suspend fun execute(scope: Scope): Obj {
         val target = if (scope.skipScopeCreation) scope else scope.createChildScope(startPos)
         if (slotPlan.isNotEmpty()) target.applySlotPlan(slotPlan)
-        if (captureSlots.isNotEmpty()) {
-            val applyScope = scope as? ApplyScope
-            for (capture in captureSlots) {
-                val rec = if (applyScope != null) {
-                    applyScope.resolveCaptureRecord(capture.name)
-                        ?: applyScope.callScope.resolveCaptureRecord(capture.name)
-                } else {
-                    scope.resolveCaptureRecord(capture.name)
-                } ?: (applyScope?.callScope ?: scope)
-                    .raiseSymbolNotFound("symbol ${capture.name} not found")
-                target.updateSlotFor(capture.name, rec)
-            }
-        }
         return block.execute(target)
     }
 
     fun statements(): List<Statement> = block.debugStatements()
-
 }

lynglib/src/commonMain/kotlin/net/sergeych/lyng/CallSignature.kt

@@ -1,24 +0,0 @@
-/*
- * Copyright 2026 Sergey S. Chernov
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-package net.sergeych.lyng
-
-/**
- * Compile-time call metadata for known functions. Used to select lambda receiver semantics.
- */
-data class CallSignature(
-    val tailBlockReceiverType: String? = null
-)

lynglib/src/commonMain/kotlin/net/sergeych/lyng/CaptureSlot.kt

@@ -1,22 +0,0 @@
-/*
- * Copyright 2026 Sergey S. Chernov
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- *
- */
-
-package net.sergeych.lyng
-
-data class CaptureSlot(
-    val name: String,
-)

lynglib/src/commonMain/kotlin/net/sergeych/lyng/ClosureScope.kt

@@ -26,25 +26,12 @@ import net.sergeych.lyng.obj.ObjRecord
  * Inherits [Scope.args] and [Scope.thisObj] from [callScope] and adds lookup for symbols
  * from [closureScope] with proper precedence
  */
-class ClosureScope(
-    val callScope: Scope,
-    val closureScope: Scope,
-    private val preferredThisType: String? = null
-) :
+class ClosureScope(val callScope: Scope, val closureScope: Scope) :
     // Important: use closureScope.thisObj so unqualified members (e.g., fields) resolve to the instance
     // we captured, not to the caller's `this` (e.g., FlowBuilder).
     Scope(callScope, callScope.args, thisObj = closureScope.thisObj) {
 
     init {
-        val desired = preferredThisType?.let { typeName ->
-            callScope.thisVariants.firstOrNull { it.objClass.className == typeName }
-        }
-        val primaryThis = closureScope.thisObj
-        val merged = ArrayList<Obj>(callScope.thisVariants.size + closureScope.thisVariants.size + 1)
-        desired?.let { merged.add(it) }
-        merged.addAll(callScope.thisVariants)
-        merged.addAll(closureScope.thisVariants)
-        setThisVariants(primaryThis, merged)
         // Preserve the lexical class context of the closure by default. This ensures that lambdas
         // created inside a class method keep access to that class's private/protected members even
         // when executed from within another object's method (e.g., Mutex.withLock), which may set
@@ -84,15 +71,14 @@ class ClosureScope(
     }
 }
 
-class ApplyScope(val callScope: Scope, val applied: Scope) :
-    Scope(callScope, thisObj = applied.thisObj) {
+class ApplyScope(_parent: Scope,val applied: Scope) : Scope(_parent, thisObj = applied.thisObj) {
 
     override fun get(name: String): ObjRecord? {
         return applied.get(name) ?: super.get(name)
     }
 
-    override fun applyClosure(closure: Scope, preferredThisType: String?): Scope {
-        return ClosureScope(this, closure, preferredThisType)
+    override fun applyClosure(closure: Scope): Scope {
+        return this
     }
 
-}
+}

lynglib/src/commonMain/kotlin/net/sergeych/lyng/CodeContext.kt

@@ -19,19 +19,8 @@ package net.sergeych.lyng
 
 sealed class CodeContext {
     class Module(@Suppress("unused") val packageName: String?): CodeContext()
-    class Function(
-        val name: String,
-        val implicitThisMembers: Boolean = false,
-        val implicitThisTypeName: String? = null
-    ): CodeContext()
+    class Function(val name: String): CodeContext()
     class ClassBody(val name: String, val isExtern: Boolean = false): CodeContext() {
         val pendingInitializations = mutableMapOf<String, Pos>()
-        val declaredMembers = mutableSetOf<String>()
-        val memberOverrides = mutableMapOf<String, Boolean>()
-        val memberFieldIds = mutableMapOf<String, Int>()
-        val memberMethodIds = mutableMapOf<String, Int>()
-        var nextFieldId: Int = 0
-        var nextMethodId: Int = 0
-        var slotPlanId: Int? = null
     }
-}
+}

lynglib/src/commonMain/kotlin/net/sergeych/lyng/DelegatedVarDeclStatement.kt

@@ -1,54 +0,0 @@
-/*
- * Copyright 2026 Sergey S. Chernov
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-package net.sergeych.lyng
-
-import net.sergeych.lyng.obj.Obj
-import net.sergeych.lyng.obj.ObjNull
-import net.sergeych.lyng.obj.ObjRecord
-import net.sergeych.lyng.obj.ObjString
-
-class DelegatedVarDeclStatement(
-    val name: String,
-    val isMutable: Boolean,
-    val visibility: Visibility,
-    val initializer: Statement,
-    val isTransient: Boolean,
-    private val startPos: Pos,
-) : Statement() {
-    override val pos: Pos = startPos
-
-    override suspend fun execute(context: Scope): Obj {
-        val initValue = initializer.execute(context)
-        val accessTypeStr = if (isMutable) "Var" else "Val"
-        val accessType = context.resolveQualifiedIdentifier("DelegateAccess.$accessTypeStr")
-        val finalDelegate = try {
-            initValue.invokeInstanceMethod(context, "bind", Arguments(ObjString(name), accessType, ObjNull))
-        } catch (e: Exception) {
-            initValue
-        }
-        val rec = context.addItem(
-            name,
-            isMutable,
-            ObjNull,
-            visibility,
-            recordType = ObjRecord.Type.Delegated,
-            isTransient = isTransient
-        )
-        rec.delegate = finalDelegate
-        return finalDelegate
-    }
-}

lynglib/src/commonMain/kotlin/net/sergeych/lyng/ExtensionNaming.kt

@@ -1,34 +0,0 @@
-/*
- * Copyright 2026 Sergey S. Chernov
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- *
- */
-
-package net.sergeych.lyng
-
-internal fun extensionCallableName(typeName: String, memberName: String): String {
-    return "__ext__${sanitizeExtensionTypeName(typeName)}__${memberName}"
-}
-
-internal fun extensionPropertyGetterName(typeName: String, memberName: String): String {
-    return "__ext_get__${sanitizeExtensionTypeName(typeName)}__${memberName}"
-}
-
-internal fun extensionPropertySetterName(typeName: String, memberName: String): String {
-    return "__ext_set__${sanitizeExtensionTypeName(typeName)}__${memberName}"
-}
-
-private fun sanitizeExtensionTypeName(typeName: String): String {
-    return typeName.replace('.', '_')
-}

lynglib/src/commonMain/kotlin/net/sergeych/lyng/ExtensionPropertyDeclStatement.kt

@@ -18,8 +18,6 @@ package net.sergeych.lyng
 
 import net.sergeych.lyng.obj.Obj
 import net.sergeych.lyng.obj.ObjClass
-import net.sergeych.lyng.obj.ObjExtensionPropertyGetterCallable
-import net.sergeych.lyng.obj.ObjExtensionPropertySetterCallable
 import net.sergeych.lyng.obj.ObjProperty
 import net.sergeych.lyng.obj.ObjRecord
 
@@ -47,14 +45,6 @@ class ExtensionPropertyDeclStatement(
                 type = ObjRecord.Type.Property
             )
         )
-        val getterName = extensionPropertyGetterName(extTypeName, property.name)
-        val getterWrapper = ObjExtensionPropertyGetterCallable(property.name, property)
-        context.addItem(getterName, false, getterWrapper, visibility, recordType = ObjRecord.Type.Fun)
-        if (property.setter != null) {
-            val setterName = extensionPropertySetterName(extTypeName, property.name)
-            val setterWrapper = ObjExtensionPropertySetterCallable(property.name, property)
-            context.addItem(setterName, false, setterWrapper, visibility, recordType = ObjRecord.Type.Fun)
-        }
         return property
     }
 }

lynglib/src/commonMain/kotlin/net/sergeych/lyng/InlineBlockStatement.kt

@@ -1,37 +0,0 @@
-/*
- * Copyright 2026 Sergey S. Chernov
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-package net.sergeych.lyng
-
-import net.sergeych.lyng.obj.Obj
-import net.sergeych.lyng.obj.ObjVoid
-
-class InlineBlockStatement(
-    private val statements: List<Statement>,
-    private val startPos: Pos,
-) : Statement() {
-    override val pos: Pos = startPos
-
-    override suspend fun execute(scope: Scope): Obj {
-        var last: Obj = ObjVoid
-        for (stmt in statements) {
-            last = stmt.execute(scope)
-        }
-        return last
-    }
-
-    fun statements(): List<Statement> = statements
-}

lynglib/src/commonMain/kotlin/net/sergeych/lyng/ModuleScope.kt

@@ -59,7 +59,6 @@ class ModuleScope(
                         // when importing records, we keep track of its package (not otherwise needed)
                         if (record.importedFrom == null) record.importedFrom = this
                         scope.objects[newName] = record
-                        scope.updateSlotFor(newName, record)
                     }
                 }
             }
@@ -93,3 +92,4 @@ class ModuleScope(
     }
 }
 
+

lynglib/src/commonMain/kotlin/net/sergeych/lyng/Scope.kt

@@ -52,8 +52,6 @@ open class Scope(
     var currentClassCtx: net.sergeych.lyng.obj.ObjClass? = parent?.currentClassCtx
     // Unique id per scope frame for PICs; regenerated on each borrow from the pool.
     var frameId: Long = nextFrameId()
-    @PublishedApi
-    internal val thisVariants: MutableList<Obj> = mutableListOf()
 
     // Fast-path storage for local variables/arguments accessed by slot index.
     // Enabled by default for child scopes; module/class scopes can ignore it.
@@ -68,21 +66,6 @@ open class Scope(
 
     internal val extensions: MutableMap<ObjClass, MutableMap<String, ObjRecord>> = mutableMapOf()
 
-    init {
-        setThisVariants(thisObj, parent?.thisVariants ?: emptyList())
-    }
-
-    internal fun setThisVariants(primary: Obj, extras: List<Obj>) {
-        thisObj = primary
-        thisVariants.clear()
-        thisVariants.add(primary)
-        for (obj in extras) {
-            if (obj !== primary && !thisVariants.contains(obj)) {
-                thisVariants.add(obj)
-            }
-        }
-    }
-
     fun addExtension(cls: ObjClass, name: String, record: ObjRecord) {
         extensions.getOrPut(cls) { mutableMapOf() }[name] = record
     }
@@ -143,14 +126,6 @@ open class Scope(
         }
         s.getSlotIndexOf(name)?.let { idx ->
             val rec = s.getSlotRecord(idx)
-            val hasDirectBinding =
-                s.objects.containsKey(name) ||
-                    s.localBindings.containsKey(name) ||
-                    (caller?.let { ctx ->
-                        s.objects.containsKey(ctx.mangledName(name)) ||
-                            s.localBindings.containsKey(ctx.mangledName(name))
-                    } ?: false)
-            if (!hasDirectBinding && rec.value === ObjUnset) return null
             if (rec.declaringClass == null || canAccessMember(rec.visibility, rec.declaringClass, caller, name)) return rec
         }
         return null
@@ -168,10 +143,6 @@ open class Scope(
         return null
     }
 
-    internal fun resolveCaptureRecord(name: String): ObjRecord? {
-        return chainLookupIgnoreClosure(name, followClosure = true, caller = currentClassCtx)
-    }
-
     /**
      * Perform base Scope.get semantics for this frame without delegating into parent.get
      * virtual dispatch. This checks:
@@ -357,8 +328,11 @@ open class Scope(
     }
 
     inline fun <reified T : Obj> thisAs(): T {
-        for (obj in thisVariants) {
-            if (obj is T) return obj
+        var s: Scope? = this
+        while (s != null) {
+            val t = s.thisObj
+            if (t is T) return t
+            s = s.parent
         }
         raiseClassCastError("Cannot cast ${thisObj.objClass.className} to ${T::class.simpleName}")
     }
@@ -369,13 +343,6 @@ open class Scope(
 
     open operator fun get(name: String): ObjRecord? {
         if (name == "this") return thisObj.asReadonly
-        if (name == "__PACKAGE__") {
-            var s: Scope? = this
-            while (s != null) {
-                if (s is ModuleScope) return s.packageNameObj
-                s = s.parent
-            }
-        }
 
         // 1. Prefer direct locals/bindings declared in this frame
         tryGetLocalRecord(this, name, currentClassCtx)?.let { return it }
@@ -420,8 +387,6 @@ open class Scope(
         get() = slots.size
 
     fun getSlotIndexOf(name: String): Int? = nameToSlot[name]
-
-    internal fun slotNameToIndexSnapshot(): Map<String, Int> = nameToSlot.toMap()
     fun allocateSlotFor(name: String, record: ObjRecord): Int {
         val idx = slots.size
         slots.add(record)
@@ -431,12 +396,6 @@ open class Scope(
 
     fun updateSlotFor(name: String, record: ObjRecord) {
         nameToSlot[name]?.let { slots[it] = record }
-        if (objects[name] == null) {
-            objects[name] = record
-        }
-        if (localBindings[name] == null) {
-            localBindings[name] = record
-        }
     }
 
     /**
@@ -506,7 +465,6 @@ open class Scope(
         this.parent = null
         this.skipScopeCreation = false
         this.currentClassCtx = null
-        thisVariants.clear()
         objects.clear()
         slots.clear()
         nameToSlot.clear()
@@ -537,7 +495,7 @@ open class Scope(
         this.parent = parent
         this.args = args
         this.pos = pos
-        setThisVariants(thisObj, parent?.thisVariants ?: emptyList())
+        this.thisObj = thisObj
         // Pre-size local slots for upcoming parameter assignment where possible
         reserveLocalCapacity(args.list.size + 4)
     }
@@ -626,10 +584,7 @@ open class Scope(
         isAbstract: Boolean = false,
         isClosed: Boolean = false,
         isOverride: Boolean = false,
-        isTransient: Boolean = false,
-        callSignature: CallSignature? = null,
-        fieldId: Int? = null,
-        methodId: Int? = null
+        isTransient: Boolean = false
     ): ObjRecord {
         val rec = ObjRecord(
             value, isMutable, visibility, writeVisibility,
@@ -638,19 +593,15 @@ open class Scope(
             isAbstract = isAbstract,
             isClosed = isClosed,
             isOverride = isOverride,
-            isTransient = isTransient,
-            callSignature = callSignature,
-            memberName = name,
-            fieldId = fieldId,
-            methodId = methodId
+            isTransient = isTransient
         )
         objects[name] = rec
         bumpClassLayoutIfNeeded(name, value, recordType)
         if (recordType == ObjRecord.Type.Field || recordType == ObjRecord.Type.ConstructorField) {
             val inst = thisObj as? net.sergeych.lyng.obj.ObjInstance
             if (inst != null) {
-                val slotId = rec.fieldId ?: inst.objClass.fieldSlotForKey(name)?.slot
-                if (slotId != null) inst.setFieldSlotRecord(slotId, rec)
+                val slot = inst.objClass.fieldSlotForKey(name)
+                if (slot != null) inst.setFieldSlotRecord(slot.slot, rec)
             }
         }
         if (value is Statement ||
@@ -659,8 +610,8 @@ open class Scope(
             recordType == ObjRecord.Type.Property) {
             val inst = thisObj as? net.sergeych.lyng.obj.ObjInstance
             if (inst != null) {
-                val slotId = rec.methodId ?: inst.objClass.methodSlotForKey(name)?.slot
-                if (slotId != null) inst.setMethodSlotRecord(slotId, rec)
+                val slot = inst.objClass.methodSlotForKey(name)
+                if (slot != null) inst.setMethodSlotRecord(slot.slot, rec)
             }
         }
         // Index this binding within the current frame to help resolve locals across suspension
@@ -721,7 +672,7 @@ open class Scope(
         return CmdDisassembler.disassemble(bytecode)
     }
 
-    fun addFn(vararg names: String, callSignature: CallSignature? = null, fn: suspend Scope.() -> Obj) {
+    fun addFn(vararg names: String, fn: suspend Scope.() -> Obj) {
         val newFn = object : Statement() {
             override val pos: Pos = Pos.builtIn
 
@@ -732,9 +683,7 @@ open class Scope(
             addItem(
                 name,
                 false,
-                newFn,
-                recordType = ObjRecord.Type.Fun,
-                callSignature = callSignature
+                newFn
             )
         }
     }
@@ -748,10 +697,9 @@ open class Scope(
         eval(code.toSource())
 
     suspend fun eval(source: Source): Obj {
-        return Compiler.compileWithResolution(
+        return Compiler.compile(
             source,
-            currentImportProvider,
-            seedScope = this
+            currentImportProvider
         ).execute(this)
     }
 
@@ -804,8 +752,7 @@ open class Scope(
         println("--------------------")
     }
 
-    open fun applyClosure(closure: Scope, preferredThisType: String? = null): Scope =
-        ClosureScope(this, closure, preferredThisType)
+    open fun applyClosure(closure: Scope): Scope = ClosureScope(this, closure)
 
     /**
      * Resolve and evaluate a qualified identifier exactly as compiled code would.
@@ -817,25 +764,11 @@ open class Scope(
         val trimmed = qualifiedName.trim()
         if (trimmed.isEmpty()) raiseSymbolNotFound("empty identifier")
         val parts = trimmed.split('.')
-        val first = parts[0]
-        val ref: ObjRef = if (first == "this") {
-            ConstRef(thisObj.asReadonly)
-        } else {
-            var s: Scope? = this
-            var slot: Int? = null
-            var guard = 0
-            while (s != null && guard++ < 1024 && slot == null) {
-                slot = s.getSlotIndexOf(first)
-                s = s.parent
-            }
-            if (slot == null) raiseSymbolNotFound(first)
-            LocalSlotRef(first, slot, 0, isMutable = false, isDelegated = false, Pos.builtIn, strict = true)
-        }
-        var ref0: ObjRef = ref
+        var ref: ObjRef = LocalVarRef(parts[0], Pos.builtIn)
         for (i in 1 until parts.size) {
-            ref0 = FieldRef(ref0, parts[i], false)
+            ref = FieldRef(ref, parts[i], false)
         }
-        return ref0.evalValue(this)
+        return ref.evalValue(this)
     }
 
     suspend fun resolve(rec: ObjRecord, name: String): Obj {

lynglib/src/commonMain/kotlin/net/sergeych/lyng/Script.kt

@@ -32,15 +32,10 @@ import kotlin.math.*
 class Script(
     override val pos: Pos,
     private val statements: List<Statement> = emptyList(),
-    private val moduleSlotPlan: Map<String, Int> = emptyMap(),
 //    private val catchReturn: Boolean = false,
 ) : Statement() {
 
     override suspend fun execute(scope: Scope): Obj {
-        if (moduleSlotPlan.isNotEmpty()) {
-            scope.applySlotPlan(moduleSlotPlan)
-            seedModuleSlots(scope)
-        }
         var lastResult: Obj = ObjVoid
         for (s in statements) {
             lastResult = s.execute(scope)
@@ -48,43 +43,6 @@ class Script(
         return lastResult
     }
 
-    private fun seedModuleSlots(scope: Scope) {
-        val parent = scope.parent ?: return
-        for (name in moduleSlotPlan.keys) {
-            if (scope.objects.containsKey(name)) {
-                scope.updateSlotFor(name, scope.objects[name]!!)
-                continue
-            }
-            val seed = findSeedRecord(parent, name)
-            if (seed != null) {
-                if (name == "Exception" && seed.value !is ObjClass) {
-                    scope.updateSlotFor(name, ObjRecord(ObjException.Root, isMutable = false))
-                } else {
-                    scope.updateSlotFor(name, seed)
-                }
-                continue
-            }
-            if (name == "Exception") {
-                scope.updateSlotFor(name, ObjRecord(ObjException.Root, isMutable = false))
-            }
-        }
-    }
-
-    private fun findSeedRecord(scope: Scope?, name: String): ObjRecord? {
-        var s = scope
-        var hops = 0
-        while (s != null && hops++ < 1024) {
-            s.objects[name]?.let { return it }
-            s.localBindings[name]?.let { return it }
-            s.getSlotIndexOf(name)?.let { idx ->
-                val rec = s.getSlotRecord(idx)
-                if (rec.value !== ObjUnset) return rec
-            }
-            s = s.parent
-        }
-        return null
-    }
-
     internal fun debugStatements(): List<Statement> = statements
 
     suspend fun execute() = execute(
@@ -369,30 +327,6 @@ class Script(
                 this.trace(args.getOrNull(0)?.toString() ?: "")
                 ObjVoid
             }
-            addFn("run") {
-                requireOnlyArg<Statement>().execute(this)
-            }
-            addFn("cached") {
-                val builder = requireOnlyArg<Statement>()
-                val capturedScope = this
-                var calculated = false
-                var cachedValue: Obj = ObjVoid
-                val thunk = object : Statement() {
-                    override val pos: Pos = Pos.builtIn
-                    override suspend fun execute(scope: Scope): Obj {
-                        if (!calculated) {
-                            cachedValue = builder.execute(capturedScope)
-                            calculated = true
-                        }
-                        return cachedValue
-                    }
-                }
-                thunk
-            }
-            addFn("lazy") {
-                val builder = requireOnlyArg<Statement>()
-                ObjLazyDelegate(builder, this)
-            }
 
             addVoidFn("delay") {
                 val a = args.firstAndOnly()
@@ -428,11 +362,8 @@ class Script(
             addConst("CompletableDeferred", ObjCompletableDeferred.type)
             addConst("Mutex", ObjMutex.type)
             addConst("Flow", ObjFlow.type)
-            addConst("FlowBuilder", ObjFlowBuilder.type)
 
             addConst("Regex", ObjRegex.type)
-            addConst("RegexMatch", ObjRegexMatch.type)
-            addConst("MapEntry", ObjMapEntry.type)
 
             addFn("launch") {
                 val callable = requireOnlyArg<Statement>()
@@ -446,7 +377,7 @@ class Script(
                 ObjVoid
             }
 
-            addFn("flow", callSignature = CallSignature(tailBlockReceiverType = "FlowBuilder")) {
+            addFn("flow") {
                 // important is: current context contains closure often used in call;
                 // we'll need it for the producer
                 ObjFlow(requireOnlyArg<Statement>(), this)

lynglib/src/commonMain/kotlin/net/sergeych/lyng/VarDeclStatement.kt

@@ -17,10 +17,8 @@
 package net.sergeych.lyng
 
 import net.sergeych.lyng.obj.Obj
-import net.sergeych.lyng.obj.ObjClass
 import net.sergeych.lyng.obj.ObjNull
 import net.sergeych.lyng.obj.ObjRecord
-import net.sergeych.lyng.obj.ObjUnset
 
 class VarDeclStatement(
     val name: String,
@@ -29,14 +27,13 @@ class VarDeclStatement(
     val initializer: Statement?,
     val isTransient: Boolean,
     val slotIndex: Int?,
-    val scopeId: Int?,
+    val slotDepth: Int?,
     private val startPos: Pos,
-    val initializerObjClass: ObjClass? = null,
 ) : Statement() {
     override val pos: Pos = startPos
 
     override suspend fun execute(context: Scope): Obj {
-        val initValue = initializer?.execute(context)?.byValueCopy() ?: ObjUnset
+        val initValue = initializer?.execute(context)?.byValueCopy() ?: ObjNull
         context.addItem(
             name,
             isMutable,

lynglib/src/commonMain/kotlin/net/sergeych/lyng/bytecode/BytecodeConst.kt

@@ -33,7 +33,7 @@ sealed class BytecodeConst {
     data class StatementVal(val statement: net.sergeych.lyng.Statement) : BytecodeConst()
     data class ListLiteralPlan(val spreads: List<Boolean>) : BytecodeConst()
     data class ValueFn(val fn: suspend (net.sergeych.lyng.Scope) -> net.sergeych.lyng.obj.ObjRecord) : BytecodeConst()
-    data class SlotPlan(val plan: Map<String, Int>, val captures: List<String> = emptyList()) : BytecodeConst()
+    data class SlotPlan(val plan: Map<String, Int>) : BytecodeConst()
     data class ExtensionPropertyDecl(
         val extTypeName: String,
         val property: ObjProperty,

lynglib/src/commonMain/kotlin/net/sergeych/lyng/bytecode/BytecodeStatement.kt

@@ -36,8 +36,7 @@ class BytecodeStatement private constructor(
     override val pos: Pos = original.pos
 
     override suspend fun execute(scope: Scope): Obj {
-        scope.pos = pos
-        return CmdVm().execute(function, scope, scope.args.list)
+        return CmdVm().execute(function, scope, emptyList())
     }
 
     internal fun bytecodeFunction(): CmdFunction = function
@@ -49,12 +48,11 @@ class BytecodeStatement private constructor(
             allowLocalSlots: Boolean,
             returnLabels: Set<String> = emptySet(),
             rangeLocalNames: Set<String> = emptySet(),
-            allowedScopeNames: Set<String>? = null,
         ): Statement {
             if (statement is BytecodeStatement) return statement
             val hasUnsupported = containsUnsupportedStatement(statement)
             if (hasUnsupported) {
-                val statementName = statement::class.qualifiedName ?: statement::class.simpleName ?: "UnknownStatement"
+                val statementName = statement::class.qualifiedName ?: statement.javaClass.name
                 throw BytecodeFallbackException(
                     "Bytecode fallback: unsupported statement $statementName in '$nameHint'",
                     statement.pos
@@ -64,8 +62,7 @@ class BytecodeStatement private constructor(
             val compiler = BytecodeCompiler(
                 allowLocalSlots = safeLocals,
                 returnLabels = returnLabels,
-                rangeLocalNames = rangeLocalNames,
-                allowedScopeNames = allowedScopeNames
+                rangeLocalNames = rangeLocalNames
             )
             val compiled = compiler.compileStatement(nameHint, statement)
             val fn = compiled ?: throw BytecodeFallbackException(
@@ -78,14 +75,7 @@ class BytecodeStatement private constructor(
         private fun containsUnsupportedStatement(stmt: Statement): Boolean {
             val target = if (stmt is BytecodeStatement) stmt.original else stmt
             return when (target) {
-                is net.sergeych.lyng.ExpressionStatement -> {
-                    val ref = target.ref
-                    if (ref is net.sergeych.lyng.obj.StatementRef) {
-                        containsUnsupportedStatement(ref.statement)
-                    } else {
-                        false
-                    }
-                }
+                is net.sergeych.lyng.ExpressionStatement -> false
                 is net.sergeych.lyng.IfStatement -> {
                     containsUnsupportedStatement(target.condition) ||
                         containsUnsupportedStatement(target.ifBody) ||
@@ -109,12 +99,8 @@ class BytecodeStatement private constructor(
                 }
                 is net.sergeych.lyng.BlockStatement ->
                     target.statements().any { containsUnsupportedStatement(it) }
-                is net.sergeych.lyng.InlineBlockStatement ->
-                    target.statements().any { containsUnsupportedStatement(it) }
                 is net.sergeych.lyng.VarDeclStatement ->
                     target.initializer?.let { containsUnsupportedStatement(it) } ?: false
-                is net.sergeych.lyng.DelegatedVarDeclStatement ->
-                    containsUnsupportedStatement(target.initializer)
                 is net.sergeych.lyng.DestructuringVarDeclStatement ->
                     containsUnsupportedStatement(target.initializer)
                 is net.sergeych.lyng.BreakStatement ->
@@ -128,7 +114,7 @@ class BytecodeStatement private constructor(
                 is net.sergeych.lyng.ClassDeclStatement -> false
                 is net.sergeych.lyng.FunctionDeclStatement -> false
                 is net.sergeych.lyng.EnumDeclStatement -> false
-                is net.sergeych.lyng.TryStatement -> true
+                is net.sergeych.lyng.TryStatement -> false
                 is net.sergeych.lyng.WhenStatement -> {
                     containsUnsupportedStatement(target.value) ||
                         target.cases.any { case ->
@@ -149,7 +135,6 @@ class BytecodeStatement private constructor(
                     net.sergeych.lyng.BlockStatement(
                         net.sergeych.lyng.Script(stmt.pos, unwrapped),
                         stmt.slotPlan,
-                        stmt.captureSlots,
                         stmt.pos
                     )
                 }
@@ -161,9 +146,8 @@ class BytecodeStatement private constructor(
                         stmt.initializer?.let { unwrapDeep(it) },
                         stmt.isTransient,
                         stmt.slotIndex,
-                        stmt.scopeId,
-                        stmt.pos,
-                        stmt.initializerObjClass
+                        stmt.slotDepth,
+                        stmt.pos
                     )
                 }
                 is net.sergeych.lyng.DestructuringVarDeclStatement -> {

lynglib/src/commonMain/kotlin/net/sergeych/lyng/bytecode/CmdBuilder.kt

@@ -61,20 +61,20 @@ class CmdBuilder {
         localCount: Int,
         addrCount: Int = 0,
         returnLabels: Set<String> = emptySet(),
+        scopeSlotDepths: IntArray = IntArray(0),
         scopeSlotIndices: IntArray = IntArray(0),
         scopeSlotNames: Array<String?> = emptyArray(),
-        scopeSlotIsModule: BooleanArray = BooleanArray(0),
         localSlotNames: Array<String?> = emptyArray(),
-        localSlotMutables: BooleanArray = BooleanArray(0)
+        localSlotMutables: BooleanArray = BooleanArray(0),
+        localSlotDepths: IntArray = IntArray(0)
     ): CmdFunction {
-        val scopeSlotCount = scopeSlotIndices.size
+        val scopeSlotCount = scopeSlotDepths.size
+        require(scopeSlotIndices.size == scopeSlotCount) { "scope slot mapping size mismatch" }
         require(scopeSlotNames.isEmpty() || scopeSlotNames.size == scopeSlotCount) {
             "scope slot name mapping size mismatch"
         }
-        require(scopeSlotIsModule.isEmpty() || scopeSlotIsModule.size == scopeSlotCount) {
-            "scope slot module mapping size mismatch"
-        }
         require(localSlotNames.size == localSlotMutables.size) { "local slot metadata size mismatch" }
+        require(localSlotNames.size == localSlotDepths.size) { "local slot depth metadata size mismatch" }
         val labelIps = mutableMapOf<Label, Int>()
         for ((label, idx) in labelPositions) {
             labelIps[label] = idx
@@ -103,11 +103,12 @@ class CmdBuilder {
             addrCount = addrCount,
             returnLabels = returnLabels,
             scopeSlotCount = scopeSlotCount,
+            scopeSlotDepths = scopeSlotDepths,
             scopeSlotIndices = scopeSlotIndices,
             scopeSlotNames = if (scopeSlotNames.isEmpty()) Array(scopeSlotCount) { null } else scopeSlotNames,
-            scopeSlotIsModule = if (scopeSlotIsModule.isEmpty()) BooleanArray(scopeSlotCount) else scopeSlotIsModule,
             localSlotNames = localSlotNames,
             localSlotMutables = localSlotMutables,
+            localSlotDepths = localSlotDepths,
             constants = constPool.toList(),
             fallbackStatements = fallbackStatements.toList(),
             cmds = cmds.toTypedArray()
@@ -137,7 +138,7 @@ class CmdBuilder {
                 listOf(OperandKind.SLOT, OperandKind.ADDR)
             Opcode.CONST_NULL ->
                 listOf(OperandKind.SLOT)
-            Opcode.CONST_OBJ, Opcode.CONST_INT, Opcode.CONST_REAL, Opcode.CONST_BOOL, Opcode.MAKE_VALUE_FN ->
+            Opcode.CONST_OBJ, Opcode.CONST_INT, Opcode.CONST_REAL, Opcode.CONST_BOOL ->
                 listOf(OperandKind.CONST, OperandKind.SLOT)
             Opcode.PUSH_SCOPE, Opcode.PUSH_SLOT_PLAN ->
                 listOf(OperandKind.CONST)
@@ -159,20 +160,14 @@ class CmdBuilder {
             Opcode.ADD_OBJ, Opcode.SUB_OBJ, Opcode.MUL_OBJ, Opcode.DIV_OBJ, Opcode.MOD_OBJ, Opcode.CONTAINS_OBJ,
             Opcode.AND_BOOL, Opcode.OR_BOOL ->
                 listOf(OperandKind.SLOT, OperandKind.SLOT, OperandKind.SLOT)
-            Opcode.ASSIGN_OP_OBJ ->
-                listOf(OperandKind.ID, OperandKind.SLOT, OperandKind.SLOT, OperandKind.SLOT, OperandKind.CONST)
-            Opcode.INC_INT, Opcode.DEC_INT, Opcode.RET, Opcode.LOAD_THIS ->
+            Opcode.INC_INT, Opcode.DEC_INT, Opcode.RET ->
                 listOf(OperandKind.SLOT)
-            Opcode.LOAD_THIS_VARIANT ->
-                listOf(OperandKind.ID, OperandKind.SLOT)
             Opcode.JMP ->
                 listOf(OperandKind.IP)
             Opcode.JMP_IF_TRUE, Opcode.JMP_IF_FALSE ->
                 listOf(OperandKind.SLOT, OperandKind.IP)
-            Opcode.CALL_DIRECT ->
+            Opcode.CALL_DIRECT, Opcode.CALL_FALLBACK ->
                 listOf(OperandKind.ID, OperandKind.SLOT, OperandKind.COUNT, OperandKind.SLOT)
-            Opcode.CALL_MEMBER_SLOT ->
-                listOf(OperandKind.SLOT, OperandKind.ID, OperandKind.SLOT, OperandKind.COUNT, OperandKind.SLOT)
             Opcode.CALL_SLOT ->
                 listOf(OperandKind.SLOT, OperandKind.SLOT, OperandKind.COUNT, OperandKind.SLOT)
             Opcode.CALL_VIRTUAL ->
@@ -181,6 +176,8 @@ class CmdBuilder {
                 listOf(OperandKind.SLOT, OperandKind.ID, OperandKind.SLOT)
             Opcode.SET_FIELD ->
                 listOf(OperandKind.SLOT, OperandKind.ID, OperandKind.SLOT)
+            Opcode.GET_NAME ->
+                listOf(OperandKind.ID, OperandKind.SLOT)
             Opcode.GET_INDEX ->
                 listOf(OperandKind.SLOT, OperandKind.SLOT, OperandKind.SLOT)
             Opcode.SET_INDEX ->
@@ -189,10 +186,12 @@ class CmdBuilder {
                 listOf(OperandKind.SLOT, OperandKind.SLOT, OperandKind.SLOT, OperandKind.SLOT)
             Opcode.LIST_LITERAL ->
                 listOf(OperandKind.CONST, OperandKind.SLOT, OperandKind.COUNT, OperandKind.SLOT)
-            Opcode.GET_MEMBER_SLOT ->
-                listOf(OperandKind.SLOT, OperandKind.ID, OperandKind.ID, OperandKind.SLOT)
-            Opcode.SET_MEMBER_SLOT ->
-                listOf(OperandKind.SLOT, OperandKind.ID, OperandKind.ID, OperandKind.SLOT)
+            Opcode.GET_THIS_MEMBER ->
+                listOf(OperandKind.ID, OperandKind.SLOT)
+            Opcode.SET_THIS_MEMBER ->
+                listOf(OperandKind.ID, OperandKind.SLOT)
+            Opcode.EVAL_FALLBACK, Opcode.EVAL_REF, Opcode.EVAL_STMT, Opcode.EVAL_VALUE_FN ->
+                listOf(OperandKind.ID, OperandKind.SLOT)
             Opcode.ITER_PUSH ->
                 listOf(OperandKind.SLOT)
             Opcode.ITER_POP, Opcode.ITER_CANCEL ->
@@ -229,12 +228,9 @@ class CmdBuilder {
             Opcode.CONST_REAL -> CmdConstReal(operands[0], operands[1])
             Opcode.CONST_BOOL -> CmdConstBool(operands[0], operands[1])
             Opcode.CONST_NULL -> CmdConstNull(operands[0])
-            Opcode.MAKE_VALUE_FN -> CmdMakeValueFn(operands[0], operands[1])
             Opcode.BOX_OBJ -> CmdBoxObj(operands[0], operands[1])
             Opcode.OBJ_TO_BOOL -> CmdObjToBool(operands[0], operands[1])
             Opcode.RANGE_INT_BOUNDS -> CmdRangeIntBounds(operands[0], operands[1], operands[2], operands[3])
-            Opcode.LOAD_THIS -> CmdLoadThis(operands[0])
-            Opcode.LOAD_THIS_VARIANT -> CmdLoadThisVariant(operands[0], operands[1])
             Opcode.MAKE_RANGE -> CmdMakeRange(operands[0], operands[1], operands[2], operands[3])
             Opcode.CHECK_IS -> CmdCheckIs(operands[0], operands[1], operands[2])
             Opcode.ASSERT_IS -> CmdAssertIs(operands[0], operands[1])
@@ -368,7 +364,6 @@ class CmdBuilder {
             Opcode.DIV_OBJ -> CmdDivObj(operands[0], operands[1], operands[2])
             Opcode.MOD_OBJ -> CmdModObj(operands[0], operands[1], operands[2])
             Opcode.CONTAINS_OBJ -> CmdContainsObj(operands[0], operands[1], operands[2])
-            Opcode.ASSIGN_OP_OBJ -> CmdAssignOpObj(operands[0], operands[1], operands[2], operands[3], operands[4])
             Opcode.JMP -> CmdJmp(operands[0])
             Opcode.JMP_IF_TRUE -> CmdJmpIfTrue(operands[0], operands[1])
             Opcode.JMP_IF_FALSE -> CmdJmpIfFalse(operands[0], operands[1])
@@ -381,16 +376,21 @@ class CmdBuilder {
             Opcode.DECL_LOCAL -> CmdDeclLocal(operands[0], operands[1])
             Opcode.DECL_EXT_PROPERTY -> CmdDeclExtProperty(operands[0], operands[1])
             Opcode.CALL_DIRECT -> CmdCallDirect(operands[0], operands[1], operands[2], operands[3])
-            Opcode.CALL_MEMBER_SLOT -> CmdCallMemberSlot(operands[0], operands[1], operands[2], operands[3], operands[4])
             Opcode.CALL_VIRTUAL -> CmdCallVirtual(operands[0], operands[1], operands[2], operands[3], operands[4])
+            Opcode.CALL_FALLBACK -> CmdCallFallback(operands[0], operands[1], operands[2], operands[3])
             Opcode.CALL_SLOT -> CmdCallSlot(operands[0], operands[1], operands[2], operands[3])
             Opcode.GET_FIELD -> CmdGetField(operands[0], operands[1], operands[2])
             Opcode.SET_FIELD -> CmdSetField(operands[0], operands[1], operands[2])
+            Opcode.GET_NAME -> CmdGetName(operands[0], operands[1])
             Opcode.GET_INDEX -> CmdGetIndex(operands[0], operands[1], operands[2])
             Opcode.SET_INDEX -> CmdSetIndex(operands[0], operands[1], operands[2])
             Opcode.LIST_LITERAL -> CmdListLiteral(operands[0], operands[1], operands[2], operands[3])
-            Opcode.GET_MEMBER_SLOT -> CmdGetMemberSlot(operands[0], operands[1], operands[2], operands[3])
-            Opcode.SET_MEMBER_SLOT -> CmdSetMemberSlot(operands[0], operands[1], operands[2], operands[3])
+            Opcode.GET_THIS_MEMBER -> CmdGetThisMember(operands[0], operands[1])
+            Opcode.SET_THIS_MEMBER -> CmdSetThisMember(operands[0], operands[1])
+            Opcode.EVAL_FALLBACK -> CmdEvalFallback(operands[0], operands[1])
+            Opcode.EVAL_REF -> CmdEvalRef(operands[0], operands[1])
+            Opcode.EVAL_STMT -> CmdEvalStmt(operands[0], operands[1])
+            Opcode.EVAL_VALUE_FN -> CmdEvalValueFn(operands[0], operands[1])
             Opcode.ITER_PUSH -> CmdIterPush(operands[0])
             Opcode.ITER_POP -> CmdIterPop()
             Opcode.ITER_CANCEL -> CmdIterCancel()

lynglib/src/commonMain/kotlin/net/sergeych/lyng/bytecode/CmdDisassembler.kt

@@ -66,10 +66,7 @@ object CmdDisassembler {
             is CmdConstIntLocal -> Opcode.CONST_INT to intArrayOf(cmd.constId, cmd.dst + fn.scopeSlotCount)
             is CmdConstReal -> Opcode.CONST_REAL to intArrayOf(cmd.constId, cmd.dst)
             is CmdConstBool -> Opcode.CONST_BOOL to intArrayOf(cmd.constId, cmd.dst)
-            is CmdLoadThis -> Opcode.LOAD_THIS to intArrayOf(cmd.dst)
-            is CmdLoadThisVariant -> Opcode.LOAD_THIS_VARIANT to intArrayOf(cmd.typeId, cmd.dst)
             is CmdConstNull -> Opcode.CONST_NULL to intArrayOf(cmd.dst)
-            is CmdMakeValueFn -> Opcode.MAKE_VALUE_FN to intArrayOf(cmd.id, cmd.dst)
             is CmdBoxObj -> Opcode.BOX_OBJ to intArrayOf(cmd.src, cmd.dst)
             is CmdObjToBool -> Opcode.OBJ_TO_BOOL to intArrayOf(cmd.src, cmd.dst)
             is CmdCheckIs -> Opcode.CHECK_IS to intArrayOf(cmd.objSlot, cmd.typeSlot, cmd.dst)
@@ -165,7 +162,6 @@ object CmdDisassembler {
             is CmdDivObj -> Opcode.DIV_OBJ to intArrayOf(cmd.a, cmd.b, cmd.dst)
             is CmdModObj -> Opcode.MOD_OBJ to intArrayOf(cmd.a, cmd.b, cmd.dst)
             is CmdContainsObj -> Opcode.CONTAINS_OBJ to intArrayOf(cmd.target, cmd.value, cmd.dst)
-            is CmdAssignOpObj -> Opcode.ASSIGN_OP_OBJ to intArrayOf(cmd.opId, cmd.targetSlot, cmd.valueSlot, cmd.dst, cmd.nameId)
             is CmdJmp -> Opcode.JMP to intArrayOf(cmd.target)
             is CmdJmpIfTrue -> Opcode.JMP_IF_TRUE to intArrayOf(cmd.cond, cmd.target)
             is CmdJmpIfFalse -> Opcode.JMP_IF_FALSE to intArrayOf(cmd.cond, cmd.target)
@@ -181,19 +177,23 @@ object CmdDisassembler {
             is CmdDeclExtProperty -> Opcode.DECL_EXT_PROPERTY to intArrayOf(cmd.constId, cmd.slot)
             is CmdCallDirect -> Opcode.CALL_DIRECT to intArrayOf(cmd.id, cmd.argBase, cmd.argCount, cmd.dst)
             is CmdCallVirtual -> Opcode.CALL_VIRTUAL to intArrayOf(cmd.recvSlot, cmd.methodId, cmd.argBase, cmd.argCount, cmd.dst)
-            is CmdCallMemberSlot -> Opcode.CALL_MEMBER_SLOT to intArrayOf(cmd.recvSlot, cmd.methodId, cmd.argBase, cmd.argCount, cmd.dst)
+            is CmdCallFallback -> Opcode.CALL_FALLBACK to intArrayOf(cmd.id, cmd.argBase, cmd.argCount, cmd.dst)
             is CmdCallSlot -> Opcode.CALL_SLOT to intArrayOf(cmd.calleeSlot, cmd.argBase, cmd.argCount, cmd.dst)
             is CmdGetField -> Opcode.GET_FIELD to intArrayOf(cmd.recvSlot, cmd.fieldId, cmd.dst)
             is CmdSetField -> Opcode.SET_FIELD to intArrayOf(cmd.recvSlot, cmd.fieldId, cmd.valueSlot)
+            is CmdGetName -> Opcode.GET_NAME to intArrayOf(cmd.nameId, cmd.dst)
             is CmdGetIndex -> Opcode.GET_INDEX to intArrayOf(cmd.targetSlot, cmd.indexSlot, cmd.dst)
             is CmdSetIndex -> Opcode.SET_INDEX to intArrayOf(cmd.targetSlot, cmd.indexSlot, cmd.valueSlot)
             is CmdListLiteral -> Opcode.LIST_LITERAL to intArrayOf(cmd.planId, cmd.baseSlot, cmd.count, cmd.dst)
-            is CmdGetMemberSlot -> Opcode.GET_MEMBER_SLOT to intArrayOf(cmd.recvSlot, cmd.fieldId, cmd.methodId, cmd.dst)
-            is CmdSetMemberSlot -> Opcode.SET_MEMBER_SLOT to intArrayOf(cmd.recvSlot, cmd.fieldId, cmd.methodId, cmd.valueSlot)
+            is CmdGetThisMember -> Opcode.GET_THIS_MEMBER to intArrayOf(cmd.nameId, cmd.dst)
+            is CmdSetThisMember -> Opcode.SET_THIS_MEMBER to intArrayOf(cmd.nameId, cmd.valueSlot)
+            is CmdEvalFallback -> Opcode.EVAL_FALLBACK to intArrayOf(cmd.id, cmd.dst)
+            is CmdEvalRef -> Opcode.EVAL_REF to intArrayOf(cmd.id, cmd.dst)
+            is CmdEvalStmt -> Opcode.EVAL_STMT to intArrayOf(cmd.id, cmd.dst)
+            is CmdEvalValueFn -> Opcode.EVAL_VALUE_FN to intArrayOf(cmd.id, cmd.dst)
             is CmdIterPush -> Opcode.ITER_PUSH to intArrayOf(cmd.iterSlot)
             is CmdIterPop -> Opcode.ITER_POP to intArrayOf()
             is CmdIterCancel -> Opcode.ITER_CANCEL to intArrayOf()
-            else -> error("Unsupported cmd in disassembler: ${cmd::class.simpleName}")
         }
     }
 
@@ -230,7 +230,7 @@ object CmdDisassembler {
                 listOf(OperandKind.SLOT, OperandKind.ADDR)
             Opcode.CONST_NULL ->
                 listOf(OperandKind.SLOT)
-            Opcode.CONST_OBJ, Opcode.CONST_INT, Opcode.CONST_REAL, Opcode.CONST_BOOL, Opcode.MAKE_VALUE_FN ->
+            Opcode.CONST_OBJ, Opcode.CONST_INT, Opcode.CONST_REAL, Opcode.CONST_BOOL ->
                 listOf(OperandKind.CONST, OperandKind.SLOT)
             Opcode.PUSH_SCOPE, Opcode.PUSH_SLOT_PLAN ->
                 listOf(OperandKind.CONST)
@@ -252,38 +252,36 @@ object CmdDisassembler {
             Opcode.ADD_OBJ, Opcode.SUB_OBJ, Opcode.MUL_OBJ, Opcode.DIV_OBJ, Opcode.MOD_OBJ, Opcode.CONTAINS_OBJ,
             Opcode.AND_BOOL, Opcode.OR_BOOL ->
                 listOf(OperandKind.SLOT, OperandKind.SLOT, OperandKind.SLOT)
-            Opcode.ASSIGN_OP_OBJ ->
-                listOf(OperandKind.ID, OperandKind.SLOT, OperandKind.SLOT, OperandKind.SLOT, OperandKind.CONST)
-            Opcode.INC_INT, Opcode.DEC_INT, Opcode.RET, Opcode.ITER_PUSH, Opcode.LOAD_THIS ->
+            Opcode.INC_INT, Opcode.DEC_INT, Opcode.RET, Opcode.ITER_PUSH ->
                 listOf(OperandKind.SLOT)
-            Opcode.LOAD_THIS_VARIANT ->
-                listOf(OperandKind.ID, OperandKind.SLOT)
             Opcode.JMP ->
                 listOf(OperandKind.IP)
             Opcode.JMP_IF_TRUE, Opcode.JMP_IF_FALSE ->
                 listOf(OperandKind.SLOT, OperandKind.IP)
-            Opcode.CALL_DIRECT ->
+            Opcode.CALL_DIRECT, Opcode.CALL_FALLBACK ->
                 listOf(OperandKind.ID, OperandKind.SLOT, OperandKind.COUNT, OperandKind.SLOT)
             Opcode.CALL_SLOT ->
                 listOf(OperandKind.SLOT, OperandKind.SLOT, OperandKind.COUNT, OperandKind.SLOT)
             Opcode.CALL_VIRTUAL ->
                 listOf(OperandKind.SLOT, OperandKind.ID, OperandKind.SLOT, OperandKind.COUNT, OperandKind.SLOT)
-            Opcode.CALL_MEMBER_SLOT ->
-                listOf(OperandKind.SLOT, OperandKind.ID, OperandKind.SLOT, OperandKind.COUNT, OperandKind.SLOT)
             Opcode.GET_FIELD ->
                 listOf(OperandKind.SLOT, OperandKind.ID, OperandKind.SLOT)
             Opcode.SET_FIELD ->
                 listOf(OperandKind.SLOT, OperandKind.ID, OperandKind.SLOT)
+            Opcode.GET_NAME ->
+                listOf(OperandKind.ID, OperandKind.SLOT)
             Opcode.GET_INDEX ->
                 listOf(OperandKind.SLOT, OperandKind.SLOT, OperandKind.SLOT)
             Opcode.SET_INDEX ->
                 listOf(OperandKind.SLOT, OperandKind.SLOT, OperandKind.SLOT)
             Opcode.LIST_LITERAL ->
                 listOf(OperandKind.CONST, OperandKind.SLOT, OperandKind.COUNT, OperandKind.SLOT)
-            Opcode.GET_MEMBER_SLOT ->
-                listOf(OperandKind.SLOT, OperandKind.ID, OperandKind.ID, OperandKind.SLOT)
-            Opcode.SET_MEMBER_SLOT ->
-                listOf(OperandKind.SLOT, OperandKind.ID, OperandKind.ID, OperandKind.SLOT)
+            Opcode.GET_THIS_MEMBER ->
+                listOf(OperandKind.ID, OperandKind.SLOT)
+            Opcode.SET_THIS_MEMBER ->
+                listOf(OperandKind.ID, OperandKind.SLOT)
+            Opcode.EVAL_FALLBACK, Opcode.EVAL_REF, Opcode.EVAL_STMT, Opcode.EVAL_VALUE_FN ->
+                listOf(OperandKind.ID, OperandKind.SLOT)
         }
     }
 }

lynglib/src/commonMain/kotlin/net/sergeych/lyng/bytecode/CmdFunction.kt

@@ -22,20 +22,22 @@ data class CmdFunction(
     val addrCount: Int,
     val returnLabels: Set<String>,
     val scopeSlotCount: Int,
+    val scopeSlotDepths: IntArray,
     val scopeSlotIndices: IntArray,
     val scopeSlotNames: Array<String?>,
-    val scopeSlotIsModule: BooleanArray,
     val localSlotNames: Array<String?>,
     val localSlotMutables: BooleanArray,
+    val localSlotDepths: IntArray,
     val constants: List<BytecodeConst>,
     val fallbackStatements: List<net.sergeych.lyng.Statement>,
     val cmds: Array<Cmd>,
 ) {
     init {
+        require(scopeSlotDepths.size == scopeSlotCount) { "scopeSlotDepths size mismatch" }
         require(scopeSlotIndices.size == scopeSlotCount) { "scopeSlotIndices size mismatch" }
         require(scopeSlotNames.size == scopeSlotCount) { "scopeSlotNames size mismatch" }
-        require(scopeSlotIsModule.size == scopeSlotCount) { "scopeSlotIsModule size mismatch" }
         require(localSlotNames.size == localSlotMutables.size) { "localSlot metadata size mismatch" }
+        require(localSlotNames.size == localSlotDepths.size) { "localSlot depth metadata size mismatch" }
         require(localSlotNames.size <= localCount) { "localSlotNames exceed localCount" }
         require(addrCount >= 0) { "addrCount must be non-negative" }
     }

lynglib/src/commonMain/kotlin/net/sergeych/lyng/bytecode/CmdRuntime.kt

@@ -17,8 +17,6 @@
 package net.sergeych.lyng.bytecode
 
 import net.sergeych.lyng.Arguments
-import net.sergeych.lyng.ExecutionError
-import net.sergeych.lyng.ModuleScope
 import net.sergeych.lyng.PerfFlags
 import net.sergeych.lyng.PerfStats
 import net.sergeych.lyng.Pos
@@ -34,9 +32,6 @@ class CmdVm {
         result = null
         val frame = CmdFrame(this, fn, scope0, args)
         val cmds = fn.cmds
-        if (fn.localSlotNames.isNotEmpty()) {
-            frame.syncScopeToFrame()
-        }
         try {
             while (result == null) {
                 val cmd = cmds[frame.ip]
@@ -152,28 +147,6 @@ class CmdConstBool(internal val constId: Int, internal val dst: Int) : Cmd() {
     }
 }
 
-class CmdLoadThis(internal val dst: Int) : Cmd() {
-    override suspend fun perform(frame: CmdFrame) {
-        frame.setObj(dst, frame.scope.thisObj)
-        return
-    }
-}
-
-class CmdLoadThisVariant(
-    internal val typeId: Int,
-    internal val dst: Int,
-) : Cmd() {
-    override suspend fun perform(frame: CmdFrame) {
-        val typeConst = frame.fn.constants.getOrNull(typeId) as? BytecodeConst.StringVal
-            ?: error("LOAD_THIS_VARIANT expects StringVal at $typeId")
-        val typeName = typeConst.value
-        val receiver = frame.scope.thisVariants.firstOrNull { it.isInstanceOf(typeName) }
-            ?: frame.scope.raiseClassCastError("Cannot cast ${frame.scope.thisObj.objClass.className} to $typeName")
-        frame.setObj(dst, receiver)
-        return
-    }
-}
-
 class CmdMakeRange(
     internal val startSlot: Int,
     internal val endSlot: Int,
@@ -321,7 +294,7 @@ class CmdStoreBoolAddr(internal val src: Int, internal val addrSlot: Int) : Cmd(
 
 class CmdIntToReal(internal val src: Int, internal val dst: Int) : Cmd() {
     override suspend fun perform(frame: CmdFrame) {
-        frame.setReal(dst, frame.getReal(src))
+        frame.setReal(dst, frame.getInt(src).toDouble())
         return
     }
 }
@@ -342,7 +315,7 @@ class CmdBoolToInt(internal val src: Int, internal val dst: Int) : Cmd() {
 
 class CmdIntToBool(internal val src: Int, internal val dst: Int) : Cmd() {
     override suspend fun perform(frame: CmdFrame) {
-        frame.setBool(dst, frame.getBool(src))
+        frame.setBool(dst, frame.getInt(src) != 0L)
         return
     }
 }
@@ -968,34 +941,6 @@ class CmdContainsObj(internal val target: Int, internal val value: Int, internal
     }
 }
 
-class CmdAssignOpObj(
-    internal val opId: Int,
-    internal val targetSlot: Int,
-    internal val valueSlot: Int,
-    internal val dst: Int,
-    internal val nameId: Int,
-) : Cmd() {
-    override suspend fun perform(frame: CmdFrame) {
-        val target = frame.slotToObj(targetSlot)
-        val value = frame.slotToObj(valueSlot)
-        val result = when (BinOp.values().getOrNull(opId)) {
-            BinOp.PLUS -> target.plusAssign(frame.scope, value)
-            BinOp.MINUS -> target.minusAssign(frame.scope, value)
-            BinOp.STAR -> target.mulAssign(frame.scope, value)
-            BinOp.SLASH -> target.divAssign(frame.scope, value)
-            BinOp.PERCENT -> target.modAssign(frame.scope, value)
-            else -> null
-        }
-        if (result == null) {
-            val name = (frame.fn.constants.getOrNull(nameId) as? BytecodeConst.StringVal)?.value
-            if (name != null) frame.scope.raiseIllegalAssignment("symbol is readonly: $name")
-            frame.scope.raiseIllegalAssignment("symbol is readonly")
-        }
-        frame.storeObjResult(dst, result)
-        return
-    }
-}
-
 class CmdJmp(internal val target: Int) : Cmd() {
     override suspend fun perform(frame: CmdFrame) {
         frame.ip = target
@@ -1062,7 +1007,7 @@ class CmdPushScope(internal val planId: Int) : Cmd() {
     override suspend fun perform(frame: CmdFrame) {
         val planConst = frame.fn.constants[planId] as? BytecodeConst.SlotPlan
             ?: error("PUSH_SCOPE expects SlotPlan at $planId")
-        frame.pushScope(planConst.plan, planConst.captures)
+        frame.pushScope(planConst.plan)
         return
     }
 }
@@ -1168,7 +1113,20 @@ class CmdCallVirtual(
     internal val dst: Int,
 ) : Cmd() {
     override suspend fun perform(frame: CmdFrame) {
-        frame.scope.raiseError("CALL_VIRTUAL is not allowed: compile-time member resolution is required")
+        if (frame.fn.localSlotNames.isNotEmpty()) {
+            frame.syncFrameToScope()
+        }
+        val receiver = frame.slotToObj(recvSlot)
+        val nameConst = frame.fn.constants.getOrNull(methodId) as? BytecodeConst.StringVal
+            ?: error("CALL_VIRTUAL expects StringVal at $methodId")
+        val args = frame.buildArguments(argBase, argCount)
+        val site = frame.methodCallSites.getOrPut(frame.ip - 1) { MethodCallSite(nameConst.value) }
+        val result = site.invoke(frame.scope, receiver, args)
+        if (frame.fn.localSlotNames.isNotEmpty()) {
+            frame.syncScopeToFrame()
+        }
+        frame.storeObjResult(dst, result)
+        return
     }
 }
 
@@ -1217,7 +1175,7 @@ class CmdCallSlot(
                 frame.fn.localSlotNames.getOrNull(localIndex)
             }
             val message = name?.let { "property '$it' is unset (not initialized)" }
-                ?: "property is unset (not initialized) in ${frame.fn.name} at slot $calleeSlot"
+                ?: "property is unset (not initialized)"
             frame.scope.raiseUnset(message)
         }
         val args = frame.buildArguments(argBase, argCount)
@@ -1280,14 +1238,7 @@ class CmdGetName(
         }
         val nameConst = frame.fn.constants.getOrNull(nameId) as? BytecodeConst.StringVal
             ?: error("GET_NAME expects StringVal at $nameId")
-        val name = nameConst.value
-        val result = frame.scope.get(name)?.value ?: run {
-            try {
-                frame.scope.thisObj.readField(frame.scope, name).value
-            } catch (e: ExecutionError) {
-                if ((e.message ?: "").contains("no such field: $name")) ObjUnset else throw e
-            }
-        }
+        val result = frame.scope.get(nameConst.value)?.value ?: ObjUnset
         frame.storeObjResult(dst, result)
         return
     }
@@ -1322,87 +1273,38 @@ class CmdListLiteral(
     }
 }
 
-class CmdGetMemberSlot(
-    internal val recvSlot: Int,
-    internal val fieldId: Int,
-    internal val methodId: Int,
-    internal val dst: Int,
-) : Cmd() {
-    override suspend fun perform(frame: CmdFrame) {
-        val receiver = frame.slotToObj(recvSlot)
-        val inst = receiver as? ObjInstance
-        val fieldRec = if (fieldId >= 0) {
-            inst?.fieldRecordForId(fieldId) ?: receiver.objClass.fieldRecordForId(fieldId)
-        } else null
-        val rec = fieldRec ?: run {
-            if (methodId >= 0) {
-                inst?.methodRecordForId(methodId) ?: receiver.objClass.methodRecordForId(methodId)
-            } else null
-        } ?: frame.scope.raiseSymbolNotFound("member")
-        val name = rec.memberName ?: "<member>"
-        val resolved = receiver.resolveRecord(frame.scope, rec, name, rec.declaringClass)
-        frame.storeObjResult(dst, resolved.value)
-        return
-    }
-}
-
-class CmdSetMemberSlot(
-    internal val recvSlot: Int,
-    internal val fieldId: Int,
-    internal val methodId: Int,
-    internal val valueSlot: Int,
-) : Cmd() {
-    override suspend fun perform(frame: CmdFrame) {
-        val receiver = frame.slotToObj(recvSlot)
-        val inst = receiver as? ObjInstance
-        val fieldRec = if (fieldId >= 0) {
-            inst?.fieldRecordForId(fieldId) ?: receiver.objClass.fieldRecordForId(fieldId)
-        } else null
-        val rec = fieldRec ?: run {
-            if (methodId >= 0) {
-                inst?.methodRecordForId(methodId) ?: receiver.objClass.methodRecordForId(methodId)
-            } else null
-        } ?: frame.scope.raiseSymbolNotFound("member")
-        val name = rec.memberName ?: "<member>"
-        frame.scope.assign(rec, name, frame.slotToObj(valueSlot))
-        return
-    }
-}
-
-class CmdCallMemberSlot(
-    internal val recvSlot: Int,
-    internal val methodId: Int,
-    internal val argBase: Int,
-    internal val argCount: Int,
+class CmdGetThisMember(
+    internal val nameId: Int,
     internal val dst: Int,
 ) : Cmd() {
     override suspend fun perform(frame: CmdFrame) {
         if (frame.fn.localSlotNames.isNotEmpty()) {
             frame.syncFrameToScope()
         }
-        val receiver = frame.slotToObj(recvSlot)
-        val inst = receiver as? ObjInstance
-        val rec = inst?.methodRecordForId(methodId)
-            ?: receiver.objClass.methodRecordForId(methodId)
-            ?: frame.scope.raiseError("member id $methodId not found on ${receiver.objClass.className}")
-        val callArgs = frame.buildArguments(argBase, argCount)
-        val name = rec.memberName ?: "<member>"
-        val decl = rec.declaringClass ?: receiver.objClass
-        val result = when (rec.type) {
-            ObjRecord.Type.Property -> {
-                if (callArgs.isEmpty()) (rec.value as ObjProperty).callGetter(frame.scope, receiver, decl)
-                else frame.scope.raiseError("property $name cannot be called with arguments")
-            }
-            ObjRecord.Type.Fun, ObjRecord.Type.Delegated -> {
-                val callScope = inst?.instanceScope ?: frame.scope
-                rec.value.invoke(callScope, receiver, callArgs, decl)
-            }
-            else -> frame.scope.raiseError("member $name is not callable")
+        val nameConst = frame.fn.constants.getOrNull(nameId) as? BytecodeConst.StringVal
+            ?: error("GET_THIS_MEMBER expects StringVal at $nameId")
+        val ref = net.sergeych.lyng.obj.ImplicitThisMemberRef(nameConst.value, frame.scope.pos)
+        val result = ref.evalValue(frame.scope)
+        frame.storeObjResult(dst, result)
+        return
+    }
+}
+
+class CmdSetThisMember(
+    internal val nameId: Int,
+    internal val valueSlot: Int,
+) : Cmd() {
+    override suspend fun perform(frame: CmdFrame) {
+        if (frame.fn.localSlotNames.isNotEmpty()) {
+            frame.syncFrameToScope()
         }
+        val nameConst = frame.fn.constants.getOrNull(nameId) as? BytecodeConst.StringVal
+            ?: error("SET_THIS_MEMBER expects StringVal at $nameId")
+        val ref = net.sergeych.lyng.obj.ImplicitThisMemberRef(nameConst.value, frame.scope.pos)
+        ref.setAt(frame.scope.pos, frame.scope, frame.slotToObj(valueSlot))
         if (frame.fn.localSlotNames.isNotEmpty()) {
             frame.syncScopeToFrame()
         }
-        frame.storeObjResult(dst, result)
         return
     }
 }
@@ -1507,13 +1409,13 @@ class CmdEvalStmt(internal val id: Int, internal val dst: Int) : Cmd() {
     }
 }
 
-class CmdMakeValueFn(internal val id: Int, internal val dst: Int) : Cmd() {
+class CmdEvalValueFn(internal val id: Int, internal val dst: Int) : Cmd() {
     override suspend fun perform(frame: CmdFrame) {
         if (frame.fn.localSlotNames.isNotEmpty()) {
             frame.syncFrameToScope()
         }
         val valueFn = frame.fn.constants.getOrNull(id) as? BytecodeConst.ValueFn
-            ?: error("MAKE_VALUE_FN expects ValueFn at $id")
+            ?: error("EVAL_VALUE_FN expects ValueFn at $id")
         val result = valueFn.fn(frame.scope).value
         if (frame.fn.localSlotNames.isNotEmpty()) {
             frame.syncScopeToFrame()
@@ -1557,14 +1459,12 @@ class CmdFrame(
 
     var ip: Int = 0
     var scope: Scope = scope0
-    private val moduleScope: Scope = resolveModuleScope(scope0)
     val methodCallSites: MutableMap<Int, MethodCallSite> = CmdCallSiteCache.methodCallSites(fn)
 
     internal val scopeStack = ArrayDeque<Scope>()
     internal val scopeVirtualStack = ArrayDeque<Boolean>()
     internal val slotPlanStack = ArrayDeque<Map<String, Int?>>()
     internal val slotPlanScopeStack = ArrayDeque<Boolean>()
-    private val captureStack = ArrayDeque<List<String>>()
     private var scopeDepth = 0
     private var virtualDepth = 0
     private val iterStack = ArrayDeque<Obj>()
@@ -1580,45 +1480,7 @@ class CmdFrame(
         }
     }
 
-    private fun shouldSyncLocalCaptures(captures: List<String>): Boolean {
-        if (captures.isEmpty()) return false
-        val localNames = fn.localSlotNames
-        if (localNames.isEmpty()) return false
-        for (capture in captures) {
-            for (local in localNames) {
-                if (local == null) continue
-                if (local == capture) return true
-            }
-        }
-        return false
-    }
-
-    private fun resolveModuleScope(scope: Scope): Scope {
-        var current: Scope? = scope
-        var last: Scope = scope
-        while (current != null) {
-            if (current is ModuleScope) return current
-            if (current.parent is ModuleScope) return current
-            last = current
-            current = current.parent
-        }
-        return last
-    }
-
-    fun pushScope(plan: Map<String, Int>, captures: List<String>) {
-        val parentScope = scope
-        if (captures.isNotEmpty()) {
-            syncFrameToScope()
-        }
-        val captureRecords = if (captures.isNotEmpty()) {
-            captures.map { name ->
-                val rec = parentScope.resolveCaptureRecord(name)
-                    ?: parentScope.raiseSymbolNotFound("symbol $name not found")
-                name to rec
-            }
-        } else {
-            emptyList()
-        }
+    fun pushScope(plan: Map<String, Int>) {
         if (scope.skipScopeCreation) {
             val snapshot = scope.applySlotPlanWithSnapshot(plan)
             slotPlanStack.addLast(snapshot)
@@ -1633,12 +1495,6 @@ class CmdFrame(
                 scope.applySlotPlan(plan)
             }
         }
-        if (captureRecords.isNotEmpty()) {
-            for ((name, rec) in captureRecords) {
-                scope.updateSlotFor(name, rec)
-            }
-        }
-        captureStack.addLast(captures)
         scopeDepth += 1
     }
 
@@ -1653,11 +1509,7 @@ class CmdFrame(
         }
         scope = scopeStack.removeLastOrNull()
             ?: error("Scope stack underflow in POP_SCOPE")
-        val captures = captureStack.removeLastOrNull() ?: emptyList()
         scopeDepth -= 1
-        if (captures.isNotEmpty()) {
-            syncFrameToScope()
-        }
     }
 
     fun pushIterator(iter: Obj) {
@@ -1722,7 +1574,7 @@ class CmdFrame(
 
     fun setObj(slot: Int, value: Obj) {
         if (slot < fn.scopeSlotCount) {
-            val target = scopeTarget(slot)
+            val target = resolveScope(scope, fn.scopeSlotDepths[slot])
             val index = ensureScopeSlot(target, slot)
             target.setSlotValue(index, value)
         } else {
@@ -1734,14 +1586,7 @@ class CmdFrame(
         return if (slot < fn.scopeSlotCount) {
             getScopeSlotValue(slot).toLong()
         } else {
-            val local = slot - fn.scopeSlotCount
-            when (frame.getSlotTypeCode(local)) {
-                SlotType.INT.code -> frame.getInt(local)
-                SlotType.REAL.code -> frame.getReal(local).toLong()
-                SlotType.BOOL.code -> if (frame.getBool(local)) 1L else 0L
-                SlotType.OBJ.code -> frame.getObj(local).toLong()
-                else -> 0L
-            }
+            frame.getInt(slot - fn.scopeSlotCount)
         }
     }
 
@@ -1749,7 +1594,7 @@ class CmdFrame(
 
     fun setInt(slot: Int, value: Long) {
         if (slot < fn.scopeSlotCount) {
-            val target = scopeTarget(slot)
+            val target = resolveScope(scope, fn.scopeSlotDepths[slot])
             val index = ensureScopeSlot(target, slot)
             target.setSlotValue(index, ObjInt.of(value))
         } else {
@@ -1765,20 +1610,13 @@ class CmdFrame(
         return if (slot < fn.scopeSlotCount) {
             getScopeSlotValue(slot).toDouble()
         } else {
-            val local = slot - fn.scopeSlotCount
-            when (frame.getSlotTypeCode(local)) {
-                SlotType.REAL.code -> frame.getReal(local)
-                SlotType.INT.code -> frame.getInt(local).toDouble()
-                SlotType.BOOL.code -> if (frame.getBool(local)) 1.0 else 0.0
-                SlotType.OBJ.code -> frame.getObj(local).toDouble()
-                else -> 0.0
-            }
+            frame.getReal(slot - fn.scopeSlotCount)
         }
     }
 
     fun setReal(slot: Int, value: Double) {
         if (slot < fn.scopeSlotCount) {
-            val target = scopeTarget(slot)
+            val target = resolveScope(scope, fn.scopeSlotDepths[slot])
             val index = ensureScopeSlot(target, slot)
             target.setSlotValue(index, ObjReal.of(value))
         } else {
@@ -1790,14 +1628,7 @@ class CmdFrame(
         return if (slot < fn.scopeSlotCount) {
             getScopeSlotValue(slot).toBool()
         } else {
-            val local = slot - fn.scopeSlotCount
-            when (frame.getSlotTypeCode(local)) {
-                SlotType.BOOL.code -> frame.getBool(local)
-                SlotType.INT.code -> frame.getInt(local) != 0L
-                SlotType.REAL.code -> frame.getReal(local) != 0.0
-                SlotType.OBJ.code -> frame.getObj(local).toBool()
-                else -> false
-            }
+            frame.getBool(slot - fn.scopeSlotCount)
         }
     }
 
@@ -1805,7 +1636,7 @@ class CmdFrame(
 
     fun setBool(slot: Int, value: Boolean) {
         if (slot < fn.scopeSlotCount) {
-            val target = scopeTarget(slot)
+            val target = resolveScope(scope, fn.scopeSlotDepths[slot])
             val index = ensureScopeSlot(target, slot)
             target.setSlotValue(index, if (value) ObjTrue else ObjFalse)
         } else {
@@ -1818,7 +1649,7 @@ class CmdFrame(
     }
 
     fun resolveScopeSlotAddr(scopeSlot: Int, addrSlot: Int) {
-        val target = scopeTarget(scopeSlot)
+        val target = resolveScope(scope, fn.scopeSlotDepths[scopeSlot])
         val index = ensureScopeSlot(target, scopeSlot)
         addrScopes[addrSlot] = target
         addrIndices[addrSlot] = index
@@ -2007,15 +1838,10 @@ class CmdFrame(
     }
 
     private fun resolveLocalScope(localIndex: Int): Scope? {
-        return scope
-    }
-
-    private fun scopeTarget(slot: Int): Scope {
-        return if (slot < fn.scopeSlotCount && fn.scopeSlotIsModule.getOrNull(slot) == true) {
-            moduleScope
-        } else {
-            scope
-        }
+        val depth = fn.localSlotDepths.getOrNull(localIndex) ?: return scope
+        val relativeDepth = scopeDepth - depth
+        if (relativeDepth < 0) return null
+        return if (relativeDepth == 0) scope else resolveScope(scope, relativeDepth)
     }
 
     private fun localSlotToObj(localIndex: Int): Obj {
@@ -2029,7 +1855,7 @@ class CmdFrame(
     }
 
     private fun getScopeSlotValue(slot: Int): Obj {
-        val target = scopeTarget(slot)
+        val target = resolveScope(scope, fn.scopeSlotDepths[slot])
         val index = ensureScopeSlot(target, slot)
         val record = target.getSlotRecord(index)
         if (record.value !== ObjUnset) return record.value
@@ -2068,22 +1894,33 @@ class CmdFrame(
             if (existing != null) return existing
         }
         val index = fn.scopeSlotIndices[slot]
-        if (name == null) {
-            if (index < target.slotCount) return index
-            return index
-        }
+        if (index < target.slotCount) return index
+        if (name == null) return index
         target.applySlotPlan(mapOf(name to index))
-        val existing = target.getLocalRecordDirect(name) ?: target.localBindings[name]
+        val existing = target.getLocalRecordDirect(name)
         if (existing != null) {
             target.updateSlotFor(name, existing)
-            return index
-        }
-        val resolved = target.parent?.get(name) ?: target.get(name)
-        if (resolved != null) {
-            target.updateSlotFor(name, resolved)
+        } else {
+            val resolved = target.get(name)
+            if (resolved != null) {
+                target.updateSlotFor(name, resolved)
+            }
         }
         return index
     }
 
-    // Scope depth resolution is no longer used; all scope slots are resolved against the current frame.
+    private fun resolveScope(start: Scope, depth: Int): Scope {
+        if (depth == 0) return start
+        var effectiveDepth = depth
+        if (virtualDepth > 0) {
+            if (effectiveDepth <= virtualDepth) return start
+            effectiveDepth -= virtualDepth
+        }
+        val next = when (start) {
+            is net.sergeych.lyng.ClosureScope -> start.closureScope
+            else -> start.parent
+        }
+        return next?.let { resolveScope(it, effectiveDepth - 1) }
+            ?: error("Scope depth $depth is out of range")
+    }
 }

lynglib/src/commonMain/kotlin/net/sergeych/lyng/bytecode/Opcode.kt

@@ -30,9 +30,6 @@ enum class Opcode(val code: Int) {
     BOX_OBJ(0x0A),
     RANGE_INT_BOUNDS(0x0B),
     MAKE_RANGE(0x0C),
-    LOAD_THIS(0x0D),
-    MAKE_VALUE_FN(0x0E),
-    LOAD_THIS_VARIANT(0x0F),
 
     INT_TO_REAL(0x10),
     REAL_TO_INT(0x11),
@@ -110,7 +107,6 @@ enum class Opcode(val code: Int) {
     DIV_OBJ(0x7A),
     MOD_OBJ(0x7B),
     CONTAINS_OBJ(0x7C),
-    ASSIGN_OP_OBJ(0x7D),
 
     JMP(0x80),
     JMP_IF_TRUE(0x81),
@@ -127,17 +123,19 @@ enum class Opcode(val code: Int) {
 
     CALL_DIRECT(0x90),
     CALL_VIRTUAL(0x91),
-    CALL_MEMBER_SLOT(0x92),
+    CALL_FALLBACK(0x92),
     CALL_SLOT(0x93),
 
     GET_FIELD(0xA0),
     SET_FIELD(0xA1),
     GET_INDEX(0xA2),
     SET_INDEX(0xA3),
+    GET_NAME(0xA4),
     LIST_LITERAL(0xA5),
-    GET_MEMBER_SLOT(0xA8),
-    SET_MEMBER_SLOT(0xA9),
+    GET_THIS_MEMBER(0xA6),
+    SET_THIS_MEMBER(0xA7),
 
+    EVAL_FALLBACK(0xB0),
     RESOLVE_SCOPE_SLOT(0xB1),
     LOAD_OBJ_ADDR(0xB2),
     STORE_OBJ_ADDR(0xB3),
@@ -148,6 +146,9 @@ enum class Opcode(val code: Int) {
     LOAD_BOOL_ADDR(0xB8),
     STORE_BOOL_ADDR(0xB9),
     THROW(0xBB),
+    EVAL_REF(0xBC),
+    EVAL_STMT(0xBD),
+    EVAL_VALUE_FN(0xBE),
     ITER_PUSH(0xBF),
     ITER_POP(0xC0),
     ITER_CANCEL(0xC1),

lynglib/src/commonMain/kotlin/net/sergeych/lyng/miniast/DocRegistrationHelpers.kt

@@ -39,11 +39,10 @@ inline fun <reified T : Obj> Scope.addFnDoc(
     returns: TypeDoc? = null,
     tags: Map<String, List<String>> = emptyMap(),
     moduleName: String? = null,
-    callSignature: net.sergeych.lyng.CallSignature? = null,
     crossinline fn: suspend Scope.() -> T
 ) {
     // Register runtime function(s)
-    addFn(*names, callSignature = callSignature) { fn() }
+    addFn(*names) { fn() }
     // Determine module
     val mod = moduleName ?: findModuleNameOrUnknown()
     // Register docs once per name

lynglib/src/commonMain/kotlin/net/sergeych/lyng/obj/Obj.kt

@@ -124,7 +124,17 @@ open class Obj {
             }
         }
 
-        // 2. Root object fallback
+        // 2. Extensions in scope
+        val extension = scope.findExtension(objClass, name)
+        if (extension != null) {
+            if (extension.type == ObjRecord.Type.Property) {
+                if (args.isEmpty()) return (extension.value as ObjProperty).callGetter(scope, this, extension.declaringClass)
+            } else if (extension.type != ObjRecord.Type.Delegated) {
+                return extension.value.invoke(scope, this, args)
+            }
+        }
+
+        // 3. Root object fallback
         for (cls in objClass.mro) {
             if (cls.className == "Obj") {
                 cls.members[name]?.let { rec ->
@@ -171,7 +181,7 @@ open class Obj {
 
     open suspend fun equals(scope: Scope, other: Obj): Boolean {
         if (other === this) return true
-        val m = objClass.getInstanceMemberOrNull("equals")
+        val m = objClass.getInstanceMemberOrNull("equals") ?: scope.findExtension(objClass, "equals")
         if (m != null) {
             return invokeInstanceMethod(scope, "equals", Arguments(other)).toBool()
         }
@@ -365,7 +375,7 @@ open class Obj {
      * to generate it as 'this = this + other', reassigning its variable
      */
     open suspend fun plusAssign(scope: Scope, other: Obj): Obj? {
-        val m = objClass.getInstanceMemberOrNull("plusAssign")
+        val m = objClass.getInstanceMemberOrNull("plusAssign") ?: scope.findExtension(objClass, "plusAssign")
         return if (m != null) {
             invokeInstanceMethod(scope, "plusAssign", Arguments(other))
         } else null
@@ -375,28 +385,28 @@ open class Obj {
      * `-=` operations, see [plusAssign]
      */
     open suspend fun minusAssign(scope: Scope, other: Obj): Obj? {
-        val m = objClass.getInstanceMemberOrNull("minusAssign")
+        val m = objClass.getInstanceMemberOrNull("minusAssign") ?: scope.findExtension(objClass, "minusAssign")
         return if (m != null) {
             invokeInstanceMethod(scope, "minusAssign", Arguments(other))
         } else null
     }
 
     open suspend fun mulAssign(scope: Scope, other: Obj): Obj? {
-        val m = objClass.getInstanceMemberOrNull("mulAssign")
+        val m = objClass.getInstanceMemberOrNull("mulAssign") ?: scope.findExtension(objClass, "mulAssign")
         return if (m != null) {
             invokeInstanceMethod(scope, "mulAssign", Arguments(other))
         } else null
     }
 
     open suspend fun divAssign(scope: Scope, other: Obj): Obj? {
-        val m = objClass.getInstanceMemberOrNull("divAssign")
+        val m = objClass.getInstanceMemberOrNull("divAssign") ?: scope.findExtension(objClass, "divAssign")
         return if (m != null) {
             invokeInstanceMethod(scope, "divAssign", Arguments(other))
         } else null
     }
 
     open suspend fun modAssign(scope: Scope, other: Obj): Obj? {
-        val m = objClass.getInstanceMemberOrNull("modAssign")
+        val m = objClass.getInstanceMemberOrNull("modAssign") ?: scope.findExtension(objClass, "modAssign")
         return if (m != null) {
             invokeInstanceMethod(scope, "modAssign", Arguments(other))
         } else null
@@ -457,7 +467,16 @@ open class Obj {
             }
         }
 
-        // 2. Root fallback
+        // 2. Extensions
+        val extension = scope.findExtension(objClass, name)
+        if (extension != null) {
+            val resolved = resolveRecord(scope, extension, name, extension.declaringClass)
+            if (resolved.type == ObjRecord.Type.Fun && resolved.value is Statement)
+                return resolved.copy(value = resolved.value.invoke(scope, this, Arguments.EMPTY, extension.declaringClass))
+            return resolved
+        }
+
+        // 3. Root fallback
         for (cls in objClass.mro) {
             if (cls.className == "Obj") {
                 cls.members[name]?.let { rec ->
@@ -539,7 +558,11 @@ open class Obj {
                 }
             }
         }
-        // 2. Root fallback
+        // 2. Extensions
+        if (field == null) {
+            field = scope.findExtension(objClass, name)
+        }
+        // 3. Root fallback
         if (field == null) {
             for (cls in objClass.mro) {
                 if (cls.className == "Obj") {
@@ -702,8 +725,7 @@ open class Obj {
                 (thisObj as? ObjInstance)?.let {
                     body.callOn(ApplyScope(this, it.instanceScope))
                 } ?: run {
-                    val appliedScope = createChildScope(newThisObj = thisObj)
-                    body.callOn(ApplyScope(this, appliedScope))
+                    body.callOn(this)
                 }
                 thisObj
             }

lynglib/src/commonMain/kotlin/net/sergeych/lyng/obj/ObjClass.kt

@@ -118,34 +118,28 @@ open class ObjClass(
 
     /**
      * Map of public member names to their effective storage keys in instanceScope.objects.
-     * Cached and invalidated by layoutVersion to reflect newly added members.
+     * This is pre-calculated to avoid MRO traversal and string concatenation during common access.
      */
-    private var publicMemberResolutionVersion: Int = -1
-    private var publicMemberResolutionCache: Map<String, String> = emptyMap()
-    val publicMemberResolution: Map<String, String>
-        get() {
-            if (publicMemberResolutionVersion == layoutVersion) return publicMemberResolutionCache
-            val res = mutableMapOf<String, String>()
-            // Traverse MRO in REVERSED order so that child classes override parent classes in the map.
-            for (cls in mro.reversed()) {
-                if (cls.className == "Obj") continue
-                for ((name, rec) in cls.members) {
-                    if (rec.visibility == Visibility.Public) {
-                        val key = if (rec.type == ObjRecord.Type.Field || rec.type == ObjRecord.Type.ConstructorField || rec.type == ObjRecord.Type.Delegated) cls.mangledName(name) else name
-                        res[name] = key
-                    }
-                }
-                cls.classScope?.objects?.forEach { (name, rec) ->
-                    if (rec.visibility == Visibility.Public && (rec.value is Statement || rec.type == ObjRecord.Type.Delegated)) {
-                        val key = if (rec.type == ObjRecord.Type.Delegated) cls.mangledName(name) else name
-                        res[name] = key
-                    }
+    val publicMemberResolution: Map<String, String> by lazy {
+        val res = mutableMapOf<String, String>()
+        // Traverse MRO in REVERSED order so that child classes override parent classes in the map.
+        for (cls in mro.reversed()) {
+            if (cls.className == "Obj") continue
+            for ((name, rec) in cls.members) {
+                if (rec.visibility == Visibility.Public) {
+                    val key = if (rec.type == ObjRecord.Type.Field || rec.type == ObjRecord.Type.ConstructorField || rec.type == ObjRecord.Type.Delegated) cls.mangledName(name) else name
+                    res[name] = key
+                }
+            }
+            cls.classScope?.objects?.forEach { (name, rec) ->
+                if (rec.visibility == Visibility.Public && (rec.value is Statement || rec.type == ObjRecord.Type.Delegated)) {
+                    val key = if (rec.type == ObjRecord.Type.Delegated) cls.mangledName(name) else name
+                    res[name] = key
                 }
             }
-            publicMemberResolutionCache = res
-            publicMemberResolutionVersion = layoutVersion
-            return res
         }
+        res
+    }
 
     val classNameObj by lazy { ObjString(className) }
 
@@ -275,11 +269,6 @@ open class ObjClass(
     internal data class FieldSlot(val slot: Int, val record: ObjRecord)
     internal data class ResolvedMember(val record: ObjRecord, val declaringClass: ObjClass)
     internal data class MethodSlot(val slot: Int, val record: ObjRecord)
-    private var nextFieldId: Int = 0
-    private var nextMethodId: Int = 0
-    private val fieldIdMap: MutableMap<String, Int> = mutableMapOf()
-    private val methodIdMap: MutableMap<String, Int> = mutableMapOf()
-    private var methodIdSeeded: Boolean = false
     private var fieldSlotLayoutVersion: Int = -1
     private var fieldSlotMap: Map<String, FieldSlot> = emptyMap()
     private var fieldSlotCount: Int = 0
@@ -292,29 +281,19 @@ open class ObjClass(
     private fun ensureFieldSlots(): Map<String, FieldSlot> {
         if (fieldSlotLayoutVersion == layoutVersion) return fieldSlotMap
         val res = mutableMapOf<String, FieldSlot>()
-        var maxId = -1
+        var idx = 0
         for (cls in mro) {
             for ((name, rec) in cls.members) {
                 if (rec.isAbstract) continue
                 if (rec.type != ObjRecord.Type.Field && rec.type != ObjRecord.Type.ConstructorField) continue
                 val key = cls.mangledName(name)
                 if (res.containsKey(key)) continue
-                val fieldId = rec.fieldId ?: cls.assignFieldId(name, rec)
-                res[key] = FieldSlot(fieldId, rec)
-                if (fieldId > maxId) maxId = fieldId
-            }
-            cls.classScope?.objects?.forEach { (name, rec) ->
-                if (rec.isAbstract) return@forEach
-                if (rec.type != ObjRecord.Type.Field && rec.type != ObjRecord.Type.ConstructorField) return@forEach
-                val key = cls.mangledName(name)
-                if (res.containsKey(key)) return@forEach
-                val fieldId = rec.fieldId ?: cls.assignFieldId(name, rec)
-                res[key] = FieldSlot(fieldId, rec)
-                if (fieldId > maxId) maxId = fieldId
+                res[key] = FieldSlot(idx, rec)
+                idx += 1
             }
         }
         fieldSlotMap = res
-        fieldSlotCount = maxId + 1
+        fieldSlotCount = idx
         fieldSlotLayoutVersion = layoutVersion
         return fieldSlotMap
     }
@@ -323,6 +302,7 @@ open class ObjClass(
         if (instanceMemberLayoutVersion == layoutVersion) return instanceMemberCache
         val res = mutableMapOf<String, ResolvedMember>()
         for (cls in mro) {
+            if (cls.className == "Obj") break
             for ((name, rec) in cls.members) {
                 if (rec.isAbstract) continue
                 if (res.containsKey(name)) continue
@@ -344,7 +324,7 @@ open class ObjClass(
     private fun ensureMethodSlots(): Map<String, MethodSlot> {
         if (methodSlotLayoutVersion == layoutVersion) return methodSlotMap
         val res = mutableMapOf<String, MethodSlot>()
-        var maxId = -1
+        var idx = 0
         for (cls in mro) {
             if (cls.className == "Obj") break
             for ((name, rec) in cls.members) {
@@ -357,9 +337,8 @@ open class ObjClass(
                 }
                 val key = if (rec.visibility == Visibility.Private || rec.type == ObjRecord.Type.Delegated) cls.mangledName(name) else name
                 if (res.containsKey(key)) continue
-                val methodId = rec.methodId ?: cls.assignMethodId(name, rec)
-                res[key] = MethodSlot(methodId, rec)
-                if (methodId > maxId) maxId = methodId
+                res[key] = MethodSlot(idx, rec)
+                idx += 1
             }
             cls.classScope?.objects?.forEach { (name, rec) ->
                 if (rec.isAbstract) return@forEach
@@ -368,13 +347,12 @@ open class ObjClass(
                     rec.type != ObjRecord.Type.Property) return@forEach
                 val key = if (rec.visibility == Visibility.Private || rec.type == ObjRecord.Type.Delegated) cls.mangledName(name) else name
                 if (res.containsKey(key)) return@forEach
-                val methodId = rec.methodId ?: cls.assignMethodId(name, rec)
-                res[key] = MethodSlot(methodId, rec)
-                if (methodId > maxId) maxId = methodId
+                res[key] = MethodSlot(idx, rec)
+                idx += 1
             }
         }
         methodSlotMap = res
-        methodSlotCount = maxId + 1
+        methodSlotCount = idx
         methodSlotLayoutVersion = layoutVersion
         return methodSlotMap
     }
@@ -390,10 +368,6 @@ open class ObjClass(
     }
 
     internal fun fieldSlotMap(): Map<String, FieldSlot> = ensureFieldSlots()
-    internal fun fieldRecordForId(fieldId: Int): ObjRecord? {
-        ensureFieldSlots()
-        return fieldSlotMap.values.firstOrNull { it.slot == fieldId }?.record
-    }
     internal fun resolveInstanceMember(name: String): ResolvedMember? = ensureInstanceMemberCache()[name]
     internal fun methodSlotCount(): Int {
         ensureMethodSlots()
@@ -404,117 +378,6 @@ open class ObjClass(
         return methodSlotMap[key]
     }
     internal fun methodSlotMap(): Map<String, MethodSlot> = ensureMethodSlots()
-    internal fun methodRecordForId(methodId: Int): ObjRecord? {
-        ensureMethodSlots()
-        methodSlotMap.values.firstOrNull { it.slot == methodId }?.record?.let { return it }
-        // Fallback to scanning the MRO in case a parent method id was added after slot cache creation.
-        for (cls in mro) {
-            for ((_, rec) in cls.members) {
-                if (rec.methodId == methodId) return rec
-            }
-            cls.classScope?.objects?.forEach { (_, rec) ->
-                if (rec.methodId == methodId) return rec
-            }
-        }
-        return null
-    }
-
-    internal fun instanceFieldIdMap(): Map<String, Int> {
-        val result = mutableMapOf<String, Int>()
-        for (cls in mro) {
-            if (cls.className == "Obj") break
-            for ((name, rec) in cls.members) {
-                if (rec.isAbstract) continue
-                if (rec.type != ObjRecord.Type.Field && rec.type != ObjRecord.Type.ConstructorField) continue
-                if (rec.visibility == Visibility.Private) continue
-                val id = rec.fieldId ?: cls.assignFieldId(name, rec)
-                result.putIfAbsent(name, id)
-            }
-            cls.classScope?.objects?.forEach { (name, rec) ->
-                if (rec.isAbstract) return@forEach
-                if (rec.type != ObjRecord.Type.Field && rec.type != ObjRecord.Type.ConstructorField) return@forEach
-                if (rec.visibility == Visibility.Private) return@forEach
-                val id = rec.fieldId ?: cls.assignFieldId(name, rec)
-                result.putIfAbsent(name, id)
-            }
-        }
-        return result
-    }
-
-    internal fun instanceMethodIdMap(includeAbstract: Boolean = false): Map<String, Int> {
-        val result = mutableMapOf<String, Int>()
-        for (cls in mro) {
-            for ((name, rec) in cls.members) {
-                if (!includeAbstract && rec.isAbstract) continue
-                if (rec.visibility == Visibility.Private) continue
-                if (rec.type != ObjRecord.Type.Fun &&
-                    rec.type != ObjRecord.Type.Property &&
-                    rec.type != ObjRecord.Type.Delegated) continue
-                val id = rec.methodId ?: cls.assignMethodId(name, rec)
-                result.putIfAbsent(name, id)
-            }
-            cls.classScope?.objects?.forEach { (name, rec) ->
-                if (!includeAbstract && rec.isAbstract) return@forEach
-                if (rec.visibility == Visibility.Private) return@forEach
-                if (rec.type != ObjRecord.Type.Fun &&
-                    rec.type != ObjRecord.Type.Property &&
-                    rec.type != ObjRecord.Type.Delegated) return@forEach
-                val id = rec.methodId ?: cls.assignMethodId(name, rec)
-                result.putIfAbsent(name, id)
-            }
-        }
-        return result
-    }
-
-    private fun assignFieldId(name: String, rec: ObjRecord): Int {
-        val existingId = rec.fieldId
-        if (existingId != null) {
-            fieldIdMap[name] = existingId
-            return existingId
-        }
-        val id = fieldIdMap.getOrPut(name) { nextFieldId++ }
-        return id
-    }
-
-    private fun assignMethodId(name: String, rec: ObjRecord): Int {
-        ensureMethodIdSeeded()
-        val existingId = rec.methodId
-        if (existingId != null) {
-            methodIdMap[name] = existingId
-            return existingId
-        }
-        val id = methodIdMap.getOrPut(name) { nextMethodId++ }
-        return id
-    }
-
-    private fun ensureMethodIdSeeded() {
-        if (methodIdSeeded) return
-        var maxId = -1
-        for (cls in mroParents) {
-            for ((name, rec) in cls.members) {
-                if (rec.type != ObjRecord.Type.Fun &&
-                    rec.type != ObjRecord.Type.Property &&
-                    rec.type != ObjRecord.Type.Delegated
-                ) continue
-                val id = rec.methodId ?: cls.assignMethodId(name, rec)
-                methodIdMap.putIfAbsent(name, id)
-                if (id > maxId) maxId = id
-            }
-            cls.classScope?.objects?.forEach { (name, rec) ->
-                if (rec.type != ObjRecord.Type.Fun &&
-                    rec.type != ObjRecord.Type.Property &&
-                    rec.type != ObjRecord.Type.Delegated
-                ) return@forEach
-                val id = rec.methodId ?: cls.assignMethodId(name, rec)
-                methodIdMap.putIfAbsent(name, id)
-                if (id > maxId) maxId = id
-            }
-        }
-        if (nextMethodId <= maxId) {
-            nextMethodId = maxId + 1
-        }
-        methodIdSeeded = true
-    }
 
     override fun toString(): String = className
 
@@ -749,15 +612,12 @@ open class ObjClass(
         isOverride: Boolean = false,
         isTransient: Boolean = false,
         type: ObjRecord.Type = ObjRecord.Type.Field,
-        fieldId: Int? = null,
-        methodId: Int? = null,
     ): ObjRecord {
         // Validation of override rules: only for non-system declarations
-        var existing: ObjRecord? = null
-        var actualOverride = false
         if (pos != Pos.builtIn) {
             // Only consider TRUE instance members from ancestors for overrides
-            existing = getInstanceMemberOrNull(name, includeAbstract = true, includeStatic = false)
+            val existing = getInstanceMemberOrNull(name, includeAbstract = true, includeStatic = false)
+            var actualOverride = false
             if (existing != null && existing.declaringClass != this) {
                 // If the existing member is private in the ancestor, it's not visible for overriding.
                 // It should be treated as a new member in this class.
@@ -788,56 +648,6 @@ open class ObjClass(
             throw ScriptError(pos, "$name is already defined in $objClass")
         
         // Install/override in this class
-        val effectiveFieldId = if (type == ObjRecord.Type.Field || type == ObjRecord.Type.ConstructorField) {
-            fieldId ?: fieldIdMap[name]?.let { it } ?: run {
-                fieldIdMap[name] = nextFieldId
-                nextFieldId++
-                fieldIdMap[name]!!
-            }
-        } else {
-            fieldId
-        }
-        val inheritedCandidate = run {
-            var found: ObjRecord? = null
-            for (cls in mro) {
-                if (cls === this) continue
-                if (cls.className == "Obj") break
-                cls.members[name]?.let {
-                    found = it
-                    return@run found
-                }
-            }
-            found
-        }
-        if (type == ObjRecord.Type.Fun ||
-            type == ObjRecord.Type.Property ||
-            type == ObjRecord.Type.Delegated
-        ) {
-            ensureMethodIdSeeded()
-        }
-        val effectiveMethodId = if (type == ObjRecord.Type.Fun ||
-            type == ObjRecord.Type.Property ||
-            type == ObjRecord.Type.Delegated
-        ) {
-            val inherited = if (actualOverride) {
-                existing?.methodId
-            } else {
-                val candidate = inheritedCandidate
-                if (candidate != null &&
-                    candidate.declaringClass != this &&
-                    (candidate.visibility.isPublic || canAccessMember(candidate.visibility, candidate.declaringClass, this, name))
-                ) {
-                    candidate.methodId
-                } else null
-            }
-            methodId ?: inherited ?: methodIdMap[name]?.let { it } ?: run {
-                methodIdMap[name] = nextMethodId
-                nextMethodId++
-                methodIdMap[name]!!
-            }
-        } else {
-            methodId
-        }
         val rec = ObjRecord(
             initialValue, isMutable, visibility, writeVisibility, 
             declaringClass = declaringClass,
@@ -845,10 +655,7 @@ open class ObjClass(
             isClosed = isClosed,
             isOverride = isOverride,
             isTransient = isTransient,
-            type = type,
-            memberName = name,
-            fieldId = effectiveFieldId,
-            methodId = effectiveMethodId
+            type = type
         )
         members[name] = rec
         // Structural change: bump layout version for PIC invalidation
@@ -869,52 +676,13 @@ open class ObjClass(
         writeVisibility: Visibility? = null,
         pos: Pos = Pos.builtIn,
         isTransient: Boolean = false,
-        type: ObjRecord.Type = ObjRecord.Type.Field,
-        fieldId: Int? = null,
-        methodId: Int? = null
+        type: ObjRecord.Type = ObjRecord.Type.Field
     ): ObjRecord {
         initClassScope()
         val existing = classScope!!.objects[name]
         if (existing != null)
             throw ScriptError(pos, "$name is already defined in $objClass or one of its supertypes")
-        val effectiveFieldId = if (type == ObjRecord.Type.Field || type == ObjRecord.Type.ConstructorField) {
-            fieldId ?: fieldIdMap[name]?.let { it } ?: run {
-                fieldIdMap[name] = nextFieldId
-                nextFieldId++
-                fieldIdMap[name]!!
-            }
-        } else {
-            fieldId
-        }
-        if (type == ObjRecord.Type.Fun ||
-            type == ObjRecord.Type.Property ||
-            type == ObjRecord.Type.Delegated
-        ) {
-            ensureMethodIdSeeded()
-        }
-        val effectiveMethodId = if (type == ObjRecord.Type.Fun ||
-            type == ObjRecord.Type.Property ||
-            type == ObjRecord.Type.Delegated
-        ) {
-            methodId ?: methodIdMap[name]?.let { it } ?: run {
-                methodIdMap[name] = nextMethodId
-                nextMethodId++
-                methodIdMap[name]!!
-            }
-        } else {
-            methodId
-        }
-        val rec = classScope!!.addItem(
-            name,
-            isMutable,
-            initialValue,
-            visibility,
-            writeVisibility,
-            recordType = type,
-            isTransient = isTransient,
-            fieldId = effectiveFieldId,
-            methodId = effectiveMethodId
-        )
+        val rec = classScope!!.addItem(name, isMutable, initialValue, visibility, writeVisibility, recordType = type, isTransient = isTransient)
         // Structural change: bump layout version for PIC invalidation
         layoutVersion += 1
         return rec
@@ -930,15 +698,13 @@ open class ObjClass(
         isClosed: Boolean = false,
         isOverride: Boolean = false,
         pos: Pos = Pos.builtIn,
-        methodId: Int? = null,
         code: (suspend Scope.() -> Obj)? = null
     ) {
         val stmt = code?.let { statement { it() } } ?: ObjNull
         createField(
             name, stmt, isMutable, visibility, writeVisibility, pos, declaringClass,
             isAbstract = isAbstract, isClosed = isClosed, isOverride = isOverride,
-            type = ObjRecord.Type.Fun,
-            methodId = methodId
+            type = ObjRecord.Type.Fun
         )
     }
 
@@ -955,8 +721,7 @@ open class ObjClass(
         isClosed: Boolean = false,
         isOverride: Boolean = false,
         pos: Pos = Pos.builtIn,
-        prop: ObjProperty? = null,
-        methodId: Int? = null
+        prop: ObjProperty? = null
     ) {
         val g = getter?.let { statement { it() } }
         val s = setter?.let { statement { it(requiredArg(0)); ObjVoid } }
@@ -964,8 +729,7 @@ open class ObjClass(
         createField(
             name, finalProp, false, visibility, writeVisibility, pos, declaringClass,
             isAbstract = isAbstract, isClosed = isClosed, isOverride = isOverride,
-            type = ObjRecord.Type.Property,
-            methodId = methodId
+            type = ObjRecord.Type.Property
         )
     }
 

lynglib/src/commonMain/kotlin/net/sergeych/lyng/obj/ObjException.kt

@@ -344,11 +344,7 @@ fun Obj.isLyngException(): Boolean = isInstanceOf("Exception")
  */
 suspend fun Obj.getLyngExceptionMessage(scope: Scope? = null): String {
     require(this.isLyngException())
-    val s = scope ?: when (this) {
-        is ObjException -> this.scope
-        is ObjInstance -> this.instanceScope
-        else -> Script.newScope()
-    }
+    val s = scope ?: Script.newScope()
     return invokeInstanceMethod(s, "message").toString(s).value
 }
 
@@ -365,25 +361,16 @@ suspend fun Obj.getLyngExceptionMessage(scope: Scope? = null): String {
  */
 suspend fun Obj.getLyngExceptionMessageWithStackTrace(scope: Scope? = null,showDetails:Boolean=true): String {
     require(this.isLyngException())
-    val s = scope ?: when (this) {
-        is ObjException -> this.scope
-        is ObjInstance -> this.instanceScope
-        else -> Script.newScope()
-    }
+    val s = scope ?: Script.newScope()
     val msg = getLyngExceptionMessage(s)
     val trace = getLyngExceptionStackTrace(s)
     var at = "unknown"
+//    var firstLine = true
     val stack = if (!trace.list.isEmpty()) {
         val first = trace.list[0]
         at = (first.readField(s, "at").value as ObjString).value
         "\n" + trace.list.map { "    at " + it.toString(s).value }.joinToString("\n")
-    } else {
-        val pos = s.pos
-        if (pos.source.fileName.isNotEmpty() && pos.currentLine.isNotEmpty()) {
-            at = "${pos.source.fileName}:${pos.line + 1}:${pos.column + 1}"
-        }
-        ""
-    }
+    } else ""
     return "$at: $msg$stack"
 }
 
@@ -409,16 +396,9 @@ suspend fun Obj.getLyngExceptionString(scope: Scope): String =
  * Rethrow this object as a Kotlin [ExecutionError] if it's an exception.
  */
 suspend fun Obj.raiseAsExecutionError(scope: Scope? = null): Nothing {
-    val sc = scope ?: when (this) {
-        is ObjException -> this.scope
-        is ObjInstance -> this.instanceScope
-        else -> Script.newScope()
-    }
-    val msg = getLyngExceptionMessageWithStackTrace(sc)
-    val pos = when (this) {
-        is ObjException -> this.scope.pos
-        is ObjInstance -> this.instanceScope.pos
-        else -> Pos.builtIn
-    }
+    if (this is ObjException) raise()
+    val sc = scope ?: Script.newScope()
+    val msg = getLyngExceptionMessage(sc)
+    val pos = (this as? ObjInstance)?.instanceScope?.pos ?: Pos.builtIn
     throw ExecutionError(this, pos, msg)
 }

lynglib/src/commonMain/kotlin/net/sergeych/lyng/obj/ObjExtensionCallable.kt

@@ -1,68 +0,0 @@
-/*
- * Copyright 2026 Sergey S. Chernov
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- *
- */
-
-package net.sergeych.lyng.obj
-
-import net.sergeych.lyng.Arguments
-import net.sergeych.lyng.Scope
-
-class ObjExtensionMethodCallable(
-    private val name: String,
-    private val target: Obj,
-    private val declaringClass: ObjClass? = null
-) : Obj() {
-    override suspend fun callOn(scope: Scope): Obj {
-        val args = scope.args
-        if (args.isEmpty()) scope.raiseError("extension call $name requires receiver")
-        val receiver = args.first()
-        val rest = if (args.size <= 1) {
-            Arguments.EMPTY
-        } else {
-            Arguments(args.list.subList(1, args.size), args.tailBlockMode, args.named)
-        }
-        return target.invoke(scope, receiver, rest, declaringClass)
-    }
-}
-
-class ObjExtensionPropertyGetterCallable(
-    private val name: String,
-    private val property: ObjProperty,
-    private val declaringClass: ObjClass? = null
-) : Obj() {
-    override suspend fun callOn(scope: Scope): Obj {
-        val args = scope.args
-        if (args.isEmpty()) scope.raiseError("extension property $name requires receiver")
-        val receiver = args.first()
-        if (args.size > 1) scope.raiseError("extension property $name getter takes no arguments")
-        return property.callGetter(scope, receiver, declaringClass)
-    }
-}
-
-class ObjExtensionPropertySetterCallable(
-    private val name: String,
-    private val property: ObjProperty,
-    private val declaringClass: ObjClass? = null
-) : Obj() {
-    override suspend fun callOn(scope: Scope): Obj {
-        val args = scope.args
-        if (args.size < 2) scope.raiseError("extension property $name setter requires value")
-        val receiver = args[0]
-        val value = args[1]
-        property.callSetter(scope, receiver, value, declaringClass)
-        return ObjVoid
-    }
-}

lynglib/src/commonMain/kotlin/net/sergeych/lyng/obj/ObjFlow.kt

@@ -81,8 +81,8 @@ private fun createLyngFlowInput(scope: Scope, producer: Statement): ReceiveChann
         } catch (x: ScriptFlowIsNoMoreCollected) {
             // premature flow closing, OK
         } catch (x: Exception) {
-            channel.close(x)
-            return@globalLaunch
+            // Suppress stack traces in background producer to avoid noisy stderr during tests.
+            // If needed, consider routing to a logger in the future.
         }
         channel.close()
     }
@@ -107,7 +107,9 @@ class ObjFlow(val producer: Statement, val scope: Scope) : Obj() {
             ) {
                 val objFlow = thisAs<ObjFlow>()
                 ObjFlowIterator(statement {
-                    objFlow.producer.execute(this)
+                    objFlow.producer.execute(
+                        ClosureScope(this, objFlow.scope)
+                    )
                 })
             }
         }
@@ -135,7 +137,6 @@ class ObjFlowIterator(val producer: Statement) : Obj() {
         // cold start:
         if (channel == null) channel = createLyngFlowInput(scope, producer)
         if (nextItem == null) nextItem = channel!!.receiveCatching()
-        nextItem?.exceptionOrNull()?.let { throw it }
         return ObjBool(nextItem!!.isSuccess)
     }
 

lynglib/src/commonMain/kotlin/net/sergeych/lyng/obj/ObjInstance.kt

@@ -61,14 +61,6 @@ class ObjInstance(override val objClass: ObjClass) : Obj() {
         return if (idx >= 0 && idx < methodSlots.size) methodSlots[idx] else null
     }
 
-    internal fun fieldRecordForId(fieldId: Int): ObjRecord? {
-        return if (fieldId >= 0 && fieldId < fieldSlots.size) fieldSlots[fieldId] else null
-    }
-
-    internal fun methodRecordForId(methodId: Int): ObjRecord? {
-        return if (methodId >= 0 && methodId < methodSlots.size) methodSlots[methodId] else null
-    }
-
     override suspend fun readField(scope: Scope, name: String): ObjRecord {
         val caller = scope.currentClassCtx
         

lynglib/src/commonMain/kotlin/net/sergeych/lyng/obj/ObjIterable.kt

@@ -29,12 +29,6 @@ import net.sergeych.lyng.miniast.type
  */
 val ObjIterable by lazy {
     ObjClass("Iterable").apply {
-        addFn(
-            name = "iterator",
-            isAbstract = true,
-            isClosed = false,
-            code = null
-        )
 
         addPropertyDoc(
             name = "toList",
@@ -247,4 +241,4 @@ val ObjIterable by lazy {
             list
         }
     }
-}
+}

lynglib/src/commonMain/kotlin/net/sergeych/lyng/obj/ObjLazyDelegate.kt

@@ -1,57 +0,0 @@
-/*
- * Copyright 2026 Sergey S. Chernov
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-package net.sergeych.lyng.obj
-
-import net.sergeych.lyng.Arguments
-import net.sergeych.lyng.Scope
-import net.sergeych.lyng.Statement
-
-/**
- * Lazy delegate used by `val x by lazy { ... }`.
- */
-class ObjLazyDelegate(
-    private val builder: Statement,
-    private val capturedScope: Scope,
-) : Obj() {
-    override val objClass: ObjClass = type
-
-    private var calculated = false
-    private var cachedValue: Obj = ObjVoid
-
-    override suspend fun invokeInstanceMethod(
-        scope: Scope,
-        name: String,
-        args: Arguments,
-        onNotFoundResult: (suspend () -> Obj?)?,
-    ): Obj {
-        return when (name) {
-            "getValue" -> {
-                if (!calculated) {
-                    cachedValue = builder.execute(capturedScope)
-                    calculated = true
-                }
-                cachedValue
-            }
-            "setValue" -> scope.raiseIllegalAssignment("lazy delegate is read-only")
-            else -> super.invokeInstanceMethod(scope, name, args, onNotFoundResult)
-        }
-    }
-
-    companion object {
-        val type = ObjClass("LazyDelegate")
-    }
-}

lynglib/src/commonMain/kotlin/net/sergeych/lyng/obj/ObjRecord.kt

@@ -38,10 +38,6 @@ data class ObjRecord(
     var delegate: Obj? = null,
     /** The receiver object to resolve this member against (for instance fields/methods). */
     var receiver: Obj? = null,
-    val callSignature: net.sergeych.lyng.CallSignature? = null,
-    val memberName: String? = null,
-    val fieldId: Int? = null,
-    val methodId: Int? = null,
 ) {
     val effectiveWriteVisibility: Visibility get() = writeVisibility ?: visibility
     enum class Type(val comparable: Boolean = false,val serializable: Boolean = false) {
@@ -63,4 +59,4 @@ data class ObjRecord(
     @Suppress("unused")
     fun qualifiedName(name: String): String =
         "${importedFrom?.packageName ?: "anonymous"}.$name"
-}
+}

lynglib/src/commonMain/kotlin/net/sergeych/lyng/obj/ObjRegex.kt

@@ -18,10 +18,8 @@
 package net.sergeych.lyng.obj
 
 import net.sergeych.lyng.PerfFlags
-import net.sergeych.lyng.Pos
 import net.sergeych.lyng.RegexCache
 import net.sergeych.lyng.Scope
-import net.sergeych.lyng.Statement
 import net.sergeych.lyng.miniast.*
 
 class ObjRegex(val regex: Regex) : Obj() {
@@ -74,19 +72,6 @@ class ObjRegex(val regex: Regex) : Obj() {
                     val s = requireOnlyArg<ObjString>().value
                     ObjList(thisAs<ObjRegex>().regex.findAll(s).map { ObjRegexMatch(it) }.toMutableList())
                 }
-                createField(
-                    name = "operatorMatch",
-                    initialValue = object : Statement() {
-                        override val pos: Pos = Pos.builtIn
-
-                        override suspend fun execute(scope: Scope): Obj {
-                            val other = scope.args.firstAndOnly(pos)
-                            val targetScope = scope.parent ?: scope
-                            return (scope.thisObj as ObjRegex).operatorMatch(targetScope, other)
-                        }
-                    },
-                    type = ObjRecord.Type.Fun
-                )
             }
         }
     }
@@ -159,4 +144,4 @@ class ObjRegexMatch(val match: MatchResult) : Obj() {
             }
         }
     }
-}
+}

lynglib/src/commonMain/kotlin/net/sergeych/lyng/obj/ObjString.kt

@@ -22,10 +22,8 @@ import kotlinx.serialization.Serializable
 import kotlinx.serialization.json.JsonElement
 import kotlinx.serialization.json.JsonPrimitive
 import net.sergeych.lyng.PerfFlags
-import net.sergeych.lyng.Pos
 import net.sergeych.lyng.RegexCache
 import net.sergeych.lyng.Scope
-import net.sergeych.lyng.Statement
 import net.sergeych.lyng.miniast.*
 import net.sergeych.lynon.LynonDecoder
 import net.sergeych.lynon.LynonEncoder
@@ -340,36 +338,6 @@ data class ObjString(val value: String) : Obj() {
                     }
                 )
             }
-            createField(
-                name = "re",
-                initialValue = ObjProperty(
-                    name = "re",
-                    getter = object : Statement() {
-                        override val pos: Pos = Pos.builtIn
-
-                        override suspend fun execute(scope: Scope): Obj {
-                            val pattern = (scope.thisObj as ObjString).value
-                            val re = if (PerfFlags.REGEX_CACHE) RegexCache.get(pattern) else pattern.toRegex()
-                            return ObjRegex(re)
-                        }
-                    },
-                    setter = null
-                ),
-                type = ObjRecord.Type.Property
-            )
-            createField(
-                name = "operatorMatch",
-                initialValue = object : Statement() {
-                    override val pos: Pos = Pos.builtIn
-
-                    override suspend fun execute(scope: Scope): Obj {
-                        val other = scope.args.firstAndOnly(pos)
-                        val targetScope = scope.parent ?: scope
-                        return (scope.thisObj as ObjString).operatorMatch(targetScope, other)
-                    }
-                },
-                type = ObjRecord.Type.Fun
-            )
         }
     }
-}
+}

lynglib/src/commonMain/kotlin/net/sergeych/lyng/resolution/CompileTimeResolution.kt

@@ -1,78 +0,0 @@
-/*
- * Copyright 2026 Sergey S. Chernov
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- *
- */
-
-package net.sergeych.lyng.resolution
-
-import net.sergeych.lyng.Compiler
-import net.sergeych.lyng.Pos
-import net.sergeych.lyng.Source
-import net.sergeych.lyng.pacman.ImportProvider
-
-enum class SymbolOrigin {
-    LOCAL,
-    OUTER,
-    MODULE,
-    MEMBER,
-    PARAM
-}
-
-data class ResolvedSymbol(
-    val name: String,
-    val origin: SymbolOrigin,
-    val slotIndex: Int,
-    val pos: Pos,
-)
-
-data class CaptureInfo(
-    val name: String,
-    val origin: SymbolOrigin,
-    val slotIndex: Int,
-    val isMutable: Boolean,
-    val pos: Pos,
-)
-
-data class ResolutionError(
-    val message: String,
-    val pos: Pos,
-)
-
-data class ResolutionWarning(
-    val message: String,
-    val pos: Pos,
-)
-
-data class ResolutionReport(
-    val moduleName: String,
-    val symbols: List<ResolvedSymbol>,
-    val captures: List<CaptureInfo>,
-    val errors: List<ResolutionError>,
-    val warnings: List<ResolutionWarning>,
-)
-
-object CompileTimeResolver {
-    suspend fun dryRun(source: Source, importProvider: ImportProvider): ResolutionReport {
-        val collector = ResolutionCollector(source.fileName)
-        Compiler.compileWithResolution(
-            source,
-            importProvider,
-            resolutionSink = collector,
-            useBytecodeStatements = false,
-            allowUnresolvedRefs = true
-        )
-        return collector.buildReport()
-    }
-}

lynglib/src/commonMain/kotlin/net/sergeych/lyng/resolution/ResolutionCollector.kt

@@ -1,376 +0,0 @@
-/*
- * Copyright 2026 Sergey S. Chernov
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- *
- */
-
-package net.sergeych.lyng.resolution
-
-import net.sergeych.lyng.Pos
-
-class ResolutionCollector(private val moduleName: String) : ResolutionSink {
-
-    private data class Decl(
-        val name: String,
-        val kind: SymbolKind,
-        val isMutable: Boolean,
-        val pos: Pos,
-        val isOverride: Boolean
-    )
-
-    private data class Ref(
-        val name: String,
-        val pos: Pos,
-        val qualifier: String? = null
-    )
-
-    private data class ReflectRef(
-        val name: String,
-        val pos: Pos
-    )
-
-    private data class MemberInfo(
-        val name: String,
-        val isOverride: Boolean,
-        val pos: Pos
-    )
-
-    private data class ClassInfo(
-        val name: String,
-        val bases: List<String>,
-        val pos: Pos,
-        val members: MutableMap<String, MemberInfo> = LinkedHashMap()
-    )
-
-    private class ScopeNode(
-        val kind: ScopeKind,
-        val pos: Pos,
-        val parent: ScopeNode?,
-        val className: String? = null,
-        val bases: List<String> = emptyList()
-    ) {
-        val decls: LinkedHashMap<String, Decl> = LinkedHashMap()
-        val refs: MutableList<Ref> = ArrayList()
-        val memberRefs: MutableList<Ref> = ArrayList()
-        val reflectRefs: MutableList<ReflectRef> = ArrayList()
-        val captures: LinkedHashMap<String, CaptureInfo> = LinkedHashMap()
-        val children: MutableList<ScopeNode> = ArrayList()
-    }
-
-    private var root: ScopeNode? = null
-    private var current: ScopeNode? = null
-
-    private val symbols = ArrayList<ResolvedSymbol>()
-    private val captures = LinkedHashMap<String, CaptureInfo>()
-    private val errors = ArrayList<ResolutionError>()
-    private val warnings = ArrayList<ResolutionWarning>()
-    private val classes = LinkedHashMap<String, ClassInfo>()
-
-    override fun enterScope(kind: ScopeKind, pos: Pos, className: String?, bases: List<String>) {
-        val parent = current
-        val node = ScopeNode(kind, pos, parent, className, bases)
-        if (root == null) {
-            root = node
-        }
-        parent?.children?.add(node)
-        current = node
-        if (kind == ScopeKind.CLASS && className != null) {
-            classes.getOrPut(className) { ClassInfo(className, bases.toList(), pos) }
-        }
-    }
-
-    override fun exitScope(pos: Pos) {
-        current = current?.parent
-    }
-
-    override fun declareClass(name: String, bases: List<String>, pos: Pos) {
-        val existing = classes[name]
-        if (existing == null) {
-            classes[name] = ClassInfo(name, bases.toList(), pos)
-        } else if (existing.bases.isEmpty() && bases.isNotEmpty()) {
-            classes[name] = existing.copy(bases = bases.toList())
-        }
-    }
-
-    override fun declareSymbol(
-        name: String,
-        kind: SymbolKind,
-        isMutable: Boolean,
-        pos: Pos,
-        isOverride: Boolean
-    ) {
-        val node = current ?: return
-        node.decls[name] = Decl(name, kind, isMutable, pos, isOverride)
-        if (kind == SymbolKind.LOCAL || kind == SymbolKind.PARAM) {
-            val classScope = findNearestClassScope(node)
-            if (classScope != null && classScope.decls.containsKey(name)) {
-                warnings += ResolutionWarning("shadowing member: $name", pos)
-            }
-        }
-        if (kind == SymbolKind.MEMBER) {
-            val classScope = findNearestClassScope(node)
-            val className = classScope?.className
-            if (className != null) {
-                val info = classes.getOrPut(className) { ClassInfo(className, classScope.bases, classScope.pos) }
-                info.members[name] = MemberInfo(name, isOverride, pos)
-            }
-        }
-        symbols += ResolvedSymbol(
-            name = name,
-            origin = originForDecl(node, kind),
-            slotIndex = -1,
-            pos = pos
-        )
-    }
-
-    override fun reference(name: String, pos: Pos) {
-        val node = current ?: return
-        node.refs += Ref(name, pos)
-    }
-
-    override fun referenceMember(name: String, pos: Pos, qualifier: String?) {
-        val node = current ?: return
-        node.memberRefs += Ref(name, pos, qualifier)
-    }
-
-    override fun referenceReflection(name: String, pos: Pos) {
-        val node = current ?: return
-        node.reflectRefs += ReflectRef(name, pos)
-    }
-
-    fun buildReport(): ResolutionReport {
-        root?.let { resolveScope(it) }
-        checkMiConflicts()
-        return ResolutionReport(
-            moduleName = moduleName,
-            symbols = symbols.toList(),
-            captures = captures.values.toList(),
-            errors = errors.toList(),
-            warnings = warnings.toList()
-        )
-    }
-
-    private fun resolveScope(node: ScopeNode) {
-        for (ref in node.refs) {
-            if (ref.name == "this") continue
-            if (ref.name == "scope") continue
-            val resolved = resolveName(node, ref)
-            if (!resolved) {
-                errors += ResolutionError("unresolved name: ${ref.name}", ref.pos)
-            }
-        }
-        for (ref in node.memberRefs) {
-            val resolved = resolveMemberName(node, ref)
-            if (!resolved) {
-                errors += ResolutionError("unresolved member: ${ref.name}", ref.pos)
-            }
-        }
-        for (ref in node.reflectRefs) {
-            val resolved = resolveName(node, Ref(ref.name, ref.pos)) ||
-                resolveMemberName(node, Ref(ref.name, ref.pos))
-            if (!resolved) {
-                errors += ResolutionError("unresolved reflected name: ${ref.name}", ref.pos)
-            }
-        }
-        for (child in node.children) {
-            resolveScope(child)
-        }
-    }
-
-    private fun resolveName(node: ScopeNode, ref: Ref): Boolean {
-        if (ref.name.contains('.')) return true
-        var scope: ScopeNode? = node
-        while (scope != null) {
-            val decl = scope.decls[ref.name]
-            if (decl != null) {
-                if (scope !== node) {
-                    recordCapture(node, decl, scope)
-                }
-                return true
-            }
-            scope = scope.parent
-        }
-        return false
-    }
-
-    private fun recordCapture(owner: ScopeNode, decl: Decl, targetScope: ScopeNode) {
-        if (owner.captures.containsKey(decl.name)) return
-        val origin = when (targetScope.kind) {
-            ScopeKind.MODULE -> SymbolOrigin.MODULE
-            else -> SymbolOrigin.OUTER
-        }
-        val capture = CaptureInfo(
-            name = decl.name,
-            origin = origin,
-            slotIndex = -1,
-            isMutable = decl.isMutable,
-            pos = decl.pos
-        )
-        owner.captures[decl.name] = capture
-        captures[decl.name] = capture
-    }
-
-    private fun resolveMemberName(node: ScopeNode, ref: Ref): Boolean {
-        val classScope = findNearestClassScope(node) ?: return false
-        val className = classScope.className ?: return false
-        val qualifier = ref.qualifier
-        return if (qualifier != null) {
-            resolveQualifiedMember(className, qualifier, ref.name, ref.pos)
-        } else {
-            resolveMemberInClass(className, ref.name, ref.pos)
-        }
-    }
-
-    private fun findNearestClassScope(node: ScopeNode): ScopeNode? {
-        var scope: ScopeNode? = node
-        while (scope != null) {
-            if (scope.kind == ScopeKind.CLASS) return scope
-            scope = scope.parent
-        }
-        return null
-    }
-
-    private fun originForDecl(scope: ScopeNode, kind: SymbolKind): SymbolOrigin {
-        return when (kind) {
-            SymbolKind.PARAM -> SymbolOrigin.PARAM
-            SymbolKind.MEMBER -> SymbolOrigin.MEMBER
-            else -> when (scope.kind) {
-                ScopeKind.MODULE -> SymbolOrigin.MODULE
-                ScopeKind.CLASS -> SymbolOrigin.MEMBER
-                else -> SymbolOrigin.LOCAL
-            }
-        }
-    }
-
-    private fun resolveMemberInClass(className: String, member: String, pos: Pos): Boolean {
-        val info = classes[className] ?: return false
-        val currentMember = info.members[member]
-        val definers = findDefiningClasses(className, member)
-        if (currentMember != null) {
-            if (definers.size > 1 && !currentMember.isOverride) {
-                errors += ResolutionError("override required for $member in $className", pos)
-            }
-            return true
-        }
-        if (definers.size > 1) {
-            errors += ResolutionError("ambiguous member '$member' in $className", pos)
-            return true
-        }
-        return definers.isNotEmpty()
-    }
-
-    private fun resolveQualifiedMember(className: String, qualifier: String, member: String, pos: Pos): Boolean {
-        val mro = linearize(className)
-        val idx = mro.indexOf(qualifier)
-        if (idx < 0) return false
-        for (name in mro.drop(idx)) {
-            val info = classes[name]
-            if (info?.members?.containsKey(member) == true) return true
-        }
-        errors += ResolutionError("member '$member' not found in $qualifier", pos)
-        return true
-    }
-
-    private fun findDefiningClasses(className: String, member: String): List<String> {
-        val parents = linearize(className).drop(1)
-        val raw = parents.filter { classes[it]?.members?.containsKey(member) == true }
-        if (raw.size <= 1) return raw
-        val filtered = raw.toMutableList()
-        val iterator = raw.iterator()
-        while (iterator.hasNext()) {
-            val candidate = iterator.next()
-            for (other in raw) {
-                if (candidate == other) continue
-                if (linearize(other).contains(candidate)) {
-                    filtered.remove(candidate)
-                    break
-                }
-            }
-        }
-        return filtered
-    }
-
-    private fun linearize(className: String, visited: MutableMap<String, List<String>> = mutableMapOf()): List<String> {
-        visited[className]?.let { return it }
-        val info = classes[className]
-        val parents = info?.bases ?: emptyList()
-        if (parents.isEmpty()) {
-            val single = listOf(className)
-            visited[className] = single
-            return single
-        }
-        val parentLinearizations = parents.map { linearize(it, visited).toMutableList() }
-        val merge = mutableListOf<MutableList<String>>()
-        merge.addAll(parentLinearizations)
-        merge.add(parents.toMutableList())
-        val merged = c3Merge(merge)
-        val result = listOf(className) + merged
-        visited[className] = result
-        return result
-    }
-
-    private fun c3Merge(seqs: MutableList<MutableList<String>>): List<String> {
-        val result = mutableListOf<String>()
-        while (seqs.isNotEmpty()) {
-            seqs.removeAll { it.isEmpty() }
-            if (seqs.isEmpty()) break
-            var candidate: String? = null
-            outer@ for (seq in seqs) {
-                val head = seq.first()
-                var inTail = false
-                for (other in seqs) {
-                    if (other === seq || other.size <= 1) continue
-                    if (other.drop(1).contains(head)) {
-                        inTail = true
-                        break
-                    }
-                }
-                if (!inTail) {
-                    candidate = head
-                    break@outer
-                }
-            }
-            val picked = candidate ?: run {
-                errors += ResolutionError("C3 MRO failed for $moduleName", Pos.builtIn)
-                return result
-            }
-            result += picked
-            for (seq in seqs) {
-                if (seq.isNotEmpty() && seq.first() == picked) {
-                    seq.removeAt(0)
-                }
-            }
-        }
-        return result
-    }
-
-    private fun checkMiConflicts() {
-        for (info in classes.values) {
-            val baseNames = linearize(info.name).drop(1)
-            if (baseNames.isEmpty()) continue
-            val baseMemberNames = linkedSetOf<String>()
-            for (base in baseNames) {
-                classes[base]?.members?.keys?.let { baseMemberNames.addAll(it) }
-            }
-            for (member in baseMemberNames) {
-                val definers = findDefiningClasses(info.name, member)
-                if (definers.size <= 1) continue
-                val current = info.members[member]
-                if (current == null || !current.isOverride) {
-                    errors += ResolutionError("ambiguous member '$member' in ${info.name}", info.pos)
-                }
-            }
-        }
-    }
-}

lynglib/src/commonMain/kotlin/net/sergeych/lyng/resolution/ResolutionSink.kt

@@ -1,52 +0,0 @@
-/*
- * Copyright 2026 Sergey S. Chernov
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- *
- */
-
-package net.sergeych.lyng.resolution
-
-import net.sergeych.lyng.Pos
-
-enum class ScopeKind {
-    MODULE,
-    FUNCTION,
-    BLOCK,
-    CLASS
-}
-
-enum class SymbolKind {
-    LOCAL,
-    PARAM,
-    FUNCTION,
-    CLASS,
-    ENUM,
-    MEMBER
-}
-
-interface ResolutionSink {
-    fun enterScope(kind: ScopeKind, pos: Pos, className: String? = null, bases: List<String> = emptyList()) {}
-    fun exitScope(pos: Pos) {}
-    fun declareClass(name: String, bases: List<String>, pos: Pos) {}
-    fun declareSymbol(
-        name: String,
-        kind: SymbolKind,
-        isMutable: Boolean,
-        pos: Pos,
-        isOverride: Boolean = false
-    ) {}
-    fun reference(name: String, pos: Pos) {}
-    fun referenceMember(name: String, pos: Pos, qualifier: String? = null) {}
-    fun referenceReflection(name: String, pos: Pos) {}
-}

lynglib/src/commonTest/kotlin/BindingHighlightTest.kt

@@ -27,7 +27,6 @@ import kotlin.test.assertEquals
 import kotlin.test.assertNotNull
 import kotlin.test.assertTrue
 
-@Ignore
 class BindingHighlightTest {
 
     private suspend fun compileWithMini(code: String): Pair<Script, MiniAstBuilder> {

lynglib/src/commonTest/kotlin/BindingTest.kt

@@ -29,7 +29,6 @@ import kotlin.test.assertEquals
 import kotlin.test.assertNotNull
 import kotlin.test.assertTrue
 
-@Ignore
 class BindingTest {
 
     private suspend fun bind(code: String): net.sergeych.lyng.binding.BindingSnapshot {

lynglib/src/commonTest/kotlin/BitwiseTest.kt

@@ -18,6 +18,7 @@
 import kotlinx.coroutines.test.runTest
 import net.sergeych.lyng.eval
 import net.sergeych.lyng.obj.ObjInt
+import kotlin.test.Ignore
 import kotlin.test.Test
 import kotlin.test.assertEquals
 import kotlin.test.assertFails

lynglib/src/commonTest/kotlin/BytecodeRecentOpsTest.kt

@@ -1,9 +1,7 @@
 import kotlinx.coroutines.test.runTest
 import net.sergeych.lyng.eval
 import kotlin.test.Test
-import kotlin.test.Ignore
 
-@Ignore
 class BytecodeRecentOpsTest {
 
     @Test

lynglib/src/commonTest/kotlin/CmdVmTest.kt

@@ -0,0 +1,440 @@
+/*
+ * Copyright 2026 Sergey S. Chernov
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+import net.sergeych.lyng.ExpressionStatement
+import net.sergeych.lyng.IfStatement
+import net.sergeych.lyng.Pos
+import net.sergeych.lyng.Scope
+import net.sergeych.lyng.Statement
+import net.sergeych.lyng.bytecode.CmdBuilder
+import net.sergeych.lyng.bytecode.BytecodeCompiler
+import net.sergeych.lyng.bytecode.BytecodeConst
+import net.sergeych.lyng.bytecode.CmdVm
+import net.sergeych.lyng.bytecode.Opcode
+import net.sergeych.lyng.obj.BinaryOpRef
+import net.sergeych.lyng.obj.BinOp
+import net.sergeych.lyng.obj.CallRef
+import net.sergeych.lyng.obj.ConstRef
+import net.sergeych.lyng.obj.LocalSlotRef
+import net.sergeych.lyng.obj.ObjFalse
+import net.sergeych.lyng.obj.ObjInt
+import net.sergeych.lyng.obj.ObjTrue
+import net.sergeych.lyng.obj.ObjReal
+import net.sergeych.lyng.obj.ObjString
+import net.sergeych.lyng.obj.ObjList
+import net.sergeych.lyng.obj.AssignRef
+import net.sergeych.lyng.obj.ValueFnRef
+import net.sergeych.lyng.obj.ObjVoid
+import net.sergeych.lyng.obj.toBool
+import net.sergeych.lyng.obj.toDouble
+import net.sergeych.lyng.obj.toInt
+import net.sergeych.lyng.obj.toLong
+import kotlin.test.Ignore
+import kotlin.test.Test
+import kotlin.test.assertEquals
+
+class CmdVmTest {
+    @Test
+    fun addsIntConstants() = kotlinx.coroutines.test.runTest {
+        val builder = CmdBuilder()
+        val k0 = builder.addConst(BytecodeConst.IntVal(2))
+        val k1 = builder.addConst(BytecodeConst.IntVal(3))
+        builder.emit(Opcode.CONST_INT, k0, 0)
+        builder.emit(Opcode.CONST_INT, k1, 1)
+        builder.emit(Opcode.ADD_INT, 0, 1, 2)
+        builder.emit(Opcode.RET, 2)
+        val fn = builder.build("addInts", localCount = 3)
+        val result = CmdVm().execute(fn, Scope(), emptyList())
+        assertEquals(5, result.toInt())
+    }
+
+    @Test
+    fun ifExpressionReturnsThenValue() = kotlinx.coroutines.test.runTest {
+        val cond = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.LT,
+                ConstRef(ObjInt.of(2).asReadonly),
+                ConstRef(ObjInt.of(3).asReadonly),
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val thenStmt = ExpressionStatement(
+            ConstRef(ObjInt.of(10).asReadonly),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val elseStmt = ExpressionStatement(
+            ConstRef(ObjInt.of(20).asReadonly),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val ifStmt = IfStatement(cond, thenStmt, elseStmt, net.sergeych.lyng.Pos.builtIn)
+        val fn = BytecodeCompiler().compileStatement("ifTest", ifStmt) ?: error("bytecode compile failed")
+        val result = CmdVm().execute(fn, Scope(), emptyList())
+        assertEquals(10, result.toInt())
+    }
+
+    @Test
+    fun ifWithoutElseReturnsVoid() = kotlinx.coroutines.test.runTest {
+        val cond = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.LT,
+                ConstRef(ObjInt.of(2).asReadonly),
+                ConstRef(ObjInt.of(1).asReadonly),
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val thenStmt = ExpressionStatement(
+            ConstRef(ObjInt.of(10).asReadonly),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val ifStmt = IfStatement(cond, thenStmt, null, net.sergeych.lyng.Pos.builtIn)
+        val fn = BytecodeCompiler().compileStatement("ifNoElse", ifStmt).also {
+            if (it == null) {
+                error("bytecode compile failed for ifNoElse")
+            }
+        }!!
+        val result = CmdVm().execute(fn, Scope(), emptyList())
+        assertEquals(ObjVoid, result)
+    }
+
+    @Test
+    fun andIsShortCircuit() = kotlinx.coroutines.test.runTest {
+        val throwingRef = ValueFnRef { error("should not execute") }
+        val expr = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.AND,
+                ConstRef(ObjFalse.asReadonly),
+                throwingRef
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val fn = BytecodeCompiler().compileExpression("andShort", expr) ?: error("bytecode compile failed")
+        val result = CmdVm().execute(fn, Scope(), emptyList())
+        assertEquals(false, result.toBool())
+    }
+
+    @Test
+    fun orIsShortCircuit() = kotlinx.coroutines.test.runTest {
+        val throwingRef = ValueFnRef { error("should not execute") }
+        val expr = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.OR,
+                ConstRef(ObjTrue.asReadonly),
+                throwingRef
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val fn = BytecodeCompiler().compileExpression("orShort", expr) ?: error("bytecode compile failed")
+        val result = CmdVm().execute(fn, Scope(), emptyList())
+        assertEquals(true, result.toBool())
+    }
+
+    @Test
+    fun realArithmeticUsesBytecodeOps() = kotlinx.coroutines.test.runTest {
+        val expr = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.PLUS,
+                ConstRef(ObjReal.of(2.5).asReadonly),
+                ConstRef(ObjReal.of(3.25).asReadonly),
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val fn = BytecodeCompiler().compileExpression("realPlus", expr) ?: error("bytecode compile failed")
+        val result = CmdVm().execute(fn, Scope(), emptyList())
+        assertEquals(5.75, result.toDouble())
+    }
+
+    @Test
+    fun callSlotInvokesCallable() = kotlinx.coroutines.test.runTest {
+        val callable = object : Statement() {
+            override val pos: Pos = Pos.builtIn
+            override suspend fun execute(scope: Scope) = ObjInt.of(
+                scope.args[0].toLong() + scope.args[1].toLong()
+            )
+        }
+        val builder = CmdBuilder()
+        val fnId = builder.addConst(BytecodeConst.ObjRef(callable))
+        val arg0 = builder.addConst(BytecodeConst.IntVal(2L))
+        val arg1 = builder.addConst(BytecodeConst.IntVal(3L))
+        builder.emit(Opcode.CONST_OBJ, fnId, 0)
+        builder.emit(Opcode.CONST_INT, arg0, 1)
+        builder.emit(Opcode.CONST_INT, arg1, 2)
+        builder.emit(Opcode.CALL_SLOT, 0, 1, 2, 3)
+        builder.emit(Opcode.RET, 3)
+        val fn = builder.build("callSlot", localCount = 4)
+        val result = CmdVm().execute(fn, Scope(), emptyList())
+        assertEquals(5, result.toInt())
+    }
+
+    @Test
+    fun mixedIntRealComparisonUsesBytecodeOps() = kotlinx.coroutines.test.runTest {
+        val ltExpr = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.LT,
+                ConstRef(ObjInt.of(2).asReadonly),
+                ConstRef(ObjReal.of(2.5).asReadonly),
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val ltFn = BytecodeCompiler().compileExpression("mixedLt", ltExpr) ?: error("bytecode compile failed")
+        val ltResult = CmdVm().execute(ltFn, Scope(), emptyList())
+        assertEquals(true, ltResult.toBool())
+
+        val eqExpr = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.EQ,
+                ConstRef(ObjReal.of(4.0).asReadonly),
+                ConstRef(ObjInt.of(4).asReadonly),
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val eqFn = BytecodeCompiler().compileExpression("mixedEq", eqExpr) ?: error("bytecode compile failed")
+        val eqResult = CmdVm().execute(eqFn, Scope(), emptyList())
+        assertEquals(true, eqResult.toBool())
+    }
+
+    @Test
+    fun callWithTailBlockKeepsTailBlockMode() = kotlinx.coroutines.test.runTest {
+        val callable = object : Statement() {
+            override val pos: Pos = Pos.builtIn
+            override suspend fun execute(scope: Scope) =
+                if (scope.args.tailBlockMode) ObjTrue else ObjFalse
+        }
+        val callRef = CallRef(
+            ConstRef(callable.asReadonly),
+            listOf(
+                net.sergeych.lyng.ParsedArgument(
+                    ExpressionStatement(ConstRef(ObjInt.of(1).asReadonly), Pos.builtIn),
+                    Pos.builtIn
+                )
+            ),
+            tailBlock = true,
+            isOptionalInvoke = false
+        )
+        val expr = ExpressionStatement(callRef, Pos.builtIn)
+        val fn = BytecodeCompiler().compileExpression("tailBlockArgs", expr) ?: error("bytecode compile failed")
+        val result = CmdVm().execute(fn, Scope(), emptyList())
+        assertEquals(true, result.toBool())
+    }
+
+    @Test
+    fun callWithNamedArgumentsUsesPlan() = kotlinx.coroutines.test.runTest {
+        val callable = object : Statement() {
+            override val pos: Pos = Pos.builtIn
+            override suspend fun execute(scope: Scope) =
+                (scope.args.named["x"] as ObjInt)
+        }
+        val callRef = CallRef(
+            ConstRef(callable.asReadonly),
+            listOf(
+                net.sergeych.lyng.ParsedArgument(
+                    ExpressionStatement(ConstRef(ObjInt.of(5).asReadonly), Pos.builtIn),
+                    Pos.builtIn,
+                    name = "x"
+                )
+            ),
+            tailBlock = false,
+            isOptionalInvoke = false
+        )
+        val expr = ExpressionStatement(callRef, Pos.builtIn)
+        val fn = BytecodeCompiler().compileExpression("namedArgs", expr) ?: error("bytecode compile failed")
+        val result = CmdVm().execute(fn, Scope(), emptyList())
+        assertEquals(5, result.toInt())
+    }
+
+    @Test
+    fun callWithSplatArgumentsUsesPlan() = kotlinx.coroutines.test.runTest {
+        val callable = object : Statement() {
+            override val pos: Pos = Pos.builtIn
+            override suspend fun execute(scope: Scope) =
+                ObjInt.of(scope.args.size.toLong())
+        }
+        val list = ObjList(mutableListOf<net.sergeych.lyng.obj.Obj>(ObjInt.of(1), ObjInt.of(2), ObjInt.of(3)))
+        val callRef = CallRef(
+            ConstRef(callable.asReadonly),
+            listOf(
+                net.sergeych.lyng.ParsedArgument(
+                    ExpressionStatement(ConstRef(list.asReadonly), Pos.builtIn),
+                    Pos.builtIn,
+                    isSplat = true
+                )
+            ),
+            tailBlock = false,
+            isOptionalInvoke = false
+        )
+        val expr = ExpressionStatement(callRef, Pos.builtIn)
+        val fn = BytecodeCompiler().compileExpression("splatArgs", expr) ?: error("bytecode compile failed")
+        val result = CmdVm().execute(fn, Scope(), emptyList())
+        assertEquals(3, result.toInt())
+    }
+
+    @Test
+    fun mixedIntRealArithmeticUsesBytecodeOps() = kotlinx.coroutines.test.runTest {
+        val expr = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.PLUS,
+                ConstRef(ObjInt.of(2).asReadonly),
+                ConstRef(ObjReal.of(3.5).asReadonly),
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val fn = BytecodeCompiler().compileExpression("mixedPlus", expr) ?: error("bytecode compile failed")
+        val result = CmdVm().execute(fn, Scope(), emptyList())
+        assertEquals(5.5, result.toDouble())
+    }
+
+    @Test
+    fun mixedIntRealNotEqualUsesBytecodeOps() = kotlinx.coroutines.test.runTest {
+        val expr = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.NEQ,
+                ConstRef(ObjInt.of(3).asReadonly),
+                ConstRef(ObjReal.of(2.5).asReadonly),
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val fn = BytecodeCompiler().compileExpression("mixedNeq", expr) ?: error("bytecode compile failed")
+        val result = CmdVm().execute(fn, Scope(), emptyList())
+        assertEquals(true, result.toBool())
+    }
+
+    @Test
+    fun localSlotTypeTrackingEnablesArithmetic() = kotlinx.coroutines.test.runTest {
+        val slotRef = LocalSlotRef("a", 0, 0, 0, true, false, net.sergeych.lyng.Pos.builtIn)
+        val assign = AssignRef(
+            slotRef,
+            ConstRef(ObjInt.of(2).asReadonly),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val expr = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.PLUS,
+                assign,
+                slotRef
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val fn = BytecodeCompiler().compileExpression("localSlotAdd", expr) ?: error("bytecode compile failed")
+        val scope = Scope().apply { applySlotPlan(mapOf("a" to 0)) }
+        val result = CmdVm().execute(fn, scope, emptyList())
+        assertEquals(4, result.toInt())
+    }
+
+    @Test
+    fun parentScopeSlotAccessWorks() = kotlinx.coroutines.test.runTest {
+        val parentRef = LocalSlotRef("a", 0, 1, 0, true, false, net.sergeych.lyng.Pos.builtIn)
+        val expr = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.PLUS,
+                parentRef,
+                ConstRef(ObjInt.of(2).asReadonly)
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val fn = BytecodeCompiler().compileExpression("parentSlotAdd", expr) ?: error("bytecode compile failed")
+        val parent = Scope().apply {
+            applySlotPlan(mapOf("a" to 0))
+            setSlotValue(0, ObjInt.of(3))
+        }
+        val child = Scope(parent)
+        val result = CmdVm().execute(fn, child, emptyList())
+        assertEquals(5, result.toInt())
+    }
+
+    @Test
+    fun objectEqualityUsesBytecodeOps() = kotlinx.coroutines.test.runTest {
+        val expr = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.EQ,
+                ConstRef(ObjString("abc").asReadonly),
+                ConstRef(ObjString("abc").asReadonly),
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val fn = BytecodeCompiler().compileExpression("objEq", expr) ?: error("bytecode compile failed")
+        val result = CmdVm().execute(fn, Scope(), emptyList())
+        assertEquals(true, result.toBool())
+    }
+
+    @Test
+    fun objectReferenceEqualityUsesBytecodeOps() = kotlinx.coroutines.test.runTest {
+        val shared = ObjList()
+        val eqExpr = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.REF_EQ,
+                ConstRef(shared.asReadonly),
+                ConstRef(shared.asReadonly),
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val eqFn = BytecodeCompiler().compileExpression("objRefEq", eqExpr) ?: error("bytecode compile failed")
+        val eqResult = CmdVm().execute(eqFn, Scope(), emptyList())
+        assertEquals(true, eqResult.toBool())
+
+        val neqExpr = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.REF_NEQ,
+                ConstRef(ObjList().asReadonly),
+                ConstRef(ObjList().asReadonly),
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val neqFn = BytecodeCompiler().compileExpression("objRefNeq", neqExpr) ?: error("bytecode compile failed")
+        val neqResult = CmdVm().execute(neqFn, Scope(), emptyList())
+        assertEquals(true, neqResult.toBool())
+    }
+
+    @Test
+    fun objectComparisonUsesBytecodeOps() = kotlinx.coroutines.test.runTest {
+        val ltExpr = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.LT,
+                ConstRef(ObjString("a").asReadonly),
+                ConstRef(ObjString("b").asReadonly),
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val ltFn = BytecodeCompiler().compileExpression("objLt", ltExpr) ?: error("bytecode compile failed")
+        val ltResult = CmdVm().execute(ltFn, Scope(), emptyList())
+        assertEquals(true, ltResult.toBool())
+
+        val gteExpr = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.GTE,
+                ConstRef(ObjString("b").asReadonly),
+                ConstRef(ObjString("a").asReadonly),
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val gteFn = BytecodeCompiler().compileExpression("objGte", gteExpr) ?: error("bytecode compile failed")
+        val gteResult = CmdVm().execute(gteFn, Scope(), emptyList())
+        assertEquals(true, gteResult.toBool())
+    }
+
+    @Test
+    fun objectArithmeticUsesBytecodeOps() = kotlinx.coroutines.test.runTest {
+        val expr = ExpressionStatement(
+            BinaryOpRef(
+                BinOp.PLUS,
+                ConstRef(ObjString("a").asReadonly),
+                ConstRef(ObjString("b").asReadonly),
+            ),
+            net.sergeych.lyng.Pos.builtIn
+        )
+        val fn = BytecodeCompiler().compileExpression("objPlus", expr) ?: error("bytecode compile failed")
+        val result = CmdVm().execute(fn, Scope(), emptyList())
+        assertEquals("ab", (result as ObjString).value)
+    }
+}

lynglib/src/commonTest/kotlin/CompileTimeResolutionDryRunTest.kt

@@ -1,174 +0,0 @@
-/*
- * Copyright 2026 Sergey S. Chernov
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- *
- */
-
-import kotlinx.coroutines.test.runTest
-import net.sergeych.lyng.Compiler
-import net.sergeych.lyng.Script
-import net.sergeych.lyng.Source
-import net.sergeych.lyng.resolution.CompileTimeResolver
-import kotlin.test.Test
-import kotlin.test.assertEquals
-import kotlin.test.assertTrue
-
-class CompileTimeResolutionDryRunTest {
-
-    @Test
-    fun dryRunReturnsMetadataContainer() = runTest {
-        val report = CompileTimeResolver.dryRun(
-            Source("<dry-run>", "val x = 1"),
-            Script.defaultImportManager
-        )
-        assertEquals("<dry-run>", report.moduleName)
-        assertTrue(report.errors.isEmpty())
-    }
-
-    @Test
-    fun compilerDryRunEntryPoint() = runTest {
-        val report = Compiler.dryRun(
-            Source("<dry-run>", "val x = 1"),
-            Script.defaultImportManager
-        )
-        assertEquals("<dry-run>", report.moduleName)
-        assertTrue(report.errors.isEmpty())
-    }
-
-    @Test
-    fun dryRunCollectsModuleSymbols() = runTest {
-        val report = Compiler.dryRun(
-            Source("<dry-run>", "val x = 1\nfun f() { x }\nclass C"),
-            Script.defaultImportManager
-        )
-        val names = report.symbols.map { it.name }.toSet()
-        assertTrue("x" in names)
-        assertTrue("f" in names)
-        assertTrue("C" in names)
-    }
-
-    @Test
-    fun dryRunCollectsObjectSymbols() = runTest {
-        val report = Compiler.dryRun(
-            Source("<dry-run>", "object O { val x = 1 }\nO"),
-            Script.defaultImportManager
-        )
-        val names = report.symbols.map { it.name }.toSet()
-        assertTrue("O" in names)
-    }
-
-    @Test
-    fun dryRunCollectsCtorParams() = runTest {
-        val report = Compiler.dryRun(
-            Source("<dry-run>", "class C(x) { val y = x }"),
-            Script.defaultImportManager
-        )
-        val names = report.symbols.map { it.name }.toSet()
-        assertTrue("x" in names)
-    }
-
-    @Test
-    fun dryRunCollectsMapLiteralShorthandRefs() = runTest {
-        val report = Compiler.dryRun(
-            Source("<dry-run>", "val x = 1\nval m = { x: }\nm"),
-            Script.defaultImportManager
-        )
-        assertTrue(report.errors.isEmpty())
-    }
-
-    @Test
-    fun dryRunCollectsBaseClassRefs() = runTest {
-        val report = Compiler.dryRun(
-            Source("<dry-run>", "class A {}\nclass B : A {}"),
-            Script.defaultImportManager
-        )
-        assertTrue(report.errors.isEmpty())
-    }
-
-    @Test
-    fun dryRunCollectsTypeRefs() = runTest {
-        val report = Compiler.dryRun(
-            Source("<dry-run>", "class A {}\nval x: A = A()"),
-            Script.defaultImportManager
-        )
-        assertTrue(report.errors.isEmpty())
-    }
-
-    @Test
-    fun dryRunAcceptsQualifiedTypeRefs() = runTest {
-        val report = Compiler.dryRun(
-            Source("<dry-run>", "val x: lyng.time.Instant? = null"),
-            Script.defaultImportManager
-        )
-        assertTrue(report.errors.isEmpty())
-    }
-
-    @Test
-    fun dryRunCollectsExtensionReceiverRefs() = runTest {
-        val report = Compiler.dryRun(
-            Source("<dry-run>", "class A {}\nfun A.foo() = 1\nval A.bar get() = 2"),
-            Script.defaultImportManager
-        )
-        assertTrue(report.errors.isEmpty())
-    }
-
-    @Test
-    fun dryRunAcceptsLoopAndCatchLocals() = runTest {
-        val report = Compiler.dryRun(
-            Source(
-                "<dry-run>",
-                """
-                fun f() {
-                    for (i in 0..2) { i }
-                    try { 1 } catch(e: Exception) { e }
-                }
-                """.trimIndent()
-            ),
-            Script.defaultImportManager
-        )
-        assertTrue(report.errors.isEmpty())
-    }
-
-    @Test
-    fun dryRunCollectsCaptures() = runTest {
-        val report = Compiler.dryRun(
-            Source("<dry-run>", "val x = 1\nval f = { x }\nf()"),
-            Script.defaultImportManager
-        )
-        val captureNames = report.captures.map { it.name }.toSet()
-        assertTrue("x" in captureNames)
-    }
-
-    @Test
-    fun dryRunAcceptsScopeReflectionHelpers() = runTest {
-        val report = Compiler.dryRun(
-            Source(
-                "<dry-run>",
-                """
-                fun f() {
-                    var x = 1
-                    scope.get("x")
-                    scope.set("x", 2)
-                    scope.locals()
-                    scope.captures()
-                    scope.members()
-                }
-                f()
-                """.trimIndent()
-            ),
-            Script.defaultImportManager
-        )
-        assertTrue(report.errors.isEmpty())
-    }
-}

lynglib/src/commonTest/kotlin/CompileTimeResolutionRuntimeTest.kt

@@ -1,94 +0,0 @@
-/*
- * Copyright 2026 Sergey S. Chernov
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- *
- */
-
-import kotlinx.coroutines.test.runTest
-import net.sergeych.lyng.Compiler
-import net.sergeych.lyng.Script
-import net.sergeych.lyng.Source
-import net.sergeych.lyng.obj.toInt
-import kotlin.test.Test
-import kotlin.test.assertEquals
-
-class CompileTimeResolutionRuntimeTest {
-
-    @Test
-    fun strictSlotRefsAllowCapturedLocals() = runTest {
-        val code = """
-            fun outer() {
-                var x = 1
-                fun inner() { x = 3; x }
-                inner()
-            }
-            outer()
-        """.trimIndent()
-        val script = Compiler.compileWithResolution(
-            Source("<strict-slot>", code),
-            Script.defaultImportManager,
-            useBytecodeStatements = false,
-            strictSlotRefs = true
-        )
-        val result = script.execute(Script.defaultImportManager.newStdScope())
-        assertEquals(3, result.toInt())
-    }
-
-    @Test
-    fun bytecodeRespectsShadowingInNestedBlock() = runTest {
-        val code = """
-            fun outer() {
-                var x = 1
-                val y = {
-                    var x = 10
-                    x + 1
-                }
-                y() + x
-            }
-            outer()
-        """.trimIndent()
-        val script = Compiler.compileWithResolution(
-            Source("<shadow-slot>", code),
-            Script.defaultImportManager,
-            useBytecodeStatements = true,
-            strictSlotRefs = true
-        )
-        val result = script.execute(Script.defaultImportManager.newStdScope())
-        assertEquals(12, result.toInt())
-    }
-
-    @Test
-    fun bytecodeRespectsShadowingInBlockStatement() = runTest {
-        val code = """
-            fun outer() {
-                var x = 1
-                var y = 0
-                if (true) {
-                    var x = 10
-                    y = x + 1
-                }
-                y + x
-            }
-            outer()
-        """.trimIndent()
-        val script = Compiler.compileWithResolution(
-            Source("<shadow-block>", code),
-            Script.defaultImportManager,
-            useBytecodeStatements = true,
-            strictSlotRefs = true
-        )
-        val result = script.execute(Script.defaultImportManager.newStdScope())
-        assertEquals(12, result.toInt(), "result=${result.toInt()}")
-    }
-}

lynglib/src/commonTest/kotlin/CompileTimeResolutionSpecTest.kt

@@ -1,192 +0,0 @@
-/*
- * Copyright 2026 Sergey S. Chernov real.sergeych@gmail.com
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- *
- */
-
-import kotlinx.coroutines.test.runTest
-import net.sergeych.lyng.Compiler
-import net.sergeych.lyng.Script
-import net.sergeych.lyng.Source
-import net.sergeych.lyng.resolution.SymbolOrigin
-import kotlin.test.Ignore
-import kotlin.test.Test
-import kotlin.test.assertEquals
-import kotlin.test.assertTrue
-
-class CompileTimeResolutionSpecTest {
-
-    private suspend fun dryRun(code: String) =
-        Compiler.dryRun(Source("<dry-run>", code.trimIndent()), Script.defaultImportManager)
-
-    @Test
-    fun resolvesLocalsBeforeMembers() = runTest {
-        val report = dryRun(
-            """
-            class C {
-                val x = 1
-                fun f() { val x = 2; x }
-            }
-            """
-        )
-        assertTrue(report.errors.isEmpty())
-        assertTrue(report.warnings.any { it.message.contains("shadowing member: x") })
-    }
-
-    @Test
-    fun capturesOuterLocalsDeterministically() = runTest {
-        val report = dryRun(
-            """
-            var g = 1
-            fun f() {
-                var g = 2
-                val h = { g }
-                h()
-            }
-            """
-        )
-        assertTrue(report.errors.isEmpty())
-        assertTrue(report.captures.any { it.name == "g" && it.origin == SymbolOrigin.OUTER })
-    }
-
-    @Test
-    fun capturesModuleGlobalsAsOuterScope() = runTest {
-        val report = dryRun(
-            """
-            val G = 10
-            fun f(x=0) = x + G
-            """
-        )
-        assertTrue(report.errors.isEmpty())
-        assertTrue(report.captures.any { it.name == "G" && it.origin == SymbolOrigin.MODULE })
-    }
-
-    @Test
-    fun unresolvedNameIsCompileError() = runTest {
-        val report = dryRun(
-            """
-            fun f() { missingName }
-            f()
-            """
-        )
-        assertTrue(report.errors.any { it.message.contains("missingName") })
-    }
-
-    @Test
-    fun miAmbiguityIsCompileError() = runTest {
-        val report = dryRun(
-            """
-            class A { fun foo() = 1 }
-            class B { fun foo() = 2 }
-            class C : A, B { }
-            C().foo()
-            """
-        )
-        assertTrue(report.errors.isNotEmpty())
-    }
-
-    @Test
-    fun miOverrideResolvesConflict() = runTest {
-        val report = dryRun(
-            """
-            class A { fun foo() = 1 }
-            class B { fun foo() = 2 }
-            class C : A, B {
-                override fun foo() = 3
-            }
-            C().foo()
-            """
-        )
-        assertTrue(report.errors.isEmpty())
-    }
-
-    @Test
-    fun qualifiedThisMemberAccess() = runTest {
-        val report = dryRun(
-            """
-            class A { fun foo() = 1 }
-            class B { fun foo() = 2 }
-            class C : A, B {
-                override fun foo() = 3
-                fun aFoo() = this@A.foo()
-                fun bFoo() = this@B.foo()
-            }
-            val c = C()
-            c.aFoo()
-            c.bFoo()
-            """
-        )
-        assertTrue(report.errors.isEmpty())
-    }
-
-    @Test
-    fun reflectionIsExplicitOnly() = runTest {
-        val report = dryRun(
-            """
-            fun f() {
-                val x = 1
-                scope.get("x")
-            }
-            f()
-            """
-        )
-        assertTrue(report.errors.isEmpty())
-    }
-
-    @Test
-    fun memberShadowingAllowedWithWarning() = runTest {
-        val report = dryRun(
-            """
-            class C {
-                val x = 1
-                fun f() { val x = 2; x }
-            }
-            """
-        )
-        assertTrue(report.errors.isEmpty())
-        assertTrue(report.warnings.any { it.message.contains("shadowing member: x") })
-    }
-
-    @Test
-    fun parameterShadowingAllowed() = runTest {
-        val report = dryRun(
-            """
-            fun f(a=0) {
-                var a = a * 10
-                a
-            }
-            """
-        )
-        assertTrue(report.errors.isEmpty())
-    }
-
-    @Test
-    fun shadowingCaptureIsAllowed() = runTest {
-        val report = dryRun(
-            """
-            fun outer() {
-                var x = 1
-                fun inner() {
-                    val x = 2
-                    val c = { x }
-                    c()
-                }
-                inner()
-            }
-            """
-        )
-        assertTrue(report.errors.isEmpty())
-        assertTrue(report.captures.any { it.name == "x" && it.origin == SymbolOrigin.OUTER })
-    }
-}

lynglib/src/commonTest/kotlin/CoroutinesTest.kt

@@ -20,7 +20,7 @@ import net.sergeych.lyng.eval
 import kotlin.test.Ignore
 import kotlin.test.Test
 
-@Ignore
+@Ignore("TODO(bytecode-only): uses fallback (coroutines)")
 class TestCoroutines {
 
     @Test

lynglib/src/commonTest/kotlin/EmbeddingExceptionTest.kt

@@ -27,7 +27,7 @@ import kotlin.test.assertEquals
 import kotlin.test.assertIs
 import kotlin.test.assertTrue
 
-@Ignore
+@Ignore("TODO(bytecode-only): exception rethrow mismatch")
 class EmbeddingExceptionTest {
 
     @Test

lynglib/src/commonTest/kotlin/IfNullAssignTest.kt

@@ -2,9 +2,7 @@
 import kotlinx.coroutines.test.runTest
 import net.sergeych.lyng.eval
 import kotlin.test.Test
-import kotlin.test.Ignore
 
-@Ignore
 class IfNullAssignTest {
 
     @Test

lynglib/src/commonTest/kotlin/MIC3MroTest.kt

@@ -24,7 +24,7 @@ import net.sergeych.lyng.eval
 import kotlin.test.Ignore
 import kotlin.test.Test
 
-@Ignore
+@Ignore("TODO(bytecode-only): uses fallback (C3 MRO)")
 class MIC3MroTest {
 
     @Test

lynglib/src/commonTest/kotlin/MIDiagnosticsTest.kt

@@ -26,7 +26,6 @@ import kotlin.test.Test
 import kotlin.test.assertFails
 import kotlin.test.assertTrue
 
-@Ignore
 class MIDiagnosticsTest {
 
     @Test
@@ -87,7 +86,7 @@ class MIDiagnosticsTest {
     }
 
     @Test
-    @Ignore
+    @Ignore("TODO(bytecode-only): cast message mismatch")
     fun castFailureMentionsActualAndTargetTypes() = runTest {
         val ex = assertFails {
             eval(

lynglib/src/commonTest/kotlin/MIQualifiedDispatchTest.kt

@@ -20,7 +20,7 @@ import net.sergeych.lyng.eval
 import kotlin.test.Ignore
 import kotlin.test.Test
 
-@Ignore
+@Ignore("TODO(bytecode-only): uses fallback (qualified MI)")
 class MIQualifiedDispatchTest {
 
     @Test

lynglib/src/commonTest/kotlin/MIVisibilityTest.kt

@@ -19,9 +19,7 @@ import kotlinx.coroutines.test.runTest
 import net.sergeych.lyng.eval
 import kotlin.test.Test
 import kotlin.test.assertFails
-import kotlin.test.Ignore
 
-@Ignore
 class MIVisibilityTest {
 
     @Test

lynglib/src/commonTest/kotlin/MapLiteralTest.kt

@@ -28,7 +28,6 @@ import kotlin.test.Test
 import kotlin.test.assertEquals
 import kotlin.test.assertFailsWith
 
-@Ignore
 class MapLiteralTest {
 
     @Test

lynglib/src/commonTest/kotlin/MiniAstTest.kt

@@ -29,7 +29,6 @@ import kotlin.test.assertEquals
 import kotlin.test.assertNotNull
 import kotlin.test.assertTrue
 
-@Ignore
 class MiniAstTest {
 
     private suspend fun compileWithMini(code: String): Pair<Script, net.sergeych.lyng.miniast.MiniAstBuilder> {

lynglib/src/commonTest/kotlin/NamedArgsTest.kt

@@ -26,7 +26,6 @@ import kotlin.test.Ignore
 import kotlin.test.Test
 import kotlin.test.assertFailsWith
 
-@Ignore
 class NamedArgsTest {
 
     @Test

lynglib/src/commonTest/kotlin/NestedRangeBenchmarkTest.kt

@@ -27,9 +27,7 @@ import net.sergeych.lyng.obj.ObjInt
 import kotlin.time.TimeSource
 import kotlin.test.Test
 import kotlin.test.assertEquals
-import kotlin.test.Ignore
 
-@Ignore
 class NestedRangeBenchmarkTest {
     @Test
     fun benchmarkHappyNumbersNestedRanges() = runTest {
@@ -85,7 +83,7 @@ class NestedRangeBenchmarkTest {
             val fn = current.bytecodeFunction()
             val slots = fn.scopeSlotNames.mapIndexed { idx, name ->
                 val slotName = name ?: "s$idx"
-                "$slotName@${fn.scopeSlotIndices[idx]}"
+                "$slotName@${fn.scopeSlotDepths[idx]}:${fn.scopeSlotIndices[idx]}"
             }
             println("[DEBUG_LOG] [BENCH] nested-happy slots depth=$depth: ${slots.joinToString(", ")}")
             val disasm = CmdDisassembler.disassemble(fn)

lynglib/src/commonTest/kotlin/OOTest.kt

@@ -27,7 +27,7 @@ import kotlin.test.Test
 import kotlin.test.assertEquals
 import kotlin.test.assertFails
 
-@Ignore
+@Ignore("TODO(bytecode-only): uses fallback")
 class OOTest {
     @Test
     fun testClassProps() = runTest {

lynglib/src/commonTest/kotlin/ObjectExpressionTest.kt

@@ -6,7 +6,6 @@ import kotlin.test.Ignore
 import kotlin.test.Test
 import kotlin.test.assertFailsWith
 
-@Ignore
 class ObjectExpressionTest {
 
     @Test

lynglib/src/commonTest/kotlin/ParallelLocalScopeTest.kt

@@ -21,6 +21,7 @@
 
 import kotlinx.coroutines.test.runTest
 import net.sergeych.lyng.eval
+import kotlin.test.Ignore
 import kotlin.test.Test
 
 class ParallelLocalScopeTest {
@@ -31,12 +32,11 @@ class ParallelLocalScopeTest {
         eval(
             """
             class AtomicCounter {
-                private val m: Mutex = Mutex()
+                private val m = Mutex()
                 private var counter = 0
 
                 fun increment() {
-                    val mm: Mutex = m
-                    mm.withLock {
+                    m.withLock {
                         val a = counter
                         delay(1)
                         counter = a + 1

lynglib/src/commonTest/kotlin/ReturnStatementTest.kt

@@ -7,7 +7,6 @@ import kotlin.test.Test
 import kotlin.test.assertEquals
 import kotlin.test.assertFailsWith
 
-@Ignore
 class ReturnStatementTest {
 
     @Test

lynglib/src/commonTest/kotlin/ScopeCycleRegressionTest.kt

@@ -19,10 +19,10 @@ class ScopeCycleRegressionTest {
                     }
                 }
 
-                fun ll(): Whatever { Whatever() }
+                fun ll() { Whatever() }
 
                 fun callTest1() {
-                    val l: Whatever = ll()
+                    val l = ll()
                     l.something()
                     "ok"
                 }

lynglib/src/commonTest/kotlin/ScopePoolingRegressionTest.kt

@@ -18,6 +18,7 @@
 import kotlinx.coroutines.test.runTest
 import net.sergeych.lyng.PerfFlags
 import net.sergeych.lyng.eval
+import kotlin.test.Ignore
 import kotlin.test.Test
 import kotlin.test.assertEquals
 

lynglib/src/commonTest/kotlin/ScriptTest.kt

@@ -37,7 +37,6 @@ import kotlin.test.*
 import kotlin.time.Clock
 import kotlin.time.Duration.Companion.seconds
 import kotlin.time.Instant
-import kotlin.test.Ignore
 
 /*
  * Copyright 2025 Sergey S. Chernov real.sergeych@gmail.com
@@ -55,6 +54,7 @@ import kotlin.test.Ignore
  * limitations under the License.
  *
  */
+@Ignore("TODO(bytecode-only): uses fallback")
 class ScriptTest {
     @Test
     fun testVersion() {
@@ -68,7 +68,7 @@ class ScriptTest {
         val res = scope.eval(
             """
             var counter = 0
-            val d: Deferred = launch {
+            val d = launch {
                 val c = counter
                 delay(1)
                 counter = c + 1
@@ -85,7 +85,7 @@ class ScriptTest {
         val scope = Script.newScope()
         val res = scope.eval(
             """
-            val d: Deferred = launch {
+            val d = launch {
                 delay(1)
                 yield()
             }
@@ -883,7 +883,8 @@ class ScriptTest {
 
     @Test
     fun testWhileBlockIsolation3() = runTest {
-        val code = """
+        eval(
+            """
                 var outer = 7
                 var sum = 0
                 var cnt1 = 0
@@ -902,7 +903,7 @@ class ScriptTest {
                 }
                 println("sum "+sum)
             """.trimIndent()
-        eval(code)
+        )
     }
 
     @Test
@@ -1542,7 +1543,7 @@ class ScriptTest {
             
             val prefix = ":"
             
-            class T(text: String) {
+            class T(text) {
                 fun getText() { 
                     println(text)
                     prefix + text + "!" 
@@ -1569,7 +1570,7 @@ class ScriptTest {
     fun testAppliedScopes() = runTest {
         eval(
             """
-            class T(text: String) {
+            class T(text) {
                 fun getText() { 
                     println(text)
                     text + "!" 
@@ -1584,24 +1585,24 @@ class ScriptTest {
             
             t1.apply { 
                 // it must take "text" from class t1:
-                assertEquals("foo", t1.text)
-                assertEquals( "foo!", t1.getText() ) 
+                assertEquals("foo", text)
+                assertEquals( "foo!", getText() ) 
                 assertEquals( ":foo!!", {
-                    prefix + t1.getText() + "!" 
+                    prefix + getText() + "!" 
                 }()) 
             } 
             t2.apply { 
-                assertEquals("bar", t2.text)
-                assertEquals( "bar!", t2.getText() ) 
+                assertEquals("bar", text)
+                assertEquals( "bar!", getText() ) 
                 assertEquals( ":bar!!", {
-                    prefix + t2.getText() + "!" 
+                    prefix + getText() + "!" 
                 }()) 
             }
             // worst case: names clash
             fun badOne() {
                 val prefix = "&"
                 t1.apply {
-                    assertEquals( "&foo!!", prefix + t1.getText() + "!" ) 
+                    assertEquals( ":foo!!", prefix + getText() + "!" ) 
                 }
             }
             badOne()
@@ -1658,8 +1659,8 @@ class ScriptTest {
     fun testIsPrimeSampleBug() = runTest {
         eval(
             """
-                fun naive_is_prime(candidate: Int) {
-                    val x = candidate
+                fun naive_is_prime(candidate) {
+                    val x = if( candidate !is Int) candidate.toInt() else candidate
                     var divisor = 1
                     println("start with ",x)
                     while( ++divisor < x/2 && divisor != 2 ) {
@@ -2169,12 +2170,12 @@ class ScriptTest {
         eval(
             """
             val x = IllegalArgumentException("test")
-            var caught: Exception? = null
+            var caught = null
             try {
                 throw x
             }
             catch {
-                caught = it as Exception
+                caught = it
             }
             assert( caught is IllegalArgumentException )
         """.trimIndent()
@@ -2191,12 +2192,11 @@ class ScriptTest {
                 null
             }
             catch(e) {
-                val ex = e as Exception
-                println(ex)
-                println(ex::class)
-                println(ex.message)
+                println(e)
+                println(e::class)
+                println(e.message)
                 println("--------------")
-                ex.message    
+                e.message    
             }
             println(m)
             assert( m == "test" )
@@ -2207,20 +2207,24 @@ class ScriptTest {
     @Test
     fun testTryFinally() = runTest {
         val c = Scope()
-        val res = c.eval(
+        assertFails {
+            c.eval(
+                """
+                var resource = "used"
+                try {
+                    throw "test"
+                }
+                finally {
+                    resource = "freed"
+                }
+            """.trimIndent()
+            )
+        }
+        c.eval(
             """
-            var resource = "used"
-            try {
-                throw "test"
-            } catch (e) {
-                // swallow
-            } finally {
-                resource = "freed"
-            }
-            resource
+            assertEquals("freed", resource)
         """.trimIndent()
         )
-        assertEquals("freed", res.toString())
     }
 
     @Test
@@ -2538,15 +2542,19 @@ class ScriptTest {
     fun testNull1() = runTest {
         eval(
             """
-            var s: String? = null
-            assertThrows { s as String }
-            assertThrows { s as String }
+            var s = null
+            assertThrows { s.length }
+            assertThrows { s.size() }
             
-            val s1: String? = s as? String
-            assertEquals( null, s1 )
+            assertEquals( null, s?.size() )
+            assertEquals( null, s?.length )
+            assertEquals( null, s?.length ?{ "test" } )
+            assertEquals( null, s?[1] )
+            assertEquals( null, s ?{ "test" } )
             
             s = "xx"
-            assertEquals("xx", (s as String))
+            assert(s.lower().size == 2)
+            assert(s.length == 2)
         """.trimIndent()
         )
     }
@@ -2598,17 +2606,13 @@ class ScriptTest {
                 assert( list is Collection )
                 
                 val other = []
-                for( x in list ) { other += x }
+                list.forEach { other += it }
                 assertEquals( list, other )
                 
                 assert( list.isEmpty() == false )
                 
-                val mapped = []
-                for( x in list ) { mapped += x * 10 }
-                assertEquals( [10, 20, 30], mapped )
-                val mappedRange = []
-                for( x in 1..3 ) { mappedRange += x * 10 }
-                assertEquals( [10, 20, 30], mappedRange )
+                assertEquals( [10, 20, 30], list.map { it * 10 } )
+                assertEquals( [10, 20, 30], (1..3).map { it * 10 } )
                 
             """.trimIndent()
         )
@@ -2671,7 +2675,7 @@ class ScriptTest {
             class Point(x=0,y=0)
             assert( Point() is Object) 
             Point().let { println(it.x, it.y) }
-            val x: Point? = null
+            val x = null
             x?.let { println(it.x, it.y) }
         """.trimIndent()
         )
@@ -2681,11 +2685,10 @@ class ScriptTest {
     fun testApply() = runTest {
         eval(
             """
-            class Point(x: Int, y: Int)
+            class Point(x,y)
             // see the difference: apply changes this to newly created Point:
-            val p = Point(1,2)
-            p.apply { 
-                p.x++; p.y++ 
+            val p = Point(1,2).apply { 
+                x++; y++ 
             }
             assertEquals(p, Point(2,3))
         """.trimIndent()
@@ -2696,13 +2699,12 @@ class ScriptTest {
     fun testApplyThis() = runTest {
         eval(
             """
-            class Point(x: Int, y: Int)
+            class Point(x,y)
             
             // see the difference: apply changes this to newly created Point:
-            val p = Point(1,2)
-            p.apply { 
-                p.x++ 
-                p.y++ 
+            val p = Point(1,2).apply { 
+                this.x++ 
+                y++ 
             }
             assertEquals(p, Point(2,3))
         """.trimIndent()
@@ -2713,7 +2715,7 @@ class ScriptTest {
     fun testApplyFromStatic() = runTest {
         eval(
             """
-                class Foo(value: String) {
+                class Foo(value) {
                 
                     fun test() {
                         "test: "+value
@@ -2721,17 +2723,15 @@ class ScriptTest {
                     static val instance = Foo("bar")
                 }
                 
-                val inst = Foo.instance
-                inst.apply {
-                    assertEquals("bar", inst.value)
-                    assertEquals("test: bar", inst.test())
+                Foo.instance.apply {
+                    assertEquals("bar", value)
+                    assertEquals("test: bar", test())
                 }
                 
         """.trimIndent()
         )
     }
 
-@Ignore
     class ObjTestFoo(val value: ObjString) : Obj() {
 
         override val objClass: ObjClass = klass
@@ -2749,15 +2749,13 @@ class ScriptTest {
     @Test
     fun TestApplyFromKotlin() = runTest {
         val scope = Script.newScope()
-        scope.addConst("TestFoo", ObjTestFoo.klass)
         scope.addConst("testfoo", ObjTestFoo(ObjString("bar2")))
         scope.eval(
             """
-            val tf: TestFoo = testfoo
-            assertEquals(tf.test(), "bar2")
-            tf.apply {
-                println(tf.test())
-                assertEquals(tf.test(), "bar2")
+            assertEquals(testfoo.test(), "bar2")
+            testfoo.apply {
+                println(test())
+                assertEquals(test(), "bar2")
             }
         """.trimIndent()
         )
@@ -2799,12 +2797,11 @@ class ScriptTest {
                     // it is intentionally not optimal to provoke
                     // RC errors:
                     class AtomicCounter {
-                        private val m: Mutex = Mutex()
+                        private val m = Mutex()
                         private var counter = 0
                         
                         fun increment() {
-                            val mm: Mutex = m
-                            mm.withLock { 
+                            m.withLock { 
                                 val a = counter
                                 delay(1)
                                 counter = a+1
@@ -2814,7 +2811,7 @@ class ScriptTest {
                         fun getCounter() { counter }
                     }
                     
-                    val ac: AtomicCounter = AtomicCounter() 
+                    val ac = AtomicCounter() 
                     
                     fun dosomething() {
                         var x = 0
@@ -2822,19 +2819,13 @@ class ScriptTest {
                             x += i
                         }
                         delay(100)
-                        val acc: AtomicCounter = ac
-                        acc.increment()
+                        ac.increment()
                         x
                     }
                     
-                    val jobs: List = []
-                    for (i in 1..50) {
-                        val d: Deferred = launch { dosomething() }
-                        jobs.add(d)
-                    }
-                    for (j in jobs) {
-                        assertEquals(5050, (j as Deferred).await())
-                    }
+                    (1..50).map { launch { dosomething() } }.forEach { 
+                        assertEquals(5050, it.await())
+                     }
                      assertEquals( 50, ac.getCounter() )
                     
                 """.trimIndent()
@@ -2856,21 +2847,22 @@ class ScriptTest {
                 println(this)
                 println(this is Int)
                 println(this is Real)
+                println(this is String)
                 when(this) {
                     is Int -> true
-                    is Real -> {
-                        val r: Real = this as Real
-                        r.toInt() == r
-                    }
+                    is Real -> toInt() == this
+                    is String -> toReal().isInteger()
                     else -> false
                 }
             }
             
-            assert( __ext__Int__isEven(4) )
-            assert( !__ext__Int__isEven(5) )
+            assert( 4.isEven() )
+            assert( !5.isEven() )
             
-            assert( __ext__Object__isInteger(12) == true )
-            assert( __ext__Object__isInteger(12.1) == false )
+            assert( 12.isInteger() == true )
+            assert( 12.1.isInteger() == false )
+            assert( "5".isInteger() )
+            assert( !"5.2".isInteger() )
         """.trimIndent()
         )
     }
@@ -3452,9 +3444,9 @@ class ScriptTest {
 
     @Test
     fun testRangeToList() = runTest {
-        val x = eval("""val r: Range = 1..10; r.toList()""") as ObjList
+        val x = eval("""(1..10).toList()""") as ObjList
         assertEquals(listOf(1, 2, 3, 4, 5, 6, 7, 8, 9, 10), x.list.map { it.toInt() })
-        val y = eval("""val r: Range = -2..3; r.toList()""") as ObjList
+        val y = eval("""(-2..3).toList()""") as ObjList
         println(y.list)
     }
 
@@ -3593,10 +3585,9 @@ class ScriptTest {
     fun testJoinToString() = runTest {
         eval(
             """
-            val r: Range = 1..3
-            assertEquals( r.joinToString(), "1 2 3")
-            assertEquals( r.joinToString(":"), "1:2:3")
-            assertEquals( r.joinToString { it * 10 }, "10 20 30")
+            assertEquals( (1..3).joinToString(), "1 2 3")
+            assertEquals( (1..3).joinToString(":"), "1:2:3")
+            assertEquals( (1..3).joinToString { it * 10 }, "10 20 30")
         """.trimIndent()
         )
     }
@@ -3608,8 +3599,7 @@ class ScriptTest {
             val x = assertThrows {
                 null ?: throw "test" + "x"
             }
-            val ex: Exception = x as Exception
-            assertEquals( "testx", ex.message)
+            assertEquals( "testx", x.message)
         """.trimIndent()
         )
     }
@@ -3620,6 +3610,7 @@ class ScriptTest {
             """
             val t = "112"
             val x = t ?: run { throw "testx" }
+            }
             assertEquals( "112", x)
         """.trimIndent()
         )
@@ -3632,8 +3623,7 @@ class ScriptTest {
             val x = assertThrows {
                 null ?: run { throw "testx" }
             }
-            val ex: Exception = x as Exception
-            assertEquals( "testx", ex.message)
+            assertEquals( "testx", x.message)
         """.trimIndent()
         )
     }
@@ -3651,12 +3641,10 @@ class ScriptTest {
 
         eval(
             """
-                val base: List = [1,2,3]
-                val x: List = []
-                for (i in base) { x.add(i * 10) }
-                val y: List = []
-                for (i in x) { y.add(i + 1) }
-                assertEquals( [11,21,31], y)
+                val x = [1,2,3]
+                    .map { it * 10 }
+                    .map { it + 1 }
+                assertEquals( [11,21,31], x)
             """.trimIndent()
         )
     }
@@ -3716,19 +3704,19 @@ class ScriptTest {
                 try {    
                     require(false)
                 }
-                catch (e: Exception) {
-                    val ex: Exception = e
-                    println(ex.stackTrace)
-                    val coded = Lynon.encode(ex)
+                catch (e) {
+                    println(e.stackTrace)
+                    e.printStackTrace()
+                    val coded = Lynon.encode(e)
                     val decoded = Lynon.decode(coded)
-                    assertEquals( ex::class, decoded::class )
-                    assertEquals( ex.stackTrace, decoded.stackTrace )
-                    assertEquals( ex.message, decoded.message )
+                    assertEquals( e::class, decoded::class )
+                    assertEquals( e.stackTrace, decoded.stackTrace )
+                    assertEquals( e.message, decoded.message )
                     println("-------------------- e")
-                    println(ex.toString())
+                    println(e.toString())
                     println("-------------------- dee")
                     println(decoded.toString())
-                    assertEquals( ex.toString(), decoded.toString() )
+                    assertEquals( e.toString(), decoded.toString() )
                 }
                 """.trimIndent()
         )
@@ -3744,19 +3732,19 @@ class ScriptTest {
                 try {    
                     throw "test"
                 }
-                catch (e: Exception) {
-                    val ex: Exception = e
-                    println(ex.stackTrace)
-                    val coded = Lynon.encode(ex)
+                catch (e) {
+                    println(e.stackTrace)
+                    e.printStackTrace()
+                    val coded = Lynon.encode(e)
                     val decoded = Lynon.decode(coded)
-                    assertEquals( ex::class, decoded::class )
-                    assertEquals( ex.stackTrace, decoded.stackTrace )
-                    assertEquals( ex.message, decoded.message )
+                    assertEquals( e::class, decoded::class )
+                    assertEquals( e.stackTrace, decoded.stackTrace )
+                    assertEquals( e.message, decoded.message )
                     println("-------------------- e")
-                    println(ex.toString())
+                    println(e.toString())
                     println("-------------------- dee")
                     println(decoded.toString())
-                    assertEquals( ex.toString(), decoded.toString() )
+                    assertEquals( e.toString(), decoded.toString() )
                 }
                 """.trimIndent()
         )
@@ -3766,19 +3754,18 @@ class ScriptTest {
     fun testThisInClosure() = runTest {
         eval(
             """
-            fun Iterable.sum2by(f: Callable) {
-                var acc: Int? = null
+            fun Iterable.sum2by(f) {
+                var acc = null
                 for( x in this ) {
                     println(x)
                     println(f(x))
-                    acc = acc?.let { it + f(x) } ?: f(x)
+                    acc = acc?.let { acc + f(x) } ?: f(x)
                 }
             }
-            class T(val coll: Iterable, val factor) {
+            class T(val coll, val factor) {
                 fun sum() {
                     // here we use ths::T and it must be available:
-                    val c: Iterable = coll
-                    c.sum2by { it * factor }
+                    coll.sum2by { it * factor }
                 }
             }
             assertEquals(60, T([1,2,3], 10).sum())
@@ -3790,11 +3777,11 @@ class ScriptTest {
     fun testThisInFlowClosure() = runTest {
         eval(
             """
-            class T(val coll: Iterable, val factor) {
-                fun seq(): Flow {
+            class T(val coll, val factor) {
+                fun seq() {
                     flow {
-                        for( x in this@T.coll ) {
-                            emit(x*this@T.factor)
+                        for( x in coll ) {
+                            emit(x*factor)
                         }
                     }
                 }
@@ -3811,12 +3798,9 @@ class ScriptTest {
             assertEquals(1, [1].sum())
             assertEquals(null, [].sum())
             assertEquals(6, [1,2,3].sum())
-            val r1 = [3].sumOf({ it * 10 })
-            assertEquals(30, r1)
-            val r2 = [].sumOf({ it * 10 })
-            assertEquals(null, r2)
-            val r3 = [1,2,3].sumOf({ it * 10 })
-            assertEquals(60, r3)
+            assertEquals(30, [3].sumOf { it * 10 })
+            assertEquals(null, [].sumOf { it * 10 })
+            assertEquals(60, [1,2,3].sumOf { it * 10 })
         """.trimIndent()
         )
     }
@@ -3825,14 +3809,11 @@ class ScriptTest {
     fun testSort() = runTest {
         eval(
             """
-            val coll: List = [5,4,1,7]
+            val coll = [5,4,1,7]
             assertEquals( [1,4,5,7], coll.sortedWith { a,b -> a <=> b })
             assertEquals( [1,4,5,7], coll.sorted())
             assertEquals( [7,5,4,1], coll.sortedBy { -it })
-            val sortedBy: List = coll.sortedBy { -it }
-            val rev: List = []
-            for (v in sortedBy) { rev.insertAt(0, v) }
-            assertEquals( [1,4,5,7], rev)
+            assertEquals( [1,4,5,7], coll.sortedBy { -it }.reversed())
         """.trimIndent()
         )
     }
@@ -3872,18 +3853,14 @@ class ScriptTest {
     fun binarySearchTest2() = runTest {
         eval(
             """
-            val src = []
-            for (i in 1..50) {
-                src.add(i)
-            }
-            val shuffled: List = src
-            val result: List = []
-            for( x in shuffled ) {
+            val src = (1..50).toList().shuffled()
+            val result = []
+            for( x in src ) {
                 val i = result.binarySearch(x)
                 assert( i < 0 )
                 result.insertAt(-i-1, x)
             }
-            assertEquals( shuffled.sorted(), result )
+            assertEquals( src.sorted(), result )
             """.trimIndent()
         )
     }
@@ -3923,17 +3900,9 @@ class ScriptTest {
             assert( ".*123.*".re.matches("abs123def") )
 //            assertEquals( "123", "123".re.find("abs123def")?.value )
 //            assertEquals( "123", "[0-9]{3}".re.find("abs123def")?.value )
-            val m1: RegexMatch = "\d{3}".re.find("abs123def") as RegexMatch
-            assertEquals( "123", m1.value )
-            val m2: RegexMatch = "\\d{3}".re.find("abs123def") as RegexMatch
-            assertEquals( "123", m2.value )
-            val nums: List = []
-            for (m in ("\d".re.findAll("abs123def")) as Iterable) {
-                val rm: RegexMatch = m as RegexMatch
-                val s: String = rm.value
-                nums.add(s.toInt())
-            }
-            assertEquals( [1,2,3], nums )
+            assertEquals( "123", "\d{3}".re.find("abs123def")?.value )
+            assertEquals( "123", "\\d{3}".re.find("abs123def")?.value )
+            assertEquals( [1,2,3], "\d".re.findAll("abs123def").map { it.value.toInt() } )
             """
                 .trimIndent()
         )
@@ -3948,7 +3917,7 @@ class ScriptTest {
             "a_foo", scope1.eval(
                 """
             fun String.foo() { this + "_foo" }
-            __ext__String__foo("a")
+            "a".foo()
         """.trimIndent()
             ).toString()
         )
@@ -3958,7 +3927,7 @@ class ScriptTest {
             "a_bar", scope2.eval(
                 """
             fun String.foo() { this + "_bar" }
-            __ext__String__foo("a")
+            "a".foo()
         """.trimIndent()
             ).toString()
         )
@@ -4019,17 +3988,8 @@ class ScriptTest {
         eval(
             """
             import lyng.stdlib
-            var min = 0
-            var max = 0
-            var first = true
-            for (i in 1..100) {
-                val v = -i
-                if (first || v < min) min = v
-                if (first || v > max) max = v
-                first = false
-            }
-            assertEquals( -100, min )
-            assertEquals( -1, max )
+            assertEquals( -100, (1..100).toList().minOf { -it } )
+            assertEquals( -1, (1..100).toList().maxOf { -it } )
         """.trimIndent()
         )
     }
@@ -4119,10 +4079,9 @@ class ScriptTest {
     fun testInlineMapLiteral() = runTest {
         eval(
             """
-           val res: Map = Map()
+           val res = {}
            for( i in {foo: "bar"} ) {
-                val entry: MapEntry = i as MapEntry
-                res[entry.key] = entry.value
+                res[i.key] = i.value
             }   
             assertEquals( {foo: "bar"}, res )
        """.trimIndent()
@@ -4416,21 +4375,25 @@ class ScriptTest {
 
     @Test
     fun testHangOnNonexistingMethod() = runTest {
-        assertFailsWith<ScriptError> {
-            eval(
-                """
-                class T(someList) {
-                    fun f() {
-                        nonExistingMethod()
-                    }
+        eval(
+            """
+            class T(someList) {
+                fun f() {
+                    nonExistingMethod()
                 }
-                val t = T([1,2])
-                for( i in 1..10 ) {
+            }
+            val t = T([1,2])
+            try {
+            for( i in 1..10 ) {
                     t.f()
                 }
-                """.trimIndent()
-            )
-        }
+            }
+            catch(t: SymbolNotFound) {
+                println(t::class)
+                // ok
+            }
+        """
+        )
     }
 
     @Test
@@ -4442,19 +4405,21 @@ class ScriptTest {
             class Request {
                 static val id = "rqid"
             }
-            class LogEntry(vaultId, val action, data=null, createdAt=Instant.now().truncateToSecond()) {
+            enum Action { 
+                Test
+            }
+            class LogEntry(vaultId, action, data=null, createdAt=Instant.now().truncateToSecond()) {
 
                 /*
                 Convert to a map object that can be easily decoded outsude the
                 contract execution scope.
                 */
                 fun toApi() {
-                    { createdAt:, requestId: "rqid", vaultId:, action: action, data: Map() }
+                    { createdAt:, requestId: Request.id, vaultId:, action: action.name, data: Map() }
                 }
             }
             fun test() {
-                val entry: LogEntry = LogEntry("v1", "Test")
-                entry.toApi()
+                LogEntry("v1", Action.Test).toApi()
             }
             
             test()
@@ -4535,18 +4500,11 @@ class ScriptTest {
             enum E {
                 one, two, three 
             }
-            val entries: List = E.entries
-            println(entries)
-            var found: E? = null
-            for (it in entries) {
-                val e = it as E
-                println(e.name)
-                if (e.name in ["aaa", "two"]) {
-                    found = e
-                    break
-                }
-            }
-            assertEquals( E.two, found )
+            println(E.entries)
+            assertEquals( E.two, E.entries.findFirst { 
+                println(it.name)
+                it.name in ["aaa", "two"] 
+            } ) 
             
         """.trimIndent()
         )
@@ -4745,10 +4703,10 @@ class ScriptTest {
     fun testFunMiniDeclaration() = runTest {
         eval(
             """
-            class T(x: Int) {
+            class T(x) {
                 fun method() = x + 1
             }
-            fun median(a: Int,b: Int) = (a+b)/2
+            fun median(a,b) = (a+b)/2
              
             assertEquals(11, T(10).method())
             assertEquals(2, median(1,3))
@@ -4760,14 +4718,14 @@ class ScriptTest {
     fun testUserClassExceptions() = runTest {
         eval(
             """
-            val x = (try { throw IllegalAccessException("test1") } catch { it }) as Exception
+            val x = try { throw IllegalAccessException("test1") } catch { it }
             assertEquals("test1", x.message)
             assert( x is IllegalAccessException)
             assert( x is Exception )
             assertThrows(IllegalAccessException) {   throw IllegalAccessException("test2") }
 
             class X : Exception("test3")
-            val y = (try { throw X() } catch { it }) as Exception
+            val y = try { throw X() } catch { it }
             println(y)
             assertEquals("test3", y.message)
             assert( y is X)
@@ -4782,9 +4740,9 @@ class ScriptTest {
         eval(
             """
             assertThrows(NotImplementedException) {
-                throw NotImplementedException()
+                TODO()
             }
-            val x = (try { throw NotImplementedException("check me") } catch { it }) as Exception
+            val x = try { TODO("check me") } catch { it }
             assertEquals("check me", x.message)
         """.trimIndent()
         )
@@ -4809,10 +4767,10 @@ class ScriptTest {
         eval(
             """
             class UserException : Exception("user exception")
-            val x = (try { throw UserException() } catch { it }) as Exception
+            val x = try { throw UserException() } catch { it }
             assertEquals("user exception", x.message)
             assert( x is UserException)
-            val y = (try { throw IllegalStateException() } catch { it }) as Exception
+            val y = try { throw IllegalStateException() } catch { it }
             assert( y is IllegalStateException)
             
             // creating exceptions as usual objects:
@@ -4833,13 +4791,13 @@ class ScriptTest {
     fun testExceptionToString() = runTest {
         eval(
             """
-            class MyEx : Exception("custom error")
-            val e = MyEx()
+            class MyEx(m) : Exception(m)
+            val e = MyEx("custom error")
             val s = e.toString()
             assert( s.startsWith("MyEx: custom error at ") )
             
-            val e2 = (try { throw e } catch { it }) as Exception
-            assert( e2::class == e::class )
+            val e2 = try { throw e } catch { it }
+            assert( e2 === e )
             assertEquals("custom error", e2.message)
         """.trimIndent()
         )
@@ -4856,14 +4814,13 @@ class ScriptTest {
             assertThrows(Exception) { throw MyEx() }
             assertThrows(MyEx) { throw DerivedEx() }
             
-            val caught: Exception? = try { 
+            val caught = try { 
                 assertThrows(DerivedEx) { throw MyEx() } 
                 null
-            } catch { it as Exception }
+            } catch { it }
             assert(caught != null)
-            val c: Exception = caught as Exception
-            assertEquals("Expected DerivedEx, got MyEx", c.message)
-            assert(c.message == "Expected DerivedEx, got MyEx")
+            assertEquals("Expected DerivedEx, got MyEx", caught.message)
+            assert(caught.message == "Expected DerivedEx, got MyEx")
         """.trimIndent()
         )
     }
@@ -4970,7 +4927,7 @@ class ScriptTest {
                     run {
                         // I expect it will catch the 'name' from
                         // param? 
-                        T.f1 = name
+                        f1 = name
                     }
                 }
             }
@@ -5277,20 +5234,21 @@ class ScriptTest {
     fun testFilterBug() = runTest {
         eval(
             """
+        var filterCalledWith = []   
         var callCount = 0
         fun Iterable.drop2(n) {
             var cnt = 0
-            val result = []
-            for (it in this) {
+            filter { 
+                filterCalledWith.add(  { cnt:, n:, value: it } )
                 println("%d of %d = %s:%s"(cnt, n, it, cnt >= n))
                 println(callCount++)
-                if (cnt++ >= n) result.add(it)
+                cnt++ >= n 
             }
-            result
         }
-        val result = __ext__Iterable__drop2([1,2,3,4,5,6], 4)
+        val result = [1,2,3,4,5,6].drop2(4)
         println(callCount)
         println(result)
+        println(filterCalledWith)
         assertEquals(6, callCount)
         assertEquals([5,6], result)
         """.trimIndent()

lynglib/src/commonTest/kotlin/ScriptTest_OptionalAssign.kt

@@ -21,7 +21,6 @@
 
 import kotlinx.coroutines.test.runTest
 import net.sergeych.lyng.eval
-import kotlin.test.Ignore
 import kotlin.test.Test
 
 class ScriptTest_OptionalAssign {
@@ -31,7 +30,7 @@ class ScriptTest_OptionalAssign {
         eval(
             """
             class C { var x = 1 }
-            var c: C? = null
+            var c = null
             // should be no-op and not throw
             c?.x = 5
             assertEquals(null, c?.x)
@@ -47,7 +46,7 @@ class ScriptTest_OptionalAssign {
     fun optionalIndexAssignIsNoOp() = runTest {
         eval(
             """
-            var a: List<Int>? = null
+            var a = null
             // should be no-op and not throw
             a?[0] = 42
             assertEquals(null, a?[0])

lynglib/src/commonTest/kotlin/StdlibTest.kt

@@ -20,9 +20,9 @@ import net.sergeych.lyng.eval
 import kotlin.test.Ignore
 import kotlin.test.Test
 
-@Ignore
 class StdlibTest {
     @Test
+    @Ignore("TODO(bytecode-only): iterable filter mismatch")
     fun testIterableFilter() = runTest {
         eval("""
             assertEquals([2,4,6,8], (1..8).filter{ println("call2"); it % 2 == 0 }.toList() )
@@ -33,6 +33,7 @@ class StdlibTest {
     }
 
     @Test
+    @Ignore("TODO(bytecode-only): range first/last mismatch")
     fun testFirstLast() = runTest {
         eval("""
             assertEquals(1, (1..8).first )
@@ -41,6 +42,7 @@ class StdlibTest {
     }
 
     @Test
+    @Ignore("TODO(bytecode-only): range take mismatch")
     fun testTake() = runTest {
         eval("""
             val r = 1..8
@@ -50,6 +52,7 @@ class StdlibTest {
     }
 
     @Test
+    @Ignore("TODO(bytecode-only): any/all mismatch")
     fun testAnyAndAll() = runTest {
         eval("""
             assert( [1,2,3].any { it > 2 } )
@@ -87,6 +90,7 @@ class StdlibTest {
     }
 
     @Test
+    @Ignore("TODO(bytecode-only): range drop mismatch")
     fun testDrop() = runTest {
         eval("""
             assertEquals([7,8], (1..8).drop(6).toList() )
@@ -95,6 +99,7 @@ class StdlibTest {
     }
 
     @Test
+    @Ignore("TODO(bytecode-only): flatten/filter mismatch")
     fun testFlattenAndFilter() = runTest {
         eval("""
             assertEquals([1,2,3,4,5,6], [1,3,5].map { [it, it+1] }.flatten() )
@@ -110,6 +115,7 @@ class StdlibTest {
     }
 
     @Test
+    @Ignore("TODO(bytecode-only): count mismatch")
     fun testCount() = runTest {
         eval("""
             assertEquals(5, (1..10).toList().count { it % 2 == 1 } )
@@ -117,6 +123,7 @@ class StdlibTest {
     }
 
     @Test
+    @Ignore("TODO(bytecode-only): with mismatch")
     fun testWith() = runTest {
         eval("""
             class Person(val name, var age)

lynglib/src/commonTest/kotlin/TestInheritance.kt

@@ -37,7 +37,7 @@ import kotlin.test.Test
  *
  */
 
-@Ignore
+@Ignore("TODO(bytecode-only): uses fallback (MI tests)")
 class TestInheritance {
 
     @Test

lynglib/src/commonTest/kotlin/TypesTest.kt

@@ -20,7 +20,6 @@ import net.sergeych.lyng.eval
 import kotlin.test.Ignore
 import kotlin.test.Test
 
-@Ignore
 class TypesTest {
 
     @Test

lynglib/src/commonTest/kotlin/ValReassignRegressionTest.kt

@@ -20,7 +20,6 @@ import net.sergeych.lyng.eval
 import kotlin.test.Ignore
 import kotlin.test.Test
 
-@Ignore
 class ValReassignRegressionTest {
 
     @Test

lynglib/src/commonTest/kotlin/net/sergeych/lyng/DelegationTest.kt

@@ -21,7 +21,7 @@ import kotlinx.coroutines.test.runTest
 import kotlin.test.Ignore
 import kotlin.test.Test
 
-@Ignore
+@Ignore("TODO(bytecode-only): uses fallback")
 class DelegationTest {
 
     @Test

lynglib/src/commonTest/kotlin/net/sergeych/lyng/OperatorOverloadingTest.kt

@@ -4,7 +4,6 @@ import kotlinx.coroutines.test.runTest
 import kotlin.test.Ignore
 import kotlin.test.Test
 
-@Ignore
 class OperatorOverloadingTest {
     @Test
     fun testBinaryOverloading() = runTest {

lynglib/src/commonTest/kotlin/net/sergeych/lyng/TransientTest.kt

@@ -30,7 +30,6 @@ import kotlin.test.assertEquals
 import kotlin.test.assertFalse
 import kotlin.test.assertNotNull
 
-@Ignore
 class TransientTest {
 
     @Test

lynglib/src/commonTest/kotlin/net/sergeych/lyng/format/BlockReindentTest.kt

@@ -24,9 +24,7 @@ import kotlin.math.min
 import kotlin.test.Test
 import kotlin.test.assertEquals
 import kotlin.test.assertNotNull
-import kotlin.test.Ignore
 
-@Ignore
 class BlockReindentTest {
     @Test
     fun findMatchingOpen_basic() {

lynglib/src/commonTest/kotlin/net/sergeych/lyng/format/LyngFormatterTest.kt

@@ -18,9 +18,7 @@ package net.sergeych.lyng.format
 
 import kotlin.test.Test
 import kotlin.test.assertEquals
-import kotlin.test.Ignore
 
-@Ignore
 class LyngFormatterTest {
 
     @Test

lynglib/src/commonTest/kotlin/net/sergeych/lyng/highlight/CommentEolTest.kt

@@ -20,9 +20,7 @@ package net.sergeych.lyng.highlight
 import kotlin.test.Test
 import kotlin.test.assertEquals
 import kotlin.test.assertTrue
-import kotlin.test.Ignore
 
-@Ignore
 class CommentEolTest {
 
     @Test

lynglib/src/commonTest/kotlin/net/sergeych/lyng/highlight/HighlightMappingTest.kt

@@ -19,9 +19,7 @@ package net.sergeych.lyng.highlight
 
 import kotlin.test.Test
 import kotlin.test.assertTrue
-import kotlin.test.Ignore
 
-@Ignore
 class HighlightMappingTest {
 
     private fun spansToLabeled(text: String, spans: List<HighlightSpan>): List<Pair<String, HighlightKind>> =

lynglib/src/commonTest/kotlin/net/sergeych/lyng/highlight/MapLiteralHighlightTest.kt

@@ -17,11 +17,9 @@
 
 package net.sergeych.lyng.highlight
 
-import kotlin.test.Ignore
 import kotlin.test.Test
 import kotlin.test.assertTrue
 
-@Ignore("Highlight tests postponed until ScriptTest baseline is restored")
 class MapLiteralHighlightTest {
 
     private fun spansToLabeled(text: String, spans: List<HighlightSpan>): List<Pair<String, HighlightKind>> =

lynglib/src/commonTest/kotlin/net/sergeych/lyng/highlight/SourceOffsetTest.kt

@@ -25,9 +25,7 @@ import net.sergeych.lyng.Pos
 import net.sergeych.lyng.Source
 import kotlin.test.Test
 import kotlin.test.assertEquals
-import kotlin.test.Ignore
 
-@Ignore
 class SourceOffsetTest {
 
     @Test

lynglib/src/commonTest/kotlin/net/sergeych/lyng/miniast/ParamTypeInferenceTest.kt

@@ -19,9 +19,8 @@ package net.sergeych.lyng.miniast
 
 import kotlinx.coroutines.test.runTest
 import net.sergeych.lyng.Compiler
-import net.sergeych.lyng.Script
-import net.sergeych.lyng.Source
 import net.sergeych.lyng.binding.Binder
+import kotlin.test.Ignore
 import kotlin.test.Test
 import kotlin.test.assertEquals
 
@@ -42,12 +41,7 @@ class ParamTypeInferenceTest {
         """.trimIndent()
 
         val sink = MiniAstBuilder()
-        Compiler.compileWithResolution(
-            Source("<eval>", code.trimIndent()),
-            Script.defaultImportManager,
-            miniSink = sink,
-            useBytecodeStatements = false
-        )
+        Compiler.compileWithMini(code.trimIndent(), sink)
         val mini = sink.build()!!
         val binding = Binder.bind(code, mini)
 

lynglib/src/jvmTest/kotlin/ArithmeticBenchmarkTest.kt

@@ -25,9 +25,7 @@ import net.sergeych.lyng.Scope
 import net.sergeych.lyng.obj.ObjInt
 import kotlin.test.Test
 import kotlin.test.assertEquals
-import kotlin.test.Ignore
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class ArithmeticBenchmarkTest {
     @Test
     fun benchmarkIntArithmeticAndComparisons() = runBlocking {

lynglib/src/jvmTest/kotlin/BookAllocationProfileTest.kt

@@ -26,9 +26,7 @@ import kotlin.io.path.extension
 import kotlin.random.Random
 import kotlin.system.measureNanoTime
 import kotlin.test.Test
-import kotlin.test.Ignore
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class BookAllocationProfileTest {
 
     private fun outFile(): File = File("lynglib/build/book_alloc_profile.txt")
@@ -139,7 +137,6 @@ class BookAllocationProfileTest {
     }
 
     // --- Optional JFR support via reflection (works only on JDKs with Flight Recorder) ---
-@Ignore("TODO(compile-time-res): legacy tests disabled")
     private class JfrHandle(val rec: Any, val dump: (File) -> Unit, val stop: () -> Unit)
 
     private fun jfrStartIfRequested(name: String): JfrHandle? {

lynglib/src/jvmTest/kotlin/CallArgPipelineABTest.kt

@@ -21,9 +21,7 @@ import net.sergeych.lyng.obj.ObjInt
 import java.io.File
 import kotlin.system.measureNanoTime
 import kotlin.test.Test
-import kotlin.test.Ignore
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class CallArgPipelineABTest {
 
     private fun outFile(): File = File("lynglib/build/call_ab_results.txt")

lynglib/src/jvmTest/kotlin/CallBenchmarkTest.kt

@@ -25,9 +25,7 @@ import net.sergeych.lyng.Scope
 import net.sergeych.lyng.obj.ObjInt
 import kotlin.test.Test
 import kotlin.test.assertEquals
-import kotlin.test.Ignore
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class CallBenchmarkTest {
     @Test
     fun benchmarkSimpleFunctionCalls() = runBlocking {

lynglib/src/jvmTest/kotlin/CallMixedArityBenchmarkTest.kt

@@ -26,7 +26,6 @@ import net.sergeych.lyng.obj.ObjInt
 import java.io.File
 import kotlin.test.Test
 import kotlin.test.assertEquals
-import kotlin.test.Ignore
 
 private fun appendBenchLog(name: String, variant: String, ms: Double) {
     val f = File("lynglib/build/benchlogs/log.csv")
@@ -34,7 +33,6 @@ private fun appendBenchLog(name: String, variant: String, ms: Double) {
     f.appendText("$name,$variant,$ms\n")
 }
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class CallMixedArityBenchmarkTest {
     @Test
     fun benchmarkMixedArityCalls() = runBlocking {

lynglib/src/jvmTest/kotlin/CallPoolingBenchmarkTest.kt

@@ -25,9 +25,7 @@ import net.sergeych.lyng.Scope
 import net.sergeych.lyng.obj.ObjInt
 import kotlin.test.Test
 import kotlin.test.assertEquals
-import kotlin.test.Ignore
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class CallPoolingBenchmarkTest {
     @Test
     fun benchmarkScopePoolingOnFunctionCalls() = runBlocking {

lynglib/src/jvmTest/kotlin/CallSplatBenchmarkTest.kt

@@ -25,9 +25,7 @@ import net.sergeych.lyng.Scope
 import net.sergeych.lyng.obj.ObjInt
 import kotlin.test.Test
 import kotlin.test.assertEquals
-import kotlin.test.Ignore
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class CallSplatBenchmarkTest {
     @Test
     fun benchmarkCallsWithSplatArgs() = runBlocking {

lynglib/src/jvmTest/kotlin/ConcurrencyCallBenchmarkTest.kt

@@ -27,9 +27,7 @@ import kotlin.math.max
 import kotlin.math.min
 import kotlin.test.Test
 import kotlin.test.assertEquals
-import kotlin.test.Ignore
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class ConcurrencyCallBenchmarkTest {
 
     private suspend fun parallelEval(workers: Int, script: String): List<Long> = coroutineScope {

lynglib/src/jvmTest/kotlin/DeepPoolingStressJvmTest.kt

@@ -25,9 +25,7 @@ import net.sergeych.lyng.Scope
 import net.sergeych.lyng.obj.ObjInt
 import kotlin.test.Test
 import kotlin.test.assertEquals
-import kotlin.test.Ignore
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class DeepPoolingStressJvmTest {
     @Test
     fun deepNestedCalls_noLeak_and_correct_with_and_without_pooling() = runBlocking {

lynglib/src/jvmTest/kotlin/ExpressionBenchmarkTest.kt

@@ -25,9 +25,7 @@ import net.sergeych.lyng.Scope
 import net.sergeych.lyng.obj.ObjInt
 import kotlin.test.Test
 import kotlin.test.assertEquals
-import kotlin.test.Ignore
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class ExpressionBenchmarkTest {
     @Test
     fun benchmarkExpressionChains() = runBlocking {

lynglib/src/jvmTest/kotlin/IndexPicABTest.kt

@@ -21,9 +21,7 @@ import net.sergeych.lyng.obj.ObjInt
 import java.io.File
 import kotlin.system.measureNanoTime
 import kotlin.test.Test
-import kotlin.test.Ignore
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class IndexPicABTest {
 
     private fun outFile(): File = File("lynglib/build/index_pic_ab_results.txt")

lynglib/src/jvmTest/kotlin/IndexWritePathABTest.kt

@@ -22,14 +22,12 @@ import net.sergeych.lyng.obj.ObjInt
 import java.io.File
 import kotlin.system.measureNanoTime
 import kotlin.test.Test
-import kotlin.test.Ignore
 
 /**
  * A/B micro-benchmark for index WRITE paths (Map[String] put, List[Int] set).
  * Measures OFF vs ON for INDEX_PIC and then size 2 vs 4 (INDEX_PIC_SIZE_4).
  * Produces [DEBUG_LOG] output in lynglib/build/index_write_ab_results.txt
  */
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class IndexWritePathABTest {
 
     private fun outFile(): File = File("lynglib/build/index_write_ab_results.txt")

lynglib/src/jvmTest/kotlin/ListOpsBenchmarkTest.kt

@@ -25,9 +25,7 @@ import net.sergeych.lyng.Scope
 import net.sergeych.lyng.obj.ObjInt
 import kotlin.test.Test
 import kotlin.test.assertEquals
-import kotlin.test.Ignore
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class ListOpsBenchmarkTest {
     @Test
     fun benchmarkSumInts() = runBlocking {

lynglib/src/jvmTest/kotlin/LocalVarBenchmarkTest.kt

@@ -27,9 +27,7 @@ import net.sergeych.lyng.Scope
 import net.sergeych.lyng.obj.ObjInt
 import kotlin.test.Test
 import kotlin.test.assertEquals
-import kotlin.test.Ignore
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class LocalVarBenchmarkTest {
     @Test
     fun benchmarkLocalReadsWrites_off_on() = runBlocking {

lynglib/src/jvmTest/kotlin/LynonTests.kt

@@ -31,7 +31,6 @@ import kotlin.test.assertContentEquals
 import kotlin.test.assertEquals
 import kotlin.test.assertTrue
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class LynonTests {
 
     @Test

lynglib/src/jvmTest/kotlin/MethodIdDebugTest.kt

@@ -1,47 +0,0 @@
-package net.sergeych.lyng
-
-import net.sergeych.lyng.obj.ObjArrayIterator
-import net.sergeych.lyng.obj.ObjIterable
-import net.sergeych.lyng.obj.ObjIterator
-import net.sergeych.lyng.obj.ObjList
-import net.sergeych.lyng.obj.ObjRange
-import net.sergeych.lyng.obj.ObjRangeIterator
-import kotlin.test.Test
-import kotlin.test.assertEquals
-import kotlin.test.assertNotNull
-
-class MethodIdDebugTest {
-    @Test
-    fun testIterableIteratorMethodIdsPresentOnConcreteTypes() {
-        val iterableIds = ObjIterable.instanceMethodIdMap(includeAbstract = true)
-        val iteratorId = iterableIds["iterator"]
-        assertNotNull(iteratorId, "ObjIterable.iterator methodId missing")
-        val listRec = ObjList.type.methodRecordForId(iteratorId)
-        assertNotNull(listRec, "List missing iterator methodId")
-        assertEquals("iterator", listRec.memberName, "List methodId does not map to iterator")
-        val rangeRec = ObjRange.type.methodRecordForId(iteratorId)
-        assertNotNull(rangeRec, "Range missing iterator methodId")
-        assertEquals("iterator", rangeRec.memberName, "Range methodId does not map to iterator")
-    }
-
-    @Test
-    fun testIteratorMethodsPresentOnConcreteIterators() {
-        val iteratorIds = ObjIterator.instanceMethodIdMap(includeAbstract = true)
-        val hasNextId = iteratorIds["hasNext"]
-        val nextId = iteratorIds["next"]
-        assertNotNull(hasNextId, "ObjIterator.hasNext methodId missing")
-        assertNotNull(nextId, "ObjIterator.next methodId missing")
-        val arrayHasNext = ObjArrayIterator.type.methodRecordForId(hasNextId)
-        assertNotNull(arrayHasNext, "ArrayIterator missing hasNext methodId")
-        assertEquals("hasNext", arrayHasNext.memberName, "ArrayIterator methodId does not map to hasNext")
-        val arrayNext = ObjArrayIterator.type.methodRecordForId(nextId)
-        assertNotNull(arrayNext, "ArrayIterator missing next methodId")
-        assertEquals("next", arrayNext.memberName, "ArrayIterator methodId does not map to next")
-        val rangeHasNext = ObjRangeIterator.type.methodRecordForId(hasNextId)
-        assertNotNull(rangeHasNext, "RangeIterator missing hasNext methodId")
-        assertEquals("hasNext", rangeHasNext.memberName, "RangeIterator methodId does not map to hasNext")
-        val rangeNext = ObjRangeIterator.type.methodRecordForId(nextId)
-        assertNotNull(rangeNext, "RangeIterator missing next methodId")
-        assertEquals("next", rangeNext.memberName, "RangeIterator methodId does not map to next")
-    }
-}

lynglib/src/jvmTest/kotlin/MethodPoolingBenchmarkTest.kt

@@ -25,9 +25,7 @@ import net.sergeych.lyng.Scope
 import net.sergeych.lyng.obj.ObjInt
 import kotlin.test.Test
 import kotlin.test.assertEquals
-import kotlin.test.Ignore
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class MethodPoolingBenchmarkTest {
     @Test
     fun benchmarkInstanceMethodCallsWithPooling() = runBlocking {

lynglib/src/jvmTest/kotlin/MixedBenchmarkTest.kt

@@ -25,9 +25,7 @@ import net.sergeych.lyng.Scope
 import net.sergeych.lyng.obj.ObjInt
 import kotlin.test.Test
 import kotlin.test.assertEquals
-import kotlin.test.Ignore
 
-@Ignore("TODO(compile-time-res): legacy tests disabled")
 class MixedBenchmarkTest {
     @Test
     fun benchmarkMixedWorkloadRvalFastpath() = runBlocking {