ADA - Manejo listas error

Buenas, a ver si me podeis hechar una mano, es una practica de la uni de manejo de listas a traves de un modulo. El modulo en si funciona ya con un ejemplo que nos dio funciona bien, a mi parecer lo estoy adaptando bien, a ver si os ocurre donde esta el fallo.

criba.adb (el programa): http://pastebin.com/m6af6b912
lista.ads (especificaciones del modulo): http://pastebin.com/deac2069
lista.adb (el modulo): http://pastebin.com/m1df57b66

Este es el debug:
$ gnatmake criba.adb
gcc-ada -c criba.adb
criba.adb:53:19: expected private type "Tipo" defined at lista.ads:9, instance at line 23
criba.adb:53:19: found type "Standard.Integer"
gnatmake: "criba.adb" compilation error

Saludos y gracias.

El error de compilación indica que se esperaba un tipo privado llamado "Tipo" definido en el archivo "lista.ads" en la línea 9, pero se encontró un tipo "Standard.Integer" en su lugar. Esto sugiere que hay una discrepancia en la implementación del tipo en el archivo "criba.adb".

Para resolver este problema, verifica que la implementación en "criba.adb" esté utilizando el tipo correcto definido en "lista.ads". Asegúrate de que el tipo utilizado coincida exactamente con el tipo definido en las especificaciones del módulo.

Además, asegúrate de que los archivos "lista.ads" y "lista.adb" estén en el mismo directorio que el archivo "criba.adb" para que puedan ser encontrados durante la compilación.

Si el problema persiste, verifica que no haya otros errores en la implementación del módulo y que todos los nombres y tipos estén correctamente definidos y utilizados en el programa principal.

Recuerda revisar la documentación y ejemplos proporcionados para comprender completamente cómo utilizar y adaptar el módulo de manejo de listas a tu programa.