reflexpr interacts with Core Issue 1581, consider porting

Question

reflexpr interacts with Core Issue 1581, consider porting

hubert-reinterpretcast opened this issue 5 years ago · 3 comments

hubert-reinterpretcast commented 5 years ago

reflexpr introduces additional cases of contexts where instantiation should be triggered through the machinery of Core Issue 1581. This was covered by the resolution of CA 008 prior to the rebase.

Answer 1 · 2019-09-21T23:36:16.000Z

There is a negative interaction between the resolutions to CA 008 and CA 016 that should probably be sorted before resolving this issue.

Answer 2 · 2019-10-15T21:43:55.000Z

Do you have a concrete recommendation here? As I mentioned on #55 I don't think it is worthwhile to spend a lot of time dealing with concepts issues that already have resolutions.

Answer 3 · 2019-10-18T04:29:51.000Z

Whether there is a Core Issue 1581 interaction is up in the air without clarity over #65. I don't think we can act on this issue now.