|
33 | 33 | {3 Example} |
34 | 34 |
|
35 | 35 | {[ |
36 | | - module Example = struct |
37 | | - module V2 = struct |
38 | | - let version = 2 |
39 | | -
|
40 | | - type header = unit [@@deriving repr] |
41 | | - type row = [ `A | `B | `C ] [@@deriving repr] |
42 | | - end |
43 | | -
|
44 | | - module V1 = struct |
45 | | - let version = 1 |
46 | | -
|
47 | | - type header = unit [@@deriving repr] |
48 | | - type row = [ `A | `B ] [@@deriving repr] |
49 | | -
|
50 | | - let to_v2 x = (x :> V2.row) |
51 | | - end |
52 | | -
|
53 | | - module V0 = struct |
54 | | - let version = 0 |
55 | | -
|
56 | | - type header = unit [@@deriving repr] |
57 | | - type row = [ `A of int | `B of int ] [@@deriving repr] |
58 | | -
|
59 | | - let to_v1 = function `A _ -> `A | `B _ -> `B |
60 | | - end |
61 | | -
|
62 | | - module Latest = V2 |
63 | | - include Latest |
64 | | -
|
65 | | - include Trace_common.Io (struct |
66 | | - module Latest = Latest |
67 | | -
|
68 | | - let magic = Trace_common.Magic.of_string "Magique_" |
69 | | -
|
70 | | - let get_version_converter = function |
71 | | - | 2 -> |
72 | | - Trace_common.Version_converter |
73 | | - { |
74 | | - header_t = V2.header_t; |
75 | | - row_t = V2.row_t; |
76 | | - upgrade_header = Fun.id; |
77 | | - upgrade_row = Fun.id; |
78 | | - } |
79 | | - | 1 -> |
80 | | - Version_converter |
81 | | - { |
82 | | - header_t = V1.header_t; |
83 | | - row_t = V1.row_t; |
84 | | - upgrade_header = Fun.id; |
85 | | - upgrade_row = V1.to_v2; |
86 | | - } |
87 | | - | 0 -> |
88 | | - Version_converter |
89 | | - { |
90 | | - header_t = V0.header_t; |
91 | | - row_t = V0.row_t; |
92 | | - upgrade_header = Fun.id; |
93 | | - upgrade_row = (fun x -> V0.to_v1 x |> V1.to_v2); |
94 | | - } |
95 | | - | i -> Fmt.invalid_arg "Unknown Example version %d" i |
96 | | - end) |
| 36 | + module Example = struct |
| 37 | + module V2 = struct |
| 38 | + let version = 2 |
| 39 | +
|
| 40 | + type header = unit [@@deriving repr] |
| 41 | + type row = [ `A | `B | `C ] [@@deriving repr] |
| 42 | + end |
| 43 | +
|
| 44 | + module V1 = struct |
| 45 | + let version = 1 |
| 46 | +
|
| 47 | + type header = unit [@@deriving repr] |
| 48 | + type row = [ `A | `B ] [@@deriving repr] |
| 49 | +
|
| 50 | + let to_v2 x = (x :> V2.row) |
97 | 51 | end |
| 52 | +
|
| 53 | + module V0 = struct |
| 54 | + let version = 0 |
| 55 | +
|
| 56 | + type header = unit [@@deriving repr] |
| 57 | + type row = [ `A of int | `B of int ] [@@deriving repr] |
| 58 | +
|
| 59 | + let to_v1 = function `A _ -> `A | `B _ -> `B |
| 60 | + end |
| 61 | +
|
| 62 | + module Latest = V2 |
| 63 | + include Latest |
| 64 | +
|
| 65 | + include Trace_common.Io (struct |
| 66 | + module Latest = Latest |
| 67 | +
|
| 68 | + let magic = Trace_common.Magic.of_string "Magique_" |
| 69 | +
|
| 70 | + let get_version_converter = function |
| 71 | + | 2 -> |
| 72 | + Trace_common.Version_converter |
| 73 | + { |
| 74 | + header_t = V2.header_t; |
| 75 | + row_t = V2.row_t; |
| 76 | + upgrade_header = Fun.id; |
| 77 | + upgrade_row = Fun.id; |
| 78 | + } |
| 79 | + | 1 -> |
| 80 | + Version_converter |
| 81 | + { |
| 82 | + header_t = V1.header_t; |
| 83 | + row_t = V1.row_t; |
| 84 | + upgrade_header = Fun.id; |
| 85 | + upgrade_row = V1.to_v2; |
| 86 | + } |
| 87 | + | 0 -> |
| 88 | + Version_converter |
| 89 | + { |
| 90 | + header_t = V0.header_t; |
| 91 | + row_t = V0.row_t; |
| 92 | + upgrade_header = Fun.id; |
| 93 | + upgrade_row = (fun x -> V0.to_v1 x |> V1.to_v2); |
| 94 | + } |
| 95 | + | i -> Fmt.invalid_arg "Unknown Example version %d" i |
| 96 | + end) |
| 97 | + end |
98 | 98 | ]} *) |
99 | 99 |
|
100 | 100 | module Seq = struct |
|
0 commit comments