$ cat foo.ml module T = struct [@@warning "-32"] type t = {a:int} [@@deriving fields] end include T However I get a syntax error, even though this follows the example of the manual in section 7.221. Is this a bug in the manual?