3 ms·
Do you need a test to verify that your compiler correctly checks the type signature? (Actually, that could be occasionally useful in the face of implicit conver
by winstonewert 10y ago
Do you need a test to verify that your compiler correctly checks the type signature? (Actually, that could be occasionally useful in the face of implicit conversions)
- eropple 10y agoMy compilers have test suites.
- winstonewert 10y agoAnd the compiler that generates the assert also has a test suite for that.
- bbcbasic 10y agoYou can't get true 100% coverage* on digital hardware. (on quantum maybe!) so what to test or not is always a judgement call. Most of the time I'd assume the software stack is trustworthy but if you are doing something extreme you may want to test the compiler or even formally prove the compiler works as expected. * true as in all possible inputs and outputs rather than merely all code paths
- winstonewert 10y agoPerhaps a better way to ask my question: do you write a test to make sure your type signature was correct?