File tree Expand file tree Collapse file tree 1 file changed +9
-4
lines changed Expand file tree Collapse file tree 1 file changed +9
-4
lines changed Original file line number Diff line number Diff line change @@ -20,17 +20,22 @@ let uri () = "file:" ^ !default_path
2020
2121type debug_info = string
2222
23+ type edition_info = {
24+ edition : string ;
25+ xapi_params : (string * string ) list ;
26+ additional_params : (string * string ) list ;
27+ experimental_features : (string * bool ) list ;
28+ }
29+
2330exception Invalid_edition of string
2431exception V6d_failure
2532exception License_expired
2633exception License_processing_error
2734exception Missing_connection_details
2835exception License_checkout_error of string
2936
30- (* dbg_str -> requested edition -> current params ->
31- new edition * new xapi params * new additional params *)
32- external apply_edition : debug_info -> string -> (string * string ) list ->
33- string * (string * string ) list * (string * string ) list = " "
37+ (* dbg_str -> requested edition -> current params -> edition_info *)
38+ external apply_edition : debug_info -> string -> (string * string ) list -> edition_info = " "
3439
3540(* dbg_str -> list of editions *)
3641external get_editions : debug_info -> (string * (string * string * int )) list = " "
You can’t perform that action at this time.
0 commit comments