First paragraph: you're right. That's why I explicitly said that subtype polymorphism isn't mere syntactic sugar. Second paragraph: that, is past the limit of

First paragraph: you're right. That's why I explicitly said that subtype polymorphism isn't mere syntactic sugar. Second paragraph: that, is past the limit of what one could reasonably call "syntactic sugar". Now I only have an intuitive idea of which compilation process is syntactic sugar, and which is not. I feel however that we could find a nice mathematical definition that nearly everyone will agree with.