On Thu, Mar 9, 2017 at 10:24 PM, Olivier Hainque <hain...@adacore.com> wrote: >> Yes, unconditionally. > > Here's an adjusted patch, pleasantly simpler indeed > (thanks again for the suggestion). > > Test passes fine as well. > > Is this one OK ?
Ok. Richard. > Olivier > > * tree-switch-conversion (array_value_type): Start by > resetting candidate type to it's main variant. > > > > >