strictMap in updateIdInfos probably doesn't do what was intended
In updateModetailsIdInfos
there is a call to strictMap
which doesn't actually force the right thing because the result of applying the function updateGlobalIds
is stored inside a lazy field in a Rule
. Therefore the value is only forced to the outermost rule which leaves a THUNK in the rule.
In general there are many many long-lived thunks due to updateModDetailsIdInfos
because of the lazy knot-tying. It seems like a place which could easily retain TypeEnv
s past their expiry date.