Toplevel : spurious type printer after redefinition #11286
Description
After entering the following statements in the OCaml toplevel:
# type t = A;;
type t = A
# type t = B;;
type t = B
# type t = C;;
type t = C
The types of A and B are both represented as t/2:
# A;;
- : t/2 = A
# B;;
- : t/2 = B
But (as expected) these values are not treated as if they were of the same type:
# A = B ;;
Error: This variant expression is expected to have type t/2
There is no constructor B within type t/2