Method sqlValues

compiler/semantic/sql.go:330–340

sqlValues analyzes the values expression which currently cannot depend on the input data (until we add support for lateral joins; then a values clause in the FROM can refer to the left relation).

(values *ast.SQLValues, seq sem.Seq)

// on the input data (until we add support for lateral joins; then a values
// clause in the FROM can refer to the left relation).
func (t *translator) sqlValues(values *ast.SQLValues, seq sem.Seq) (sem.Seq, *staticTable) {
	exprs := make([]sem.Expr, 0, len(values.Exprs))
	types := make([]super.Type, 0, len(values.Exprs))
	for _, astExpr := range values.Exprs {
		e, typ := t.expr(astExpr, super.TypeNull)
		exprs = append(exprs, e)
		types = append(types, typ)
	}
	seq = append(seq, sem.NewValues(values, exprs...))
	return seq, t.inferSchema(values, types)
}

// With type checking integrated into the SQL analysis, the logic here
// can always infer a staticTable.  Eventually, this will need to support