goscript 0.1.0 → 0.1.2

package/compiler/runtime-contract.go

@@ -3,6 +3,10 @@ package compiler
 import (
 	"cmp"
 	"slices"
+	"strings"
+
+	gs "github.com/aperturerobotics/goscript"
+	"github.com/pkg/errors"
 )
 
 // RuntimeHelperCategory names a runtime helper family owned by the contract.
@@ -25,40 +29,82 @@ const (
 type RuntimeHelper string
 
 const (
-	RuntimeHelperPrintln RuntimeHelper = "builtin.println"
-	RuntimeHelperPrint   RuntimeHelper = "builtin.print"
-	RuntimeHelperInt     RuntimeHelper = "builtin.int"
-	RuntimeHelperByte    RuntimeHelper = "builtin.byte"
-	RuntimeHelperLen     RuntimeHelper = "builtin.len"
-	RuntimeHelperCap     RuntimeHelper = "builtin.cap"
-	RuntimeHelperClear   RuntimeHelper = "builtin.clear"
-	RuntimeHelperPanic   RuntimeHelper = "builtin.panic"
-	RuntimeHelperRecover RuntimeHelper = "builtin.recover"
-	RuntimeHelperMin     RuntimeHelper = "builtin.min"
-	RuntimeHelperMax     RuntimeHelper = "builtin.max"
+	RuntimeHelperPrintln   RuntimeHelper = "builtin.println"
+	RuntimeHelperPrint     RuntimeHelper = "builtin.print"
+	RuntimeHelperInt       RuntimeHelper = "builtin.int"
+	RuntimeHelperUint      RuntimeHelper = "builtin.uint"
+	RuntimeHelperByte      RuntimeHelper = "builtin.byte"
+	RuntimeHelperLen       RuntimeHelper = "builtin.len"
+	RuntimeHelperCap       RuntimeHelper = "builtin.cap"
+	RuntimeHelperClear     RuntimeHelper = "builtin.clear"
+	RuntimeHelperPanic     RuntimeHelper = "builtin.panic"
+	RuntimeHelperRecover   RuntimeHelper = "builtin.recover"
+	RuntimeHelperMin       RuntimeHelper = "builtin.min"
+	RuntimeHelperMax       RuntimeHelper = "builtin.max"
+	RuntimeHelperComplex   RuntimeHelper = "builtin.complex"
+	RuntimeHelperReal      RuntimeHelper = "builtin.real"
+	RuntimeHelperImag      RuntimeHelper = "builtin.imag"
+	RuntimeHelperUint64Shl RuntimeHelper = "builtin.uint64Shl"
+	RuntimeHelperUint64Shr RuntimeHelper = "builtin.uint64Shr"
+	RuntimeHelperInt64Shl  RuntimeHelper = "builtin.int64Shl"
+	RuntimeHelperInt64Shr  RuntimeHelper = "builtin.int64Shr"
+	RuntimeHelperUintShr   RuntimeHelper = "builtin.uintShr"
+	RuntimeHelperUint64Div RuntimeHelper = "builtin.uint64Div"
+	RuntimeHelperUint64Mod RuntimeHelper = "builtin.uint64Mod"
+	RuntimeHelperUint64Mul RuntimeHelper = "builtin.uint64Mul"
+	RuntimeHelperUint64Add RuntimeHelper = "builtin.uint64Add"
+	RuntimeHelperUint64Sub RuntimeHelper = "builtin.uint64Sub"
+	RuntimeHelperUint64And RuntimeHelper = "builtin.uint64And"
+	RuntimeHelperUint64Or  RuntimeHelper = "builtin.uint64Or"
+	RuntimeHelperUint64Xor RuntimeHelper = "builtin.uint64Xor"
+	RuntimeHelperInt64Div  RuntimeHelper = "builtin.int64Div"
+	RuntimeHelperInt64Mod  RuntimeHelper = "builtin.int64Mod"
+	RuntimeHelperInt64Mul  RuntimeHelper = "builtin.int64Mul"
+	RuntimeHelperInt64Add  RuntimeHelper = "builtin.int64Add"
+	RuntimeHelperInt64Sub  RuntimeHelper = "builtin.int64Sub"
+	RuntimeHelperInt64And  RuntimeHelper = "builtin.int64And"
+	RuntimeHelperInt64Or   RuntimeHelper = "builtin.int64Or"
+	RuntimeHelperInt64Xor  RuntimeHelper = "builtin.int64Xor"
 
 	RuntimeHelperAssignStruct      RuntimeHelper = "value.assignStruct"
 	RuntimeHelperMarkAsStructValue RuntimeHelper = "value.markAsStructValue"
+	RuntimeHelperCloneStructValue  RuntimeHelper = "value.cloneStructValue"
+	RuntimeHelperCloneArrayValue   RuntimeHelper = "value.cloneArrayValue"
 	RuntimeHelperPointerValue      RuntimeHelper = "value.pointerValue"
+	RuntimeHelperPointerValueOrNil RuntimeHelper = "value.pointerValueOrNil"
+	RuntimeHelperArrayEqual        RuntimeHelper = "value.arrayEqual"
+	RuntimeHelperComparableEqual   RuntimeHelper = "value.comparableEqual"
 
-	RuntimeHelperVarRef   RuntimeHelper = "varref.varRef"
-	RuntimeHelperUnref    RuntimeHelper = "varref.unref"
-	RuntimeHelperIsVarRef RuntimeHelper = "varref.isVarRef"
+	RuntimeHelperVarRef                RuntimeHelper = "varref.varRef"
+	RuntimeHelperFieldRef              RuntimeHelper = "varref.fieldRef"
+	RuntimeHelperUnref                 RuntimeHelper = "varref.unref"
+	RuntimeHelperIsVarRef              RuntimeHelper = "varref.isVarRef"
+	RuntimeHelperUnsupportedPointerRef RuntimeHelper = "varref.unsupportedPointerRef"
 
 	RuntimeHelperMakeSlice                    RuntimeHelper = "slice.makeSlice"
 	RuntimeHelperGoSlice                      RuntimeHelper = "slice.goSlice"
 	RuntimeHelperArrayToSlice                 RuntimeHelper = "slice.arrayToSlice"
+	RuntimeHelperArrayPointerFromIndexRef     RuntimeHelper = "slice.arrayPointerFromIndexRef"
+	RuntimeHelperSliceToArray                 RuntimeHelper = "slice.sliceToArray"
+	RuntimeHelperSliceToArrayPointer          RuntimeHelper = "slice.sliceToArrayPointer"
 	RuntimeHelperAppend                       RuntimeHelper = "slice.append"
 	RuntimeHelperCopy                         RuntimeHelper = "slice.copy"
 	RuntimeHelperAsArray                      RuntimeHelper = "slice.asArray"
 	RuntimeHelperStringToRunes                RuntimeHelper = "slice.stringToRunes"
+	RuntimeHelperRangeString                  RuntimeHelper = "slice.rangeString"
 	RuntimeHelperStringToRune                 RuntimeHelper = "slice.stringToRune"
 	RuntimeHelperRunesToString                RuntimeHelper = "slice.runesToString"
 	RuntimeHelperStringToBytes                RuntimeHelper = "slice.stringToBytes"
 	RuntimeHelperBytesToString                RuntimeHelper = "slice.bytesToString"
+	RuntimeHelperStringEqual                  RuntimeHelper = "slice.stringEqual"
+	RuntimeHelperStringCompare                RuntimeHelper = "slice.stringCompare"
+	RuntimeHelperStringHeaderRef              RuntimeHelper = "slice.stringHeaderRef"
+	RuntimeHelperSliceHeaderRef               RuntimeHelper = "slice.sliceHeaderRef"
 	RuntimeHelperGenericBytesOrStringToString RuntimeHelper = "slice.genericBytesOrStringToString"
 	RuntimeHelperIndexStringOrBytes           RuntimeHelper = "slice.indexStringOrBytes"
 	RuntimeHelperSliceStringOrBytes           RuntimeHelper = "slice.sliceStringOrBytes"
+	RuntimeHelperIndexRef                     RuntimeHelper = "slice.indexRef"
+	RuntimeHelperIndexAddress                 RuntimeHelper = "slice.indexAddress"
 
 	RuntimeHelperMakeMap        RuntimeHelper = "map.makeMap"
 	RuntimeHelperMapGet         RuntimeHelper = "map.mapGet"
@@ -70,21 +116,22 @@ const (
 	RuntimeHelperToGoError          RuntimeHelper = "error.toGoError"
 	RuntimeHelperWrapPrimitiveError RuntimeHelper = "error.wrapPrimitiveError"
 
-	RuntimeHelperTypeKind              RuntimeHelper = "type.TypeKind"
-	RuntimeHelperRegisterStructType    RuntimeHelper = "type.registerStructType"
-	RuntimeHelperRegisterInterfaceType RuntimeHelper = "type.registerInterfaceType"
-	RuntimeHelperGetTypeByName         RuntimeHelper = "type.getTypeByName"
-	RuntimeHelperTypeAssert            RuntimeHelper = "type.typeAssert"
-	RuntimeHelperTypeAssertTuple       RuntimeHelper = "type.typeAssertTuple"
-	RuntimeHelperMustTypeAssert        RuntimeHelper = "type.mustTypeAssert"
-	RuntimeHelperIs                    RuntimeHelper = "type.is"
-	RuntimeHelperTypeSwitch            RuntimeHelper = "type.typeSwitch"
-	RuntimeHelperTypedNil              RuntimeHelper = "type.typedNil"
-	RuntimeHelperInterfaceValue        RuntimeHelper = "type.interfaceValue"
-	RuntimeHelperFunctionValue         RuntimeHelper = "type.functionValue"
-	RuntimeHelperNamedFunction         RuntimeHelper = "type.namedFunction"
-	RuntimeHelperGenericZero           RuntimeHelper = "type.genericZero"
-	RuntimeHelperCallGenericMethod     RuntimeHelper = "type.callGenericMethod"
+	RuntimeHelperTypeKind                 RuntimeHelper = "type.TypeKind"
+	RuntimeHelperRegisterStructType       RuntimeHelper = "type.registerStructType"
+	RuntimeHelperRegisterInterfaceType    RuntimeHelper = "type.registerInterfaceType"
+	RuntimeHelperGetTypeByName            RuntimeHelper = "type.getTypeByName"
+	RuntimeHelperTypeAssert               RuntimeHelper = "type.typeAssert"
+	RuntimeHelperTypeAssertTuple          RuntimeHelper = "type.typeAssertTuple"
+	RuntimeHelperMustTypeAssert           RuntimeHelper = "type.mustTypeAssert"
+	RuntimeHelperIs                       RuntimeHelper = "type.is"
+	RuntimeHelperTypeSwitch               RuntimeHelper = "type.typeSwitch"
+	RuntimeHelperTypedNil                 RuntimeHelper = "type.typedNil"
+	RuntimeHelperInterfaceValue           RuntimeHelper = "type.interfaceValue"
+	RuntimeHelperNamedValueInterfaceValue RuntimeHelper = "type.namedValueInterfaceValue"
+	RuntimeHelperFunctionValue            RuntimeHelper = "type.functionValue"
+	RuntimeHelperNamedFunction            RuntimeHelper = "type.namedFunction"
+	RuntimeHelperGenericZero              RuntimeHelper = "type.genericZero"
+	RuntimeHelperCallGenericMethod        RuntimeHelper = "type.callGenericMethod"
 
 	RuntimeHelperMakeChannel     RuntimeHelper = "channel.makeChannel"
 	RuntimeHelperMakeChannelRef  RuntimeHelper = "channel.makeChannelRef"
@@ -185,6 +232,22 @@ func (o *RuntimeContractOwner) QualifiedHelper(helper RuntimeHelper) string {
 	return o.BuiltinImport().Alias + "." + name
 }
 
+// MissingRuntimeExports returns helper exports absent from the real runtime source.
+func (o *RuntimeContractOwner) MissingRuntimeExports() ([]string, error) {
+	exports, err := scanBuiltinRuntimeExports()
+	if err != nil {
+		return nil, err
+	}
+	var missing []string
+	for _, helper := range o.Helpers() {
+		if !exports[helper.Export] {
+			missing = append(missing, helper.Export)
+		}
+	}
+	slices.Sort(missing)
+	return missing, nil
+}
+
 func compareRuntimeHelperContract(a RuntimeHelperContract, b RuntimeHelperContract) int {
 	if c := cmp.Compare(a.Category, b.Category); c != 0 {
 		return c
@@ -200,6 +263,7 @@ func runtimeHelperContracts() []RuntimeHelperContract {
 		runtimeHelper(RuntimeHelperPrintln, "println", RuntimeHelperCategoryBuiltin),
 		runtimeHelper(RuntimeHelperPrint, "print", RuntimeHelperCategoryBuiltin),
 		runtimeHelper(RuntimeHelperInt, "int", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperUint, "uint", RuntimeHelperCategoryBuiltin),
 		runtimeHelper(RuntimeHelperByte, "byte", RuntimeHelperCategoryBuiltin),
 		runtimeHelper(RuntimeHelperLen, "len", RuntimeHelperCategoryBuiltin),
 		runtimeHelper(RuntimeHelperCap, "cap", RuntimeHelperCategoryBuiltin),
@@ -208,26 +272,67 @@ func runtimeHelperContracts() []RuntimeHelperContract {
 		runtimeHelper(RuntimeHelperRecover, "recover", RuntimeHelperCategoryBuiltin),
 		runtimeHelper(RuntimeHelperMin, "min", RuntimeHelperCategoryBuiltin),
 		runtimeHelper(RuntimeHelperMax, "max", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperComplex, "complex", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperReal, "real", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperImag, "imag", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperUint64Shl, "uint64Shl", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperUint64Shr, "uint64Shr", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperInt64Shl, "int64Shl", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperInt64Shr, "int64Shr", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperUintShr, "uintShr", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperUint64Div, "uint64Div", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperUint64Mod, "uint64Mod", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperUint64Mul, "uint64Mul", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperUint64Add, "uint64Add", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperUint64Sub, "uint64Sub", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperUint64And, "uint64And", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperUint64Or, "uint64Or", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperUint64Xor, "uint64Xor", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperInt64Div, "int64Div", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperInt64Mod, "int64Mod", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperInt64Mul, "int64Mul", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperInt64Add, "int64Add", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperInt64Sub, "int64Sub", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperInt64And, "int64And", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperInt64Or, "int64Or", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperInt64Xor, "int64Xor", RuntimeHelperCategoryBuiltin),
 		runtimeHelper(RuntimeHelperAssignStruct, "assignStruct", RuntimeHelperCategoryValue),
 		runtimeHelper(RuntimeHelperMarkAsStructValue, "markAsStructValue", RuntimeHelperCategoryValue),
+		runtimeHelper(RuntimeHelperCloneStructValue, "cloneStructValue", RuntimeHelperCategoryValue),
+		runtimeHelper(RuntimeHelperCloneArrayValue, "cloneArrayValue", RuntimeHelperCategoryValue),
 		runtimeHelper(RuntimeHelperPointerValue, "pointerValue", RuntimeHelperCategoryValue),
+		runtimeHelper(RuntimeHelperPointerValueOrNil, "pointerValueOrNil", RuntimeHelperCategoryValue),
+		runtimeHelper(RuntimeHelperArrayEqual, "arrayEqual", RuntimeHelperCategoryValue),
+		runtimeHelper(RuntimeHelperComparableEqual, "comparableEqual", RuntimeHelperCategoryValue),
 		runtimeHelper(RuntimeHelperVarRef, "varRef", RuntimeHelperCategoryVarRef),
+		runtimeHelper(RuntimeHelperFieldRef, "fieldRef", RuntimeHelperCategoryVarRef),
 		runtimeHelper(RuntimeHelperUnref, "unref", RuntimeHelperCategoryVarRef),
 		runtimeHelper(RuntimeHelperIsVarRef, "isVarRef", RuntimeHelperCategoryVarRef),
+		runtimeHelper(RuntimeHelperUnsupportedPointerRef, "unsupportedPointerRef", RuntimeHelperCategoryVarRef),
 		runtimeHelper(RuntimeHelperMakeSlice, "makeSlice", RuntimeHelperCategorySlice),
 		runtimeHelper(RuntimeHelperGoSlice, "goSlice", RuntimeHelperCategorySlice),
 		runtimeHelper(RuntimeHelperArrayToSlice, "arrayToSlice", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperArrayPointerFromIndexRef, "arrayPointerFromIndexRef", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperSliceToArray, "sliceToArray", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperSliceToArrayPointer, "sliceToArrayPointer", RuntimeHelperCategorySlice),
 		runtimeHelper(RuntimeHelperAppend, "append", RuntimeHelperCategorySlice),
 		runtimeHelper(RuntimeHelperCopy, "copy", RuntimeHelperCategorySlice),
 		runtimeHelper(RuntimeHelperAsArray, "asArray", RuntimeHelperCategorySlice),
 		runtimeHelper(RuntimeHelperStringToRunes, "stringToRunes", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperRangeString, "rangeString", RuntimeHelperCategorySlice),
 		runtimeHelper(RuntimeHelperStringToRune, "stringToRune", RuntimeHelperCategorySlice),
 		runtimeHelper(RuntimeHelperRunesToString, "runesToString", RuntimeHelperCategorySlice),
 		runtimeHelper(RuntimeHelperStringToBytes, "stringToBytes", RuntimeHelperCategorySlice),
 		runtimeHelper(RuntimeHelperBytesToString, "bytesToString", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperStringEqual, "stringEqual", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperStringCompare, "stringCompare", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperStringHeaderRef, "stringHeaderRef", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperSliceHeaderRef, "sliceHeaderRef", RuntimeHelperCategorySlice),
 		runtimeHelper(RuntimeHelperGenericBytesOrStringToString, "genericBytesOrStringToString", RuntimeHelperCategorySlice),
 		runtimeHelper(RuntimeHelperIndexStringOrBytes, "indexStringOrBytes", RuntimeHelperCategorySlice),
 		runtimeHelper(RuntimeHelperSliceStringOrBytes, "sliceStringOrBytes", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperIndexRef, "indexRef", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperIndexAddress, "indexAddress", RuntimeHelperCategorySlice),
 		runtimeHelper(RuntimeHelperMakeMap, "makeMap", RuntimeHelperCategoryMap),
 		runtimeHelper(RuntimeHelperMapGet, "mapGet", RuntimeHelperCategoryMap),
 		runtimeHelper(RuntimeHelperMapSet, "mapSet", RuntimeHelperCategoryMap),
@@ -247,6 +352,7 @@ func runtimeHelperContracts() []RuntimeHelperContract {
 		runtimeHelper(RuntimeHelperTypeSwitch, "typeSwitch", RuntimeHelperCategoryType),
 		runtimeHelper(RuntimeHelperTypedNil, "typedNil", RuntimeHelperCategoryType),
 		runtimeHelper(RuntimeHelperInterfaceValue, "interfaceValue", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperNamedValueInterfaceValue, "namedValueInterfaceValue", RuntimeHelperCategoryType),
 		runtimeHelper(RuntimeHelperFunctionValue, "functionValue", RuntimeHelperCategoryType),
 		runtimeHelper(RuntimeHelperNamedFunction, "namedFunction", RuntimeHelperCategoryType),
 		runtimeHelper(RuntimeHelperGenericZero, "genericZero", RuntimeHelperCategoryType),
@@ -277,3 +383,97 @@ func runtimeHelper(
 		Category: category,
 	}
 }
+
+func scanBuiltinRuntimeExports() (map[string]bool, error) {
+	index, err := gs.GsOverrides.ReadFile("gs/builtin/index.ts")
+	if err != nil {
+		return nil, err
+	}
+	exports := make(map[string]bool)
+	for _, module := range builtinReexportModules(string(index)) {
+		data, err := gs.GsOverrides.ReadFile("gs/builtin/" + module + ".ts")
+		if err != nil {
+			return nil, errors.Wrapf(err, "read builtin export module %s", module)
+		}
+		for _, name := range sourceExportNames(string(data)) {
+			exports[name] = true
+		}
+	}
+	return exports, nil
+}
+
+func builtinReexportModules(index string) []string {
+	var modules []string
+	for line := range strings.SplitSeq(index, "\n") {
+		line = strings.TrimSpace(line)
+		if !strings.HasPrefix(line, "export * from ") {
+			continue
+		}
+		module := quotedModulePath(line)
+		module = strings.TrimPrefix(module, "./")
+		module = strings.TrimSuffix(module, ".js")
+		if module != "" {
+			modules = append(modules, module)
+		}
+	}
+	slices.Sort(modules)
+	return modules
+}
+
+func quotedModulePath(line string) string {
+	for _, quote := range []string{"'", "\""} {
+		_, remaining, ok := strings.Cut(line, quote)
+		if !ok {
+			continue
+		}
+		module, _, ok := strings.Cut(remaining, quote)
+		if ok {
+			return module
+		}
+	}
+	return ""
+}
+
+func sourceExportNames(data string) []string {
+	names := make(map[string]bool)
+	for line := range strings.SplitSeq(data, "\n") {
+		line = strings.TrimSpace(line)
+		for _, prefix := range []string{
+			"export async function ",
+			"export function ",
+			"export const ",
+			"export class ",
+			"export enum ",
+			"export type ",
+			"export interface ",
+		} {
+			if !strings.HasPrefix(line, prefix) {
+				continue
+			}
+			name := exportNameAfterPrefix(line, prefix)
+			if name != "" {
+				names[name] = true
+			}
+		}
+	}
+	result := make([]string, 0, len(names))
+	for name := range names {
+		result = append(result, name)
+	}
+	slices.Sort(result)
+	return result
+}
+
+func exportNameAfterPrefix(line, prefix string) string {
+	remaining := strings.TrimSpace(strings.TrimPrefix(line, prefix))
+	for idx, char := range remaining {
+		if char == '_' || char == '$' ||
+			(char >= 'a' && char <= 'z') ||
+			(char >= 'A' && char <= 'Z') ||
+			(idx > 0 && char >= '0' && char <= '9') {
+			continue
+		}
+		return remaining[:idx]
+	}
+	return remaining
+}

package/compiler/runtime-contract_test.go

@@ -11,36 +11,40 @@ func TestRuntimeContractOwnsBuiltinImportAndHelpers(t *testing.T) {
 	}
 
 	wantHelpers := map[RuntimeHelper]RuntimeHelperCategory{
-		RuntimeHelperPrintln:              RuntimeHelperCategoryBuiltin,
-		RuntimeHelperPrint:                RuntimeHelperCategoryBuiltin,
-		RuntimeHelperInt:                  RuntimeHelperCategoryBuiltin,
-		RuntimeHelperByte:                 RuntimeHelperCategoryBuiltin,
-		RuntimeHelperVarRef:               RuntimeHelperCategoryVarRef,
-		RuntimeHelperUnref:                RuntimeHelperCategoryVarRef,
-		RuntimeHelperAssignStruct:         RuntimeHelperCategoryValue,
-		RuntimeHelperMarkAsStructValue:    RuntimeHelperCategoryValue,
-		RuntimeHelperPointerValue:         RuntimeHelperCategoryValue,
-		RuntimeHelperMakeSlice:            RuntimeHelperCategorySlice,
-		RuntimeHelperAppend:               RuntimeHelperCategorySlice,
-		RuntimeHelperMakeMap:              RuntimeHelperCategoryMap,
-		RuntimeHelperMapGet:               RuntimeHelperCategoryMap,
-		RuntimeHelperNewError:             RuntimeHelperCategoryError,
-		RuntimeHelperRegisterStructType:   RuntimeHelperCategoryType,
-		RuntimeHelperTypeAssert:           RuntimeHelperCategoryType,
-		RuntimeHelperTypedNil:             RuntimeHelperCategoryType,
-		RuntimeHelperInterfaceValue:       RuntimeHelperCategoryType,
-		RuntimeHelperFunctionValue:        RuntimeHelperCategoryType,
-		RuntimeHelperNamedFunction:        RuntimeHelperCategoryType,
-		RuntimeHelperGenericZero:          RuntimeHelperCategoryType,
-		RuntimeHelperCallGenericMethod:    RuntimeHelperCategoryType,
-		RuntimeHelperMakeChannel:          RuntimeHelperCategoryChannel,
-		RuntimeHelperSelectStatement:      RuntimeHelperCategoryChannel,
-		RuntimeHelperDisposableStack:      RuntimeHelperCategoryDefer,
-		RuntimeHelperAsyncDisposableStack: RuntimeHelperCategoryDefer,
-		RuntimeHelperGetHostRuntime:       RuntimeHelperCategoryHost,
-		RuntimeHelperWriteHostStdoutText:  RuntimeHelperCategoryHost,
-		RuntimeHelperWriteHostStderrText:  RuntimeHelperCategoryHost,
-		RuntimeHelperIsMainScript:         RuntimeHelperCategoryHost,
+		RuntimeHelperPrintln:                  RuntimeHelperCategoryBuiltin,
+		RuntimeHelperPrint:                    RuntimeHelperCategoryBuiltin,
+		RuntimeHelperInt:                      RuntimeHelperCategoryBuiltin,
+		RuntimeHelperUint:                     RuntimeHelperCategoryBuiltin,
+		RuntimeHelperByte:                     RuntimeHelperCategoryBuiltin,
+		RuntimeHelperVarRef:                   RuntimeHelperCategoryVarRef,
+		RuntimeHelperUnref:                    RuntimeHelperCategoryVarRef,
+		RuntimeHelperUnsupportedPointerRef:    RuntimeHelperCategoryVarRef,
+		RuntimeHelperAssignStruct:             RuntimeHelperCategoryValue,
+		RuntimeHelperMarkAsStructValue:        RuntimeHelperCategoryValue,
+		RuntimeHelperPointerValue:             RuntimeHelperCategoryValue,
+		RuntimeHelperMakeSlice:                RuntimeHelperCategorySlice,
+		RuntimeHelperAppend:                   RuntimeHelperCategorySlice,
+		RuntimeHelperIndexAddress:             RuntimeHelperCategorySlice,
+		RuntimeHelperMakeMap:                  RuntimeHelperCategoryMap,
+		RuntimeHelperMapGet:                   RuntimeHelperCategoryMap,
+		RuntimeHelperNewError:                 RuntimeHelperCategoryError,
+		RuntimeHelperRegisterStructType:       RuntimeHelperCategoryType,
+		RuntimeHelperTypeAssert:               RuntimeHelperCategoryType,
+		RuntimeHelperTypedNil:                 RuntimeHelperCategoryType,
+		RuntimeHelperInterfaceValue:           RuntimeHelperCategoryType,
+		RuntimeHelperNamedValueInterfaceValue: RuntimeHelperCategoryType,
+		RuntimeHelperFunctionValue:            RuntimeHelperCategoryType,
+		RuntimeHelperNamedFunction:            RuntimeHelperCategoryType,
+		RuntimeHelperGenericZero:              RuntimeHelperCategoryType,
+		RuntimeHelperCallGenericMethod:        RuntimeHelperCategoryType,
+		RuntimeHelperMakeChannel:              RuntimeHelperCategoryChannel,
+		RuntimeHelperSelectStatement:          RuntimeHelperCategoryChannel,
+		RuntimeHelperDisposableStack:          RuntimeHelperCategoryDefer,
+		RuntimeHelperAsyncDisposableStack:     RuntimeHelperCategoryDefer,
+		RuntimeHelperGetHostRuntime:           RuntimeHelperCategoryHost,
+		RuntimeHelperWriteHostStdoutText:      RuntimeHelperCategoryHost,
+		RuntimeHelperWriteHostStderrText:      RuntimeHelperCategoryHost,
+		RuntimeHelperIsMainScript:             RuntimeHelperCategoryHost,
 	}
 	for helper, category := range wantHelpers {
 		contract, ok := owner.Helper(helper)
@@ -88,3 +92,13 @@ func TestCompileServiceSharesRuntimeContractOwner(t *testing.T) {
 		t.Fatalf("qualified println helper = %q, want $.println", got)
 	}
 }
+
+func TestRuntimeContractHelpersAreExportedByBuiltinRuntime(t *testing.T) {
+	missing, err := NewRuntimeContractOwner().MissingRuntimeExports()
+	if err != nil {
+		t.Fatal(err.Error())
+	}
+	if len(missing) != 0 {
+		t.Fatalf("runtime helper exports missing from gs/builtin: %v", missing)
+	}
+}

package/compiler/semantic-model-types.go

@@ -12,6 +12,8 @@ type SemanticModel struct {
 	addressTaken             map[types.Object]bool
 	needsVarRef              map[types.Object]bool
 	functions                map[*types.Func]*semanticFunction
+	functionsByFullName      map[string]*semanticFunction
+	functionLookupMisses     map[*types.Func]bool
 	types                    map[*types.Named]*semanticType
 	values                   map[types.Object]*semanticValue
 	generatedImports         map[string]map[string]bool
@@ -64,12 +66,13 @@ type semanticField struct {
 }
 
 type semanticValue struct {
-	name          string
-	object        types.Object
-	typ           types.Type
-	zeroValueKind string
-	position      sourcePosition
-	topLevel      bool
+	name                    string
+	object                  types.Object
+	typ                     types.Type
+	zeroValueKind           string
+	position                sourcePosition
+	topLevel                bool
+	asyncCompatibleFunction bool
 }
 
 type semanticFunction struct {
@@ -79,6 +82,7 @@ type semanticFunction struct {
 	receiver        *types.Named
 	receiverPointer bool
 	position        sourcePosition
+	hasBody         bool
 	async           bool
 	asyncReasons    []string
 	calls           map[*types.Func]bool
@@ -91,6 +95,21 @@ type semanticInterfaceImplementation struct {
 	asyncMethods map[string]bool
 }
 
+type semanticInterfaceImplementationGraphEntry struct {
+	typ          *types.Named
+	iface        *types.Named
+	pointer      bool
+	ifaceMethods map[string]*types.Func
+	implMethods  map[string]*types.Func
+}
+
+type semanticImplementationMethodSet struct {
+	typ      *types.Named
+	receiver types.Type
+	pointer  bool
+	methods  map[string]*types.Func
+}
+
 type semanticTypeAssertion struct {
 	position sourcePosition
 	source   types.Type