anchor.diff:                          (fun _ -> ())
   
           override this.ReceivedRemoteNotification(app, userInfo) =
  -            ()
  +            match app.ApplicationState with 
  +            | UIApplicationState.Active -> () 
  +            | UIApplicationState.Background
  +            | UIApplicationState.Inactive -> 
  +                match parsePushNotification userInfo with
  +                | PrivateChat id -> ()
  +                | _ -> ()
  +            | _ -> ()
   
   module Main =
       [<EntryPoint>]
  
positive.code: 
  open Wireclub.iOS.DB
  
  
  [<Register ("AppDelegate")>]
  type AppDelegate () =
  
negative.code:     let window = new UIWindow (UIScreen.MainScreen.Bounds)
      let entryController = new EntryViewController()
      let navigationController = new UINavigationController(entryController)
  
      let parsePushNotification (info:NSDictionary) =
          match info.TryGetValue(NSObject.FromObject "aps") with
          | true, null -> Unknown
          | true, aps when aps.GetType() = typeof<NSDictionary> ->
              let aps = aps :?> NSDictionary
              match aps.TryGetValue(NSObject.FromObject "u") with
              | true, null -> Unknown
              | true, u -> PrivateChat (u.ToString())
              | _ -> Unknown
          | _ -> Unknown
  
  
      override this.FinishedLaunching (app, options) =
          Api.agent <- "wireclub-app-ios/" + NSBundle.MainBundle.InfoDictionary.["CFBundleVersion"].ToString()
  