From: "Björn Lundin" <b.f.lundin@gmail.com>
Subject: Re: problems parse (large) json file with gnatcoll.json
Date: Mon, 25 Apr 2016 17:12:20 +0200
Date: 2016-04-25T17:12:20+02:00 [thread overview]
Message-ID: <nflbu7$nia$1@dont-email.me> (raw)
In-Reply-To: <de4c183c-ce11-47f5-94a7-59d60108c087@googlegroups.com>
On 2016-04-25 12:38, briot.emmanuel@gmail.com wrote:
> On Monday, April 18, 2016 at 9:12:49 PM UTC+2, björn lundin wrote:
>> The loading function now looks like
>>
>> function Load_File(Filename : in String) return String is
>
> Since you are using GNATCOLL, you might as well go all the way and look at the
> other packages there. In particular, GNATCOLL.Mmap or GNATCOLL.VFS.Read_File
> provide the ability to efficiently read a file from the disk
>
Thanks Emmanuel.
Not for this task,
but the mmap looks interesting for other.
--
--
Björn
next prev parent reply other threads:[~2016-04-25 15:12 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-04-18 18:21 problems parse (large) json file with gnatcoll.json Björn Lundin
2016-04-18 18:51 ` Jeffrey R. Carter
2016-04-18 19:05 ` Björn Lundin
2016-04-19 19:48 ` Shark8
2016-04-20 7:50 ` AdaMagica
2016-04-21 8:44 ` Björn Lundin
2016-04-25 10:38 ` briot.emmanuel
2016-04-25 15:12 ` Björn Lundin [this message]
2016-04-18 18:59 ` joakimds
2016-04-18 19:23 ` Björn Lundin
2016-04-19 8:17 ` Jacob Sparre Andersen
2016-04-19 9:14 ` Björn Lundin
2016-04-19 9:56 ` gautier_niouzes
2016-04-19 12:49 ` G.B.
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox