Shouldn't an empty interval be a runtime error?