23 Aug
2013
23 Aug
'13
6:34 p.m.
(I forgot to send to the list, trying again) Thank you very much for your detailed explanation! On Fri, Aug 23, 2013 at 1:24 PM, Richard Eisenberg <eir@cis.upenn.edu>wrote:
This is a good question. Happily, there are at least two decent answers.
1) We're not sure that this problem cannot cause a segfault… it's just that we've been unable to produce one when trying. Perhaps we haven't tried hard enough.
I successfully constructed such an example. https://github.com/takano-akio/type-family-overlap - Akio