typecheck

Documentation

Index

• Variables

Variables

var Analyzer = &analysis.Analyzer{
	Name: "bigslice_typecheck",
	Doc: `check bigslice func call arguments

Basic typechecker for bigslice programs that inspects session.Run and
session.Must calls to ensure the arguments are compatible with the Func.
Checks are limited by static analysis and are best-effort. For example, the call
	session.Must(ctx, chooseFunc(), args...)
cannot be checked, because it uses chooseFunc() instead of a simple identifier.

Typechecking does not include any slice operations yet.`,
	Requires: []*analysis.Analyzer{inspect.Analyzer},
	Run:      run,
}