removed some warnings

src/dropbox.opa

@@ -135,7 +135,7 @@ Please re-run your application with: --dropbox-config option")
       match (segs) {
       case []: []
       case ["." | xs]: aux(xs)
-      case [x, ".." | xs]: aux(xs)
+      case [_x, ".." | xs]: aux(xs)
       case [x | xs]: [x | aux(xs)]
       }
     }

src/facebook.opa

@@ -104,7 +104,7 @@ Please re-run your application with: --fb-config option")
       outcome = FbGraph.Post.feed(feed, creds.token)
       response =
         match (outcome) {
-        case {~success}: <>Successfully published Facebook feed item: «{feed.message}»</>
+        case {success:_}: <>Successfully published Facebook feed item: «{feed.message}»</>
         case {~error}: <>Error: <b>{error.error}</b>; {error.error_description}</>
         }
       Service.respond_with(response)

src/twitter.opa

@@ -80,7 +80,7 @@ Please re-run your application with: --twitter-config option")
 
   private function authenticate() {
     match (TWA.get_request_token(redirect)) {
-    case {~error}:
+    case {error:_}:
       Service.respond_with(<>Twitter authorization failed</>)
     case {success: token}:
       auth_url = TWA.build_authorize_url(token.token)

src/webshell.opa

@@ -113,7 +113,7 @@ function page(cmd) {
 }
 
 function connect(connector, raw_data) {
-  connector(Text.to_string(raw_data))
+  _ = connector(Text.to_string(raw_data))
   Resource.default_redirection_page("/")
 }