Method newSimpleFuncType

linter/internal/types/graph.go:39–54

(returnType placeholderID, argNames ...ast.Identifier)

type exprTypes map[ast.Node]TypeDesc

func (g *typeGraph) newSimpleFuncType(returnType placeholderID, argNames ...ast.Identifier) placeholderID {
	p := g.newPlaceholder()
	params := []ast.Parameter{}
	for _, argName := range argNames {
		params = append(params, ast.Parameter{Name: argName})
	}
	g._placeholders[p] = concreteTP(TypeDesc{
		FunctionDesc: &functionDesc{
			resultContains: []placeholderID{returnType},
			params:         params,
			minArity:       len(argNames),
			maxArity:       len(argNames),
		},
	})
	return p
}

func (g *typeGraph) newFuncType(returnType placeholderID, params []ast.Parameter) placeholderID {
	p := g.newPlaceholder()