Original bug ID: 5391
Reporter: ripoche
Assigned to: @xavierleroy
Status: closed (set by @xavierleroy on 2013-08-31T10:43:58Z)
Resolution: duplicate
Priority: normal
Severity: major
Version: 3.11.2
Fixed in version: 3.12.1
Category: ~DO NOT USE (was: OCaml general)
Related to: #4778
Monitored by: laurent-carrie

Bug description

OCaml 3.11.2 on Windows (MSVC7.1 and MSVC8)

The following snippet generates illegal assembly.

module rec A : sig
type t = B.t
end = struct
type t = B.t
end and B : sig
type t = int
end = struct
type t = int
end

Additional information

D:>ocamlopt -verbose -c rec_modules.ml

• ml /nologo /coff /Cp /c /Fo"rec_modules.obj" "d:\work\tmp\camlasm809b80.asm"
  Assembling: d:\work\tmp\camlasm809b80.asm
  d:\work\tmp\camlasm809b80.asm(32) : error A2008: syntax error : L100014
  d:\work\tmp\camlasm809b80.asm(40) : error A2008: syntax error : L100013
  d:\work\tmp\camlasm809b80.asm(58) : error A2008: syntax error : L100011
  d:\work\tmp\camlasm809b80.asm(73) : error A2008: syntax error : L100009
  d:\work\tmp\camlasm809b80.asm(76) : error A2108: use of register assumed to ERROR
  d:\work\tmp\camlasm809b80.asm(78) : error A2108: use of register assumed to ERROR
  d:\work\tmp\camlasm809b80.asm(83) : error A2108: use of register assumed to ERROR
  d:\work\tmp\camlasm809b80.asm(89) : error A2108: use of register assumed to ERROR
  d:\work\tmp\camlasm809b80.asm(95) : error A2108: use of register assumed to ERROR
  d:\work\tmp\camlasm809b80.asm(100) : error A2108: use of register assumed to ERROR
  d:\work\tmp\camlasm809b80.asm(82) : error A2107: cannot have implicit far jump or call to near label
  d:\work\tmp\camlasm809b80.asm(88) : error A2107: cannot have implicit far jump or call to near label
  d:\work\tmp\camlasm809b80.asm(94) : error A2107: cannot have implicit far jump or call to near label
  d:\work\tmp\camlasm809b80.asm(99) : error A2107: cannot have implicit far jump or call to near label
  d:\work\tmp\camlasm809b80.asm(30) : error A2006: undefined symbol : L100014
  d:\work\tmp\camlasm809b80.asm(38) : error A2006: undefined symbol : L100013
  d:\work\tmp\camlasm809b80.asm(56) : error A2006: undefined symbol : L100011
  d:\work\tmp\camlasm809b80.asm(71) : error A2006: undefined symbol : L100009
  File "rec_modules.ml", line 1, characters 0-1:
  Error: Assembler error, input left in file d:\work\tmp\camlasm809b80.asm

File attachments

• camlasm809b80.asm
• rec_modules.ml