Searched refs:cloneEvBindsVar (Results 1 – 2 of 2) sorted by relevance
94 newTcEvBinds, newNoTcEvBinds, cloneEvBindsVar,1494 cloneEvBindsVar :: EvBindsVar -> TcM EvBindsVar1497 cloneEvBindsVar ebv@(EvBindsVar {}) function1502 cloneEvBindsVar ebv@(CoEvBindsVar {}) function
229 = do { binds' <- cloneEvBindsVar binds