Commit 61f69abe authored by Stephane Glondu's avatar Stephane Glondu
Browse files

Move EMPTY to Signatures

parent 73ea9cfd
...@@ -19,6 +19,7 @@ ...@@ -19,6 +19,7 @@
(* <http://www.gnu.org/licenses/>. *) (* <http://www.gnu.org/licenses/>. *)
(**************************************************************************) (**************************************************************************)
open Signatures
open Util open Util
let remove_dashes x = let remove_dashes x =
...@@ -46,7 +47,7 @@ module type PARAMS = sig ...@@ -46,7 +47,7 @@ module type PARAMS = sig
val dir : string ref val dir : string ref
end end
module GetParams (X : sig end) : PARAMS = struct module GetParams (X : EMPTY) : PARAMS = struct
(* Argument parsing *) (* Argument parsing *)
......
...@@ -56,7 +56,7 @@ module type PARAMS = sig ...@@ -56,7 +56,7 @@ module type PARAMS = sig
end end
module GetParams (X : sig end) : PARAMS = struct module GetParams (X : EMPTY) : PARAMS = struct
(* Command-line arguments *) (* Command-line arguments *)
......
...@@ -21,6 +21,7 @@ ...@@ -21,6 +21,7 @@
open Util open Util
open Serializable_t open Serializable_t
open Signatures
module type PARAMS = sig module type PARAMS = sig
val group : (module Election.FF_GROUP) val group : (module Election.FF_GROUP)
...@@ -28,7 +29,7 @@ module type PARAMS = sig ...@@ -28,7 +29,7 @@ module type PARAMS = sig
val template : template val template : template
end end
module GetParams (X : sig end) : PARAMS = struct module GetParams (X : EMPTY) : PARAMS = struct
let group = ref None let group = ref None
let uuid = ref None let uuid = ref None
let template = ref None let template = ref None
......
...@@ -21,12 +21,13 @@ ...@@ -21,12 +21,13 @@
open Util open Util
open Serializable_t open Serializable_t
open Signatures
module type PARAMS = sig module type PARAMS = sig
val group : (module Election.FF_GROUP) val group : (module Election.FF_GROUP)
end end
module GetParams (X : sig end) : PARAMS = struct module GetParams (X : EMPTY) : PARAMS = struct
let group = ref None let group = ref None
let speclist = Arg.([ let speclist = Arg.([
......
...@@ -21,6 +21,9 @@ ...@@ -21,6 +21,9 @@
(** Signatures *) (** Signatures *)
(** Empty module *)
module type EMPTY = sig end
(** A group suitable for discrete logarithm-based cryptography. *) (** A group suitable for discrete logarithm-based cryptography. *)
module type GROUP = sig module type GROUP = sig
(** The following interface is redundant: it is assumed, but not (** The following interface is redundant: it is assumed, but not
......
...@@ -22,6 +22,7 @@ ...@@ -22,6 +22,7 @@
open Lwt open Lwt
open Util open Util
open Serializable_t open Serializable_t
open Signatures
open Web_serializable_t open Web_serializable_t
open Web_signatures open Web_signatures
open Web_common open Web_common
......
...@@ -20,6 +20,7 @@ ...@@ -20,6 +20,7 @@
(**************************************************************************) (**************************************************************************)
open Serializable_t open Serializable_t
open Signatures
open Web_serializable_t open Web_serializable_t
open Web_signatures open Web_signatures
......
...@@ -24,8 +24,6 @@ open Serializable_t ...@@ -24,8 +24,6 @@ open Serializable_t
open Web_serializable_t open Web_serializable_t
open Signatures open Signatures
module type EMPTY = sig end
module type SAVED_SERVICE = sig module type SAVED_SERVICE = sig
val s : val s :
(unit, unit, (unit, unit,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment