“int” is a typexpr and thus a tag-spec and thus “[int]” is a polymorphic-variant-type and thus a typexpr and thus “= [int]” is a type-equation and thus a type-information and thus “s = [int]” is a typedef and thus “type s = [int]” is a type-definition which should be valid in the REPL. OCaml 4.00.1 declares a “syntax error”.

        OCaml version 4.00.1

# type s = [int];;
Error: Syntax error
#

Bug ID = 0005882 Like bug 0003835 ??