Searched refs:NoRRI (Results 1 – 9 of 9) sorted by relevance
139 arg_tys res_ty NoRRI rep_tycon tag
1055 = NoRRI -- ^ an ordinary promoted data con constructor2532 tyConRuntimeRepInfo _ = NoRRI
1092 = NoRRI -- ^ an ordinary promoted data con constructor2555 tyConRuntimeRepInfo _ = NoRRI
1040 = NoRRI -- ^ an ordinary promoted data con constructor2577 tyConRuntimeRepInfo _ = NoRRI
536 NoRRI
601 NoRRI
682 NoRRI