Re: I have no idea why this will not compile.

[mockturtle <framefritti@gmail.com>]

You already received two answers that help you to solve the problem.  However, depending on your knowledge of Ada, maybe a longer explanation could be useful.

"limited" in Ada is used to mark a type that cannot be copied.  For example, task types are limited (it does not make much sense copying a task), protected objects are limited (what means to copy them is doubtful).  In the case of File_Type I guess they are limited because the file has an "internal state" that could be bring to subtle errors if copied.  (BTW, also in C you never copy a FILE, but a pointer to FILE, never copying the underling structure).

In Ada is not permitted to use a limited type as a component of a *non limited* record, since this would allow you to avoid the original limited restriction (by copying the record you would copy also the limited component).  Because of this, Ada requires that you declare limited any record that has a limited component.

Solutions?  I can think about three solutions:

1.  Make the record limited
2. Use an access to the limited type
3. Move the limited component outside the record

I think that the best solution depends on your specfic case.

Riccardo