alpha
Login
or
Join now
anil.recoil.org
/
ocaml-jmap
Star
0
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
This repository has no description
Star
0
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
Overview
Issues
Pulls
Pipelines
manual fixes
author
Anil Madhavapeddy
date
1 year ago
(Mar 9, 2025, 12:55 PM UTC)
commit
307b3d63
307b3d63b7b5680a58cb12fdae534bc624349d2c
parent
5fc3576a
5fc3576a66bce77a7d67d3ab04f5120809ac9082
+5
-6
2 changed files
Expand all
Collapse all
Unified
Split
bin
flag_color_test.ml
lib
jmap_mail.ml
+1
-2
bin/flag_color_test.ml
Reviewed
···
1
1
(** Demo of message flags and mailbox attributes functionality *)
2
2
3
3
-
open Jmap
4
3
open Jmap_mail.Types
5
4
6
5
(** Demonstrate flag color functionality *)
···
90
89
let () =
91
90
demo_flag_colors ();
92
91
demo_message_keywords ();
93
93
-
demo_mailbox_attributes ()
92
92
+
demo_mailbox_attributes ()
+4
-4
lib/jmap_mail.ml
Reviewed
···
1709
1709
inv.name = "Email/set") response.method_responses in
1710
1710
let args = method_response.arguments in
1711
1711
match Ezjsonm.find_opt args ["updated"] with
1712
1712
-
| Some (`A ids) -> Ok ()
1712
1712
+
| Some (`A _ids) -> Ok ()
1713
1713
| _ ->
1714
1714
match Ezjsonm.find_opt args ["notUpdated"] with
1715
1715
-
| Some (`O errors) ->
1715
1715
+
| Some (`O _errors) ->
1716
1716
Error (Parse_error ("Failed to update email: " ^ email_id))
1717
1717
| _ -> Error (Parse_error "Unexpected response format")
1718
1718
with
···
1773
1773
inv.name = "Email/set") response.method_responses in
1774
1774
let args = method_response.arguments in
1775
1775
match Ezjsonm.find_opt args ["updated"] with
1776
1776
-
| Some (`A ids) -> Ok ()
1776
1776
+
| Some (`A _ids) -> Ok ()
1777
1777
| _ ->
1778
1778
match Ezjsonm.find_opt args ["notUpdated"] with
1779
1779
-
| Some (`O errors) ->
1779
1779
+
| Some (`O _errors) ->
1780
1780
Error (Parse_error ("Failed to update email: " ^ email_id))
1781
1781
| _ -> Error (Parse_error "Unexpected response format")
1782
1782
with