From 6178a8a5891fa4cac96fa5d834be0dc8f7ded74f Mon Sep 17 00:00:00 2001 From: Vasilis Papavasileiou Date: Mon, 19 Dec 2016 17:24:32 +0100 Subject: [PATCH] Permit suffix params in Eliom_service.create_attached_post --- src/lib/eliom_service.server.mli | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/lib/eliom_service.server.mli b/src/lib/eliom_service.server.mli index 8b950a5ec4..abaf1158b3 100644 --- a/src/lib/eliom_service.server.mli +++ b/src/lib/eliom_service.server.mli @@ -154,12 +154,12 @@ val create_attached_post : ?https:bool -> ?keep_nl_params:[ `All | `Persistent | `None ] -> fallback: - ('gp, unit, get, att, non_co, non_ext, _, - [`WithoutSuffix], 'gn, unit, non_ocaml) t -> + ('gp, unit, get, att, non_co, non_ext, _, 'suff, + 'gn, unit, non_ocaml) t -> post_params: ('pp, [`WithoutSuffix], 'pn) Eliom_parameter.params_type -> unit -> - ('gp, 'pp, post, att, co, non_ext, reg, [`WithoutSuffix], + ('gp, 'pp, post, att, co, non_ext, reg, 'suff, 'gn, 'pn, non_ocaml) t (** [attach ~fallback ~service ()] attaches the preexisting pathless