Function TestBoundsCheckingNegative

analysis/declcheck_test.go:141–188

(t *testing.T)

}

func TestBoundsCheckingNegative(t *testing.T) {
	tests := []struct {
		name      string
		boundDecl ast.BoundDecl
	}{
		{
			name:      "not enough bounds",
			boundDecl: ast.NewBoundDecl(ast.StringBound),
		},
		{
			name: "bad type expressions - too many args",
			boundDecl: ast.NewBoundDecl(
				ast.ApplyFn{symbols.ListType, []ast.BaseTerm{ast.NumberBound, ast.AnyBound}},
				ast.AnyBound),
		},
		{
			name: "bad type expression - not enough args",
			boundDecl: ast.NewBoundDecl(
				ast.AnyBound,
				ast.ApplyFn{symbols.PairType, []ast.BaseTerm{ast.NumberBound}}),
		},
		{
			name: "bad type expression - empty union",
			boundDecl: ast.NewBoundDecl(
				ast.AnyBound,
				ast.ApplyFn{symbols.UnionType, nil}),
		},
		{
			name: "bad type expression - tuple with less than 3 args",
			boundDecl: ast.NewBoundDecl(
				ast.AnyBound,
				ast.ApplyFn{symbols.TupleType, []ast.BaseTerm{ast.NumberBound}}),
		},
		{
			name: "predicate bound not allowed in structured type expression",
			boundDecl: ast.NewBoundDecl(
				ast.ApplyFn{symbols.ListType, []ast.BaseTerm{ast.String("foo")}},
				ast.ApplyFn{symbols.PairType, []ast.BaseTerm{ast.NumberBound, ast.AnyBound}}),
		},
	}
	for _, test := range tests {
		t.Run(test.name, func(t *testing.T) {
			if errs := checkBoundDecl(test.boundDecl); errs == nil {
				t.Errorf("%s: expected error %+v", test.name, test.boundDecl)
			}
		})
	}
}

func TestDescrCheckingPositive(t *testing.T) {
	tests := []struct {