equal
deleted
inserted
replaced
32 let |
32 let |
33 val blobs = |
33 val blobs = |
34 YXML.parse_body blobs_yxml |> |
34 YXML.parse_body blobs_yxml |> |
35 let open XML.Decode in |
35 let open XML.Decode in |
36 list (variant |
36 list (variant |
37 [fn ([a, b], []) => Exn.Res (a, b), |
37 [fn ([], a) => Exn.Res (pair string (option string) a), |
38 fn ([a], []) => Exn.Exn (ERROR a)]) |
38 fn ([], a) => Exn.Exn (ERROR (string a))]) |
39 end; |
39 end; |
40 in |
40 in |
41 Document.change_state (Document.define_command (Document_ID.parse id) name blobs text) |
41 Document.change_state (Document.define_command (Document_ID.parse id) name blobs text) |
42 end); |
42 end); |
43 |
43 |