Re: [Typer] mailing list test - PInductive parsing bug