Function newChecker

compiler/semantic/checker.go:23–29

(t *translator)

}

func newChecker(t *translator) *checker {
	return &checker{
		t:       t,
		unknown: t.sctx.LookupTypeError(t.sctx.MustLookupTypeRecord(nil)),
		checked: make(map[super.Type]super.Type),
	}
}

func (c *checker) seq(typ super.Type, seq sem.Seq) super.Type {
	for len(seq) > 0 {