Method semMapCall

compiler/semantic/expr.go:889–920

(call *ast.CallExpr, args []sem.Expr, argTypes []super.Type)

}

func (t *translator) semMapCall(call *ast.CallExpr, args []sem.Expr, argTypes []super.Type) (sem.Expr, super.Type) {
	if len(args) != 2 {
		t.error(call, errors.New("map requires two arguments"))
		return badExpr, t.checker.unknown
	}
	ref, ok := args[1].(*sem.FuncRef)
	if !ok {
		t.error(call, errors.New("second argument to map must be a function"))
		return badExpr, t.checker.unknown
	}
	elemType, ok := t.checker.hasArray(argTypes[0])
	if !ok {
		t.error(call, errors.New("map expression must be an array"))
		return badExpr, t.checker.unknown
	}
	mapArgs := []sem.Expr{sem.NewThis(call.Args[1], nil)}
	mapTypes := []super.Type{elemType}
	t.checker.pushErrs()
	e, typ := t.resolver.resolveCall(call.Args[1], ref.ID, mapArgs, mapTypes)
	errs := t.checker.popErrs()
	for _, err := range errs {
		t.error(err.loc, fmt.Errorf("in functon called from map: %w", err.err))
	}
	if callExpr, ok := e.(*sem.CallExpr); ok {
		return &sem.MapCallExpr{
			Node:   call,
			Expr:   args[0],
			Lambda: callExpr,
		}, t.sctx.LookupTypeArray(typ)
	}
	return e, t.sctx.LookupTypeArray(typ)
}

func (t *translator) semExtractExpr(e, partExpr, argExpr ast.Expr, inType super.Type) (sem.Expr, super.Type) {
	var partstr string