- ; return (env1, CoLam id') }
-zonkCoFn env (CoTyLam tv) = ASSERT( isImmutableTyVar tv )
- do { return (env, CoTyLam tv) }
-zonkCoFn env (CoApp id) = do { return (env, CoApp (zonkIdOcc env id)) }
-zonkCoFn env (CoTyApp ty) = do { ty' <- zonkTcTypeToType env ty
- ; return (env, CoTyApp ty') }
-zonkCoFn env (CoLet bs) = do { (env1, bs') <- zonkRecMonoBinds env bs
- ; return (env1, CoLet bs') }
+ ; return (env1, WpLam id') }
+zonkCoFn env (WpTyLam tv) = ASSERT( isImmutableTyVar tv )
+ do { return (env, WpTyLam tv) }
+zonkCoFn env (WpApp id) = do { return (env, WpApp (zonkIdOcc env id)) }
+zonkCoFn env (WpTyApp ty) = do { ty' <- zonkTcTypeToType env ty
+ ; return (env, WpTyApp ty') }
+zonkCoFn env (WpLet bs) = do { (env1, bs') <- zonkRecMonoBinds env bs
+ ; return (env1, WpLet bs') }