From: John Perry <john.perry@usm.edu>
Subject: Re: Advent of Code, Day 17
Date: Fri, 18 Dec 2020 08:40:20 -0800 (PST) [thread overview]
Message-ID: <3eec3e60-7ac7-40de-844b-5dc16361a6ean@googlegroups.com> (raw)
In-Reply-To: <f94ccf70-bbd3-4a56-a3f4-c7c59d4bb88bn@googlegroups.com>
On Thursday, December 17, 2020 at 2:21:33 PM UTC-6, John Perry wrote:
> Alas, I discovered at least one bug in gnat, which I will report.
*Very* quick reply from AdaCore: "Indeed, and this code compiles now fine in the development version of GNAT. We'll add your code as part of our testsuite to ensure this test won't regress in the future!"
Advent of Code hasn't been a *complete* waste of time. ;-)
next prev parent reply other threads:[~2020-12-18 16:40 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-12-17 20:21 Advent of Code, Day 17 John Perry
2020-12-18 16:40 ` John Perry [this message]
2020-12-18 19:47 ` Gautier Write-Only Address
2020-12-19 10:37 ` Maxim Reznik
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox