Opened 23 months ago

Closed 9 months ago

#401 closed enhancement (invalid)

In Resolver, check for incoherent instances.

Reported by: benl Owned by:
Priority: normal Milestone:
Component: Source Typing Version: 0.4.2
Keywords: Cc:

Description

During elaboration we currently just use the first candidate binding of the wanted type. If there are multiple bindings of the same type in the context then the result will be incoherent.

Change History (3)

comment:1 Changed 16 months ago by benl

  • Type changed from defect to enhancement

comment:2 Changed 9 months ago by benl

  • Component changed from Source Type Inferencer to Source Typing

comment:3 Changed 9 months ago by benl

  • Resolution set to invalid
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.