General syntax classes for types (base type, type constructor, binding type)

typing-syntax-classes.rkt

  (define-syntax-class base-type
    #:attributes (name internal-name)
    (pattern ((~literal #%plain-app) internal-name:id)
             #:with (_ ... name) (syntax-property this-syntax 'orig)))
  (define-syntax-class ctor-type
    #:attributes (name internal-name [arg 1])
    (pattern ((~literal #%plain-app) internal-name:id
              ((~literal #%plain-lambda) ()
               ((~literal #%expression) . _)
               arg ...))
             #:with (_ ... (name . _)) (syntax-property this-syntax 'orig)))
  (define-syntax-class bind-type
    #:attributes (name internal-name [bv 1] [arg 1])
    (pattern ((~literal #%plain-app) internal-name:id
              ((~literal #%plain-lambda) (bv:id ...)
               ((~literal #%expression) . _)
               arg ...))
             #:with (_ ... (name . _)) (syntax-property this-syntax 'orig)))