-> is an undocumented synonym for => ?

[jbclements]

This program signals an error that doesn't make sense to me, but I think it might be because -> is secretly a synonym for =>:

#lang racket

(require nanopass/base)

(define-language R2a
  (Type (ty)
        (Void)
        (-> ty (ty* ...))
        ))

Specifically, this produces the error:

define-language: found mutually recursive nonterminals in: Type

which doesn't really make any sense to me, but I get the same error if I replace the -> with a =>, and suggests to me that this is interpreting the production as one using a prettifier.

[texdraft]

The -> is supposed to allow specifying a prettifying procedure. A typo prevents the functionality from working, however.

Edit: Just noticed that this is mentioned in the LOG file.

  * added a second pretty form (->) for writing procedural unparsing of
    nonterminal productions.

The code seems to want to allow the procedure expression to use ... in quasiquote, but that doesn't work.