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:     let window = new UIWindow (UIScreen.MainScreen.Bounds)
      let entryController = new EntryViewController()
      let navigationController = new UINavigationController(entryController)
  
      override this.FinishedLaunching (app, options) =
          Api.agent <- "wireclub-app-ios/" + NSBundle.MainBundle.InfoDictionary.["CFBundleVersion"].ToString()
  
negative.code: 
  open Wireclub.iOS.DB
  
  type PushNotification =
  | Unknown
  | PrivateChat of string
  
  [<Register ("AppDelegate")>]
  type AppDelegate () =
  