Opened 3 years ago

Closed 21 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 2 years ago by benl

  • Type changed from defect to enhancement

comment:2 Changed 21 months ago by benl

  • Component changed from Source Type Inferencer to Source Typing

comment:3 Changed 21 months ago by benl

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