correction of errors at compile time