From b3d7a0d6541592eb36774866603d99866e730244 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 23 Feb 2016 17:13:12 +0100 Subject: [PATCH] missing constraint in `CCSexpM.ID_MONAD` --- src/sexp/CCSexpM.mli | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/sexp/CCSexpM.mli b/src/sexp/CCSexpM.mli index 66186e75..a7c8c9a8 100644 --- a/src/sexp/CCSexpM.mli +++ b/src/sexp/CCSexpM.mli @@ -86,9 +86,10 @@ module MakeDecode(M : MONAD) : sig long enough or isn't a proper S-expression *) end -module ID_MONAD : MONAD +module ID_MONAD : MONAD with type 'a t = 'a (** The monad that just uses blocking calls as bind - @since 0.14 *) + @since 0.14 + ['a t = 'a] contraint is @since NEXT_RELEASE *) module D : module type of MakeDecode(ID_MONAD) (** Decoder that just blocks when input is not available