Re: Incompatible types for array conversion

[Simon Wright <simon@pushface.org>]

Niklas Holsti <niklas.holsti@tidorum.invalid> writes:

> The conversion is rejected because of the conversion condition in RM
> 4.6 (24.5/2): "The component subtypes shall statically match". The
> component (sub)types are Real and Length, which are different types,
> although Length is derived from Real. If you change the declaration of
> Length to be
>
>    subtype Length is Real;
>
> the conversion becomes legal.

I tried

   generic
      dim:		positive;
      type Real is digits <>;
   package Vectors is
      type Vector is array (1..dim) of Real'Base;

but it still failed. (GPL 2015, FSF 5.1.0)