Searched refs:DF_TM_TAG_CONS (Results 1 – 8 of 8) sorted by relevance
167 case DF_TM_TAG_CONS: in HNL_renumberAsEnv()237 case DF_TM_TAG_CONS: in HNL_renumberAsArg()368 case DF_TM_TAG_CONS: in HNL_suspAsEnv()418 case DF_TM_TAG_CONS: in HNL_suspAsArg()
419 case DF_TM_TAG_CONS: { return HN_hnormCons(tmPtr, whnf); } in HN_hnormDispatch()685 case DF_TM_TAG_CONS: { return HN_hnormConsOcc(tmPtr, whnf); } in HN_hnormDispatchOcc()1096 case DF_TM_TAG_CONS: { return HN_lnormCons(tmPtr, whnf); } in HN_lnormDispatch()
70 DF_TM_TAG_CONS, // list constructors enumerator
413 if (DF_termTag(tmPtr) != DF_TM_TAG_CONS) break; in PRINT_writeCons()678 case DF_TM_TAG_CONS: in PRINT_writeTerm()
372 { return (tmPtr -> tag.categoryTag == DF_TM_TAG_CONS); } in DF_isCons()594 ((DF_ConsTerm*)loc) -> tag.categoryTag = DF_TM_TAG_CONS; in DF_mkCons()
121 case DF_TM_TAG_CONS: in SINSTR_put_unsafe_value()604 case DF_TM_TAG_CONS: {AM_sreg=DF_consArgs(tmPtr); AM_writeFlag=OFF; return; } in SINSTR_get_list()1721 case DF_TM_TAG_CONS: { in SINSTR_switch_on_term()
560 case DF_TM_TAG_CONS: { EM_THROW(EM_FAIL);} in SINSTRL_unifyNil()
1466 case DF_TM_TAG_CONS: { in HOPU_matchHeads()