Original bug ID: 7317
Reporter: kosik
Status: resolved (set by @damiendoligez on 2016-11-08T10:43:41Z)
Resolution: won't fix
Priority: low
Severity: tweak
Version: 4.03.0
Target version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Category: tools (ocaml{lex,yacc,dep,debug,...})

Bug description

In the shell, when I type:

echo 'module M1 =
struct
type t1 =
| V0
| V1
| V2
| V3
| V4
| V5
| V6
| V7
| V8
| V9
end

module M2 =
struct
type t2 = M1.t1 =
| V0
| V1
| V2
| V3
| V4
| V5
| V6
| V7777
| V8
| V9
end;;' | ocaml

I see this:

struct
type t1 = # module M1 =
structV0
type t1 =
| V0
| V1
| V2
| V3
| V4
| V5
| V6
| V7
| V8
| V9
endule M2 =
struct
module M2 = M1.t1 =
structV0
type t2 = M1.t1 =
| V0
| V1
| V2
| V3
| V4
| V5777
| V6
| V7777
| V8 ocaml
| V9l version 4.03.0
end;;
Error: This variant or record definition does not match that of type M1.t1
Fields number 8 have different names, V7 and V7777.

Which is strange.
It may be bug in my terminal
(I am able to reproduce this in "i3" as well as in "gnome-terminal")
or it may be a bug in the Ocaml toplevel itself
(if there is a correctly implemented terminal on which Ocaml toplevel's output looks properly).

Strange details are:

(1)

Why only first two lines are marked with ">" prefix?

(2)

Why do I see the following lines in the output:

  structV0

  | V5777

  | V8 ocaml

  | V9l version 4.03.0

?