4 ms·
Yes, but it might also reject correct programs. that's the point I'm trying to make.
by arianvanp 10y ago
Yes, but it might also reject correct programs. that's the point I'm trying to make.
- gary_bernhardt 10y agoThat doesn't contradict the quote that you provided. The quote just says "the compiler will reject the program at compile time [if there's no valid proof]", which is true.