anchor.diff:      (cloAttribs,cloInternalFreeTyvars,cloContractFreeTyvars,cloFreeTyvars,cloFreeVars,ilCloTypeRef,Array.ofList ilCloFreeVars,eenvinner)
   
   
  -and GetIlxClosureInfo cenv mgbuf m isLocalTypeFunc  selfv eenvouter expr =
  +and GetIlxClosureInfo cenv m isLocalTypeFunc selfv eenvouter expr =
       let returnTy = 
         match expr with 
         | Expr.Lambda (_,_,_,_,_,_,returnTy) | Expr.TyLambda(_,_,_,_,returnTy) -> returnTy
  
positive.code:     | Expr.Lambda (_,_,_,_,_,m,_) 
      | Expr.TyLambda(_,_,_,m,_) -> 
            
          let cloinfo,body,eenvinner  = GetIlxClosureInfo cenv cgbuf.mgbuf m isLocalTypeFunc selfv eenv expr 
            
          let entryPointInfo = 
            match selfv with 
  
negative.code:                              match paraml with
                               | [[tsp]] when isUnitTy cenv.g tsp.Type -> [] (* suppress unit arg *)
                               | paraml -> paraml
                           GenActualSlotsig m cenv eenvinner (TSlotSig(nm,typ,ctps,mtps,paraml,returnTy)) [] []
                       yield! mkILDelegateMethods reprAccess cenv.g.ilg (cenv.g.iltyp_AsyncCallback, cenv.g.iltyp_IAsyncResult) (p,r)
                   | _ -> 
                       ()
  