Function TestRelTypeExprFromDecl

symbols/symbols_test.go:216–235

(t *testing.T)

}

func TestRelTypeExprFromDecl(t *testing.T) {
	relTypeExpr, err := RelTypeExprFromDecl(ast.Decl{
		ast.NewAtom("foo", ast.Variable{"X"}, ast.Variable{"Y"}),
		nil,
		[]ast.BoundDecl{
			ast.NewBoundDecl(ast.StringBound, ast.NumberBound),
			ast.NewBoundDecl(ast.NumberBound, ast.StringBound),
		},
		nil,
	})
	if err != nil {
		t.Fatal(err)
	}
	want := NewUnionType(
		NewRelType(ast.StringBound, ast.NumberBound),
		NewRelType(ast.NumberBound, ast.StringBound))
	if !relTypeExpr.Equals(want) {
		t.Errorf("%v.Equals(%v)=false want true", relTypeExpr, want)
	}
}

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