impc:ir:get-pretty-closure-arg-strings   scheme

(define impc:ir:get-pretty-closure-arg-strings
  (lambda (string-type . args)
    (if (not (char=? (string-ref string-type 0) #\[))
        (impc:compiler:print-bad-type-error string-type "closure type should start with '['")
        (let* ((s1 (regex:replace string-type "\\[(.*)\\]?.*" "$1"))
               (t1 (impc:ir:get-type-joiner
                    (cl:remove-if (lambda (x)
                                    (string=? x ""))
                                  (regex:match-all s1 impc:ir:regex-tc-or-a)))))
          t1))))