Home
last modified time | relevance | path

Searched refs:sameDef (Results 1 – 4 of 4) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DPolarity.hs337 whenNothingM (sameDef d d0) __IMPOSSIBLE__
H A DRecords.hs669 whenNothingM (conName con `sameDef` conName con_) $ do
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DSignature.hs642 sameDef :: HasConstInfo m => QName -> QName -> m (Maybe QName)
643 sameDef d1 d2 = do function
/dports/devel/intel-graphics-compiler/intel-graphics-compiler-igc-1.0.9636/visa/
H A DOptimizer.cpp5614 bool sameDef = false; in isHeaderOptReuse() local
5620 sameDef = true; in isHeaderOptReuse()
5624 if (sameDef == false) in isHeaderOptReuse()