From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Line-Terminator-Independent Text I/O (Mostly)
Date: Sun, 14 Feb 2016 11:20:28 -0700
Date: 2016-02-14T11:20:28-07:00 [thread overview]
Message-ID: <n9qgbt$ngl$1@dont-email.me> (raw)
In-Reply-To: <e347e626-4047-42ef-b810-1b23f7d9e91c@googlegroups.com>
On 02/14/2016 10:39 AM, comicfanzine@gmail.com wrote:
>
> There is a End_Error problem with this package , that i don't understand :
>
> dead-code@machine:~/Bureau/PragmARC-Ada-07$ "./main"
>
> Execution terminated by unhandled exception
> Exception name: ADA.IO_EXCEPTIONS.END_ERROR
> Message: s-stratt.adb:194
> Call stack traceback locations:
> 0x8069483 0x804c5e9 0x804bdfc 0x804c8d0 0x804a04f 0xb75664d1 0x8049a9f
> dead-code@machine:~/Bureau/PragmARC-Ada-07$
>
>
> dead-code@machine:~/Bureau/PragmARC-Ada-07$ addr2line --exe=main 0x8069483 0x804c5e9 0x804bdfc 0x804c8d0 0x804a04f 0xb75664d1 0x8049a9f
> ??:0
> /home/dead-code/Bureau/PragmARC-Ada-07/pragmarc-text_io.adb:210
> /home/dead-code/Bureau/PragmARC-Ada-07/pragmarc-text_io.adb:93
> /home/dead-code/Bureau/PragmARC-Ada-07/main.adb:22
> /home/dead-code/Bureau/PragmARC-Ada-07/b~main.adb:293
Interesting. I was unable to reproduce the problem. Could you send the file used
as input to pragmada@pragmada.x10hosting.com ?
--
Jeff Carter
"Unix and C are the ultimate computer viruses."
Richard Gabriel
99
next prev parent reply other threads:[~2016-02-14 18:20 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-02-08 4:50 Line-Terminator-Independent Text I/O (Mostly) PragmAda Software Engineering
2016-02-14 17:39 ` comicfanzine
2016-02-14 18:20 ` Jeffrey R. Carter [this message]
2016-02-14 21:14 ` PragmAda Software Engineering
2016-02-14 19:41 ` comicfanzine
2016-02-15 7:52 ` comicfanzine
2016-02-15 16:48 ` Jeffrey R. Carter
2016-02-15 22:24 ` comicfanzine
2016-02-16 17:45 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox