[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Generalizing Types as Provable Invariants



Pixel wrote:

> [lots of template C++ code]

I don't see the dependent types in your code.  I see lots of macro
(template) expansion and macro-time constants and arithmetic, but
those aren't dependent types.

If you care to make this point, perhaps you also care to do it less
opaquely (and more concisely)?

Shriram