[Typer] mailing list test - PInductive parsing bug

File: pexp.ml Line: 130-152

Pinductive is expecting: (arg_kind * pvar * pexp option) list and (pexp list) is given. I modified the type declaration for this to work. But it is not what it should be.

Old Type Pinductive of symbol * (arg_kind * pvar * pexp option) * (symbol * (arg_kind * pvar option * pexp) list) list

Temporary Fix: Type Pinductive of symbol * pexp list * (symbol * (arg_kind * pvar option * pexp) list) list

Does (arg_kind * pvar * pexp option) <=> (typer code) pvar : pexp ? pexp: is a type pvar: variable name