Function TestCheckTypeExpressionStructured

builtin/builtin_test.go:534–598

(t *testing.T)

}

func TestCheckTypeExpressionStructured(t *testing.T) {
	tests := []struct {
		tpe  ast.BaseTerm
		good []ast.Constant
		bad  []ast.Constant
	}{
		{
			tpe: symbols.NewMapType(
				ast.NumberBound,
				ast.StringBound,
			),
			good: []ast.Constant{
				evalExpr(ast.ApplyFn{symbols.Map, []ast.BaseTerm{
					ast.Number(3), ast.String("three"),
					ast.Number(4), ast.String("four"),
				}}),
			},
			bad: []ast.Constant{
				evalExpr(ast.ApplyFn{symbols.Map, []ast.BaseTerm{
					ast.String("three"), ast.Number(3),
					ast.String("four"), ast.Number(4),
				}}),
			},
		},
		{
			tpe: symbols.NewStructType(
				name("/foo"),
				ast.NumberBound,
				name("/bar"),
				ast.StringBound,
				name("/baz"),
				symbols.NewListType(ast.NumberBound),
			),
			good: []ast.Constant{
				evalExpr(ast.ApplyFn{symbols.Struct, []ast.BaseTerm{
					name("/foo"), ast.Number(3),
					name("/bar"), ast.String("three"),
					name("/baz"), ast.ApplyFn{symbols.List, []ast.BaseTerm{
						ast.Number(23),
					}}}}),
			},
			bad: []ast.Constant{
				evalExpr(ast.ApplyFn{symbols.Struct, []ast.BaseTerm{
					name("/foo"), ast.Number(3),
				}}),
			},
		},
	}
	for _, test := range tests {
		h, err := symbols.NewBoundHandle(test.tpe)
		if err != nil {
			t.Errorf("NewMonoTypeHandle(%v) failed %v", test.tpe, err)
		}
		for _, c := range test.good {
			if !h.HasType(c) {
				t.Errorf("NewMonoTypeHandle(%v).HasType(%v)=false want true", test.tpe, c)
			}
		}