使用Ada.Text_IO.Integer_IO

摆脱

我正在尝试编写以下程序:

with Ada.Text_IO;

procedure Main is

   type T is range 0 .. 18;
   package IO is new Ada.Text_IO.Integer_IO (T);

begin

   IO.Put (1);

end Main;

但是当我尝试编译时,出现以下错误消息:

main.adb:6:04: info: in instantiation at a-tiinio.ads:51
main.adb:6:04: info: "IO" requires body ("Get" requires completion)
main.adb:6:04: info: in instantiation at a-tiinio.ads:56
main.adb:6:04: info: "IO" requires body ("Get" requires completion)
main.adb:6:04: info: in instantiation at a-tiinio.ads:60
main.adb:6:04: info: "IO" requires body ("Put" requires completion)
main.adb:6:04: info: in instantiation at a-tiinio.ads:66
main.adb:6:04: info: "IO" requires body ("Put" requires completion)
main.adb:6:04: info: in instantiation at a-tiinio.ads:71
main.adb:6:04: info: "IO" requires body ("Get" requires completion)
main.adb:6:04: info: in instantiation at a-tiinio.ads:76
main.adb:6:04: info: "IO" requires body ("Put" requires completion)
a-tiinio.adb:59:07: (style) maximum nesting level exceeded
a-tiinio.adb:79:07: (style) maximum nesting level exceeded
a-tiinio.adb:100:07: (style) maximum nesting level exceeded
a-tiinio.adb:121:07: (style) maximum nesting level exceeded
a-tiinio.adb:134:07: (style) maximum nesting level exceeded
a-tiinio.adb:147:07: (style) maximum nesting level exceeded

本手册A.10.8了解,这Integer_IO是一个通用程序包,需要使用带符号的整数实例化。我也尝试使用subtype T is IntegerPositive,但是得到了相同的错误。

我究竟做错了什么?

奢华的

似乎您在样式检查中设置了不合适的最大嵌套级别,该级别由编译器开关“ -gnatyL”提供,然后通过“ -gnatwe”开关将编译器设置为将所有警告和样式检查视为错误。

本文收集自互联网,转载请注明来源。

如有侵权,请联系[email protected] 删除。

编辑于
0

我来说两句

0条评论
登录后参与评论

相关文章

来自分类Dev

使用 TEXT_IO 显示一条记录的过程

来自分类Dev

Ada:灵活的Text_IO File_Type,用于使用SET_OUTPUT重定向输出吗?

来自分类Dev

Ada.Text_IO.End_Of_File缓冲的副作用

来自分类Dev

使用Ada.Streams.Stream_IO.Read的流式文件的最大大小/偏移

来自分类Dev

io.ReadCloser 的使用

来自分类Dev

使用Java的文件IO

来自分类Dev

java.io.IOException:“ text / plain” DataContentHandler要求使用String对象,类型为[B]的对象

来自分类Dev

没有办法使用Data.Text.IO.hGetContents处理编码?

来自分类Dev

如何使用Data.Text.Lazy.IO与Aeson解析JSON文件

来自分类Dev

使用cgroup限制IO使用

来自分类Dev

Ada将Integer与String连接

来自分类Dev

如何使用sbt.IO?

来自分类Dev

如何正确使用FileUtils IO?

来自分类Dev

在Express io中使用https

来自分类Dev

如何使用`std::io::Command`

来自分类Dev

使用文件IO创建矩阵

来自分类Dev

更好地使用异步IO

来自分类Dev

使用VUE或vue-socket.io连接Socket.io

来自分类Javascript

Socket.io-无法使用socket.io.js

来自分类Dev

映射文件中的IO与使用文件流的IO

来自分类Dev

在 UDPSocket 中使用 IO#pos 和 IO#seek

来自分类Dev

通过IO :: Socket :: SOCKS代理使用IO :: Socket :: SSL

来自分类Dev

是否可以使用类型类将“ ReaderT(IO)IO a”更改为“ ReaderT(ia)IO a”?

来自分类Dev

如何使用Ada双链表

来自分类Java

在Android中使用Ada代码

来自分类Dev

ADA GPS与GtkAda的配合使用

来自分类Dev

Haskell:[IO()]至IO()

来自分类Dev

IO输入与IO检查

来自分类Dev

使用ASIS修改Ada源代码(Ada语义接口规范)