Original bug ID: 6828
Reporter: @dbuenzli
Status: closed (set by @xavierleroy on 2017-02-16T14:15:00Z)
Resolution: won't fix
Priority: normal
Severity: minor
Version: 4.02.1
Category: ~DO NOT USE (was: OCaml general)
Related to: #4627 #6961

Bug description

I don't know if this is expected (a very quick look at the grammar language seems to indicate that it should not be accepted):

module M = struct let f x = x; end;;

module M : sig val f : 'a -> 'a end

It may be related to #4627