On compact singularities for regular functions of one quaternionic variable