Searched refs:sameDef (Results 1 – 4 of 4) sorted by relevance
337 whenNothingM (sameDef d d0) __IMPOSSIBLE__
669 whenNothingM (conName con `sameDef` conName con_) $ do
642 sameDef :: HasConstInfo m => QName -> QName -> m (Maybe QName)643 sameDef d1 d2 = do function
5614 bool sameDef = false; in isHeaderOptReuse() local5620 sameDef = true; in isHeaderOptReuse()5624 if (sameDef == false) in isHeaderOptReuse()