Searched refs:rCgMap (Results 1 – 1 of 1) sorted by relevance
1124 , rCgMap :: IORef CgMap function1266 … when (isJust mbCode) $ modifyState st rCgMap (Map.insert nm (fromJust mbCode)) (return ())1697 , rCgMap = cgs function1724 … , rAsserts=asserts, rUsedKinds=usedKinds, rCgMap=cgs, rCInfo=cInfo, rConstraints=cstrs