I would think it is the syntax-error. There is nothing wrong about reporting an incorrectly formed policy and nothing sacred about type incorrectness. This is what status codes are for. Does your language interpreter or compiler just die in silence if there is a typo in the code? D;