Skip to content

Detection/prevention of orphan instances #25

Open
@lexi-lambda

Description

@lexi-lambda

I am okay with permitting orphan instances. However, I think they should be an error by default, so users will have to explicitly opt-in to them. The methods outlined in this blog post are probably relevant to this.

Declaring an orphan instance can probably be done via keyword in an instance declaration, like this:

(instance #:orphan (Foo Bar) ...)

It should be an error to use #:orphan when the instance isn’t actually an orphan instance to avoid redundant #:orphan annotations. If this ever becomes a problem, we can probably weaken it to a warning.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions