anchor.diff:  
   open Wireclub.iOS.DB
   
  +type PushNotification =
  +| Unknown
  +| PrivateChat of string
   
   [<Register ("AppDelegate")>]
   type AppDelegate () =
  
positive.code:                     
          window.RootViewController <- navigationController
          window.MakeKeyAndVisible ()
  
  #if DEBUG
          let rec tick () = async {
  
negative.code:                         (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>]
  