User loginNavigation 
archivesNontransitivity of type unificationWe know type unification is not transitive in general
And it's easy to find examples that don't unify
In all the examples I can make up, there's two outer types that don't unify, and a piggy in the middle that is either strictly more general than the outers (bare For some (malicious) testing, I want an example where each three pairings of types unify, but the three types together do not. That is
Can anybody concoct such an example? 
Browse archivesActive forum topics
New forum topics

Recent comments
1 day 19 hours ago
3 days 14 hours ago
2 weeks 15 hours ago
2 weeks 6 days ago
3 weeks 6 days ago
5 weeks 4 days ago
6 weeks 19 hours ago
7 weeks 1 day ago
7 weeks 4 days ago
7 weeks 5 days ago