Skip to content

ops.semantics.call should be absorbed into ops.syntax._CallableTerm.__call__ #330

@eb8680

Description

@eb8680

In the wake of #300, it no longer seems necessary to make call a special piece of the API distinct from other special methods. We should move it into the definition of _CallableTerm, as partially done in #305.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions