Searched refs:YesGeneralizeVar (Results 1 – 5 of 5) sorted by relevance
330 icod_ YesGeneralizeVar = return 0334 value 0 = return YesGeneralizeVar
687 genvals <- locallyTC eGeneralizeMetas (const YesGeneralizeVar) $
335 whenM ((== YesGeneralizeVar) <$> viewTC eGeneralizeMetas) $
1374 ((== YesGeneralizeVar) <$> isGeneralizableMeta x)
1253 = YesGeneralizeVar -- ^ Generalize because it is a generalizable variable. constructor