[Ada] Spurious compile failure with nested packages

2017-04-25 Thread Arnaud Charlet
This patch adds a predicate to verify that entities within an inner package do not rely on library unit level private types in cases where the full view of said private types are unseen. Tested on x86_64-pc-linux-gnu, committed on trunk 2017-04-25 Justin Squirek * sem_ch3.adb (Analyze

[Ada] Spurious compile failure with nested packages

2017-04-25 Thread Arnaud Charlet
This patch adds another condition to an edge case used to delay expression function freezing (P804-015). The offending package is within the body of a library-level unit where this edge-case does not apply. By adding a condition that only delays freezing of expression functions if we are in a libra