Function TestBoundsCheckingPositive

analysis/declcheck_test.go:48–77

(t *testing.T)

}

func TestBoundsCheckingPositive(t *testing.T) {
	tests := []struct {
		name      string
		boundDecl ast.BoundDecl
	}{
		{
			name:      "simple arguments",
			boundDecl: ast.NewBoundDecl(ast.NameBound, ast.NumberBound),
		},
		{
			name: "proper type expressions",
			boundDecl: ast.NewBoundDecl(
				ast.ApplyFn{symbols.ListType, []ast.BaseTerm{ast.NumberBound}},
				ast.ApplyFn{symbols.PairType, []ast.BaseTerm{ast.NumberBound, ast.StringBound}}),
		},
		{
			name: "union type expressions",
			boundDecl: ast.NewBoundDecl(
				ast.ApplyFn{symbols.UnionType, []ast.BaseTerm{ast.NameBound, ast.NumberBound}},
				ast.ApplyFn{symbols.UnionType, []ast.BaseTerm{ast.NumberBound, ast.StringBound}}),
		},
	}
	for _, test := range tests {
		t.Run(test.name, func(t *testing.T) {
			if errs := checkBoundDecl(test.boundDecl); errs != nil {
				t.Error(errs[0])
			}
		})
	}
}

func TestCheckDeclExternal(t *testing.T) {
	testCases := []struct {