Duncan Sands wrote:
Goes away is a bit strong. In practice, front ends know about their back ends and are tuned in various ways for things to work well.Likewise, back-ends are tuned for their front-ends. Ciao, Duncan.
Yes indeed, in particular, there is often a substantial covert channel between the front end and back end (information passed with restrictions or details that are not properly documented). We try to avoid this for GNAT, but not with 100% success.