Re: GNAT and Dimension Checking

[Jacob Sparre Andersen <sparre@nbi.dk>]

AdaMagica wrote:

> What astonishes me is that there are so few responses. Every now and
> then in the past, it seemed there were urgent requests for physical
> unit checking, and now that an ingenious proposal is there, there is
> dead silence.

Some of us are patiently waiting for Ludovic et al. to merge the
relevant patches into the Debian GNAT packages.

I find it interesting that AdaCore seem to have found a general solution
to the problem, but for the moment I manage fine with a slightly
modified version of Macks and statically generated checks.

Greetings,

Jacob
-- 
"War does not determine who is right - only who is left."
                                         -- Bertrand Russell