Initialization of recursive module containing alias causes Segmentation fault

[vicuna]

Original bug ID: 6578
Reporter: @garrigue
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2016-12-07T10:34:53Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.02.0
Target version: 4.02.1+dev
Fixed in version: 4.02.1+dev
Category: standard library
Monitored by: @hcarty

Bug description

The following program causes a segmentation fault.

module M : sig val f : 'a -> 'a end
module rec R : sig module M = M end = struct module M = M end

[vicuna]

Comment author: @garrigue

Fixed in branch 4.02, revision 15325.
CamlinternalMod was doing too much work
(i.e. copying a lambda_unit, the wrong way)