Home
last modified time | relevance | path

Searched refs:UnificationFailure (Results 1 – 5 of 5) sorted by relevance

/dports/textproc/py-nltk/nltk-3.4.1/nltk/
H A Dfeatstruct.py1346 UnificationFailure = _UnificationFailure() variable
1455 if result is UnificationFailure:
1558 return UnificationFailure
1581 return UnificationFailure
1649 result = UnificationFailure
1673 result = UnificationFailure
1688 if result is UnificationFailure:
1693 if result is UnificationFailure:
1780 if result is UnificationFailure:
2083 return UnificationFailure
[all …]
/dports/textproc/py-nltk/nltk-3.4.1/nltk/test/
H A Dfeatstruct.doctest338 >>> from nltk.featstruct import CustomFeatureValue, UnificationFailure
347 ... return UnificationFailure
351 ... else: return UnificationFailure
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DErrors.hs1348 instance PrettyTCM UnificationFailure where
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DBase.hs3509 , cantSplitFailures :: [UnificationFailure] -- ^ Reason(s) why unification got stuck.
3527 data UnificationFailure type
4727 instance NFData UnificationFailure
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/LHS/
H A DUnify.hs192 | UnifyStuck [UnificationFailure] -- ^ Some other error happened, unification got stuck.