Searched refs:OCCURS_CHECK_ERROR (Results 1 – 4 of 4) sorted by relevance
243 OCCURS_CHECK_ERROR enumerator
386 case OCCURS_CHECK_ERROR: in raw_unify_ptrs()387 return unify_with_occurs_check(t1, t2, OCCURS_CHECK_ERROR PASS_LD); in raw_unify_ptrs()676 { if ( mode == OCCURS_CHECK_ERROR ) in unify_with_occurs_check()3503 case OCCURS_CHECK_ERROR: in unifiable_occurs_check()
2437 OCCURS_CHECK_ERROR /* exception if rational tree would result */ enumerator
481 { *val = OCCURS_CHECK_ERROR; in getOccursCheckMask()