add rename-super and rename-inner tests

Author: rfindler

drracket-tool-test/tests/check-syntax/syncheck-direct.rkt

@@ -520,6 +520,45 @@
   '((66 77) (92 95)) ;; sketchy; should we eliminate?
   '((85 88) (92 95))))
 
+
+
+;                                                                                               
+;                                                                                               
+;                                                                                               
+;                                                                                               
+;                                                                                               
+;       ;;;            ;;;;;;;                         ;;;                             ;;;      
+;       ;;;           ;;;                              ;;;                             ;;;      
+;    ;; ;;;    ;;;   ;;;;; ;;;  ;;; ;;     ;;;         ;;;    ;;;      ;;;     ;;;;;   ;;;      
+;   ;;;;;;;   ;;;;;  ;;;;; ;;;  ;;;;;;;   ;;;;;        ;;;   ;;;;;    ;;;;;   ;;;;;;;  ;;;      
+;   ;;; ;;;  ;;; ;;;  ;;;  ;;;  ;;; ;;;  ;;; ;;;       ;;;  ;;; ;;;  ;;; ;;;  ;;; ;;;  ;;;      
+;   ;;; ;;;  ;;; ;;;  ;;;  ;;;  ;;; ;;;  ;;; ;;; ;;;;  ;;;  ;;; ;;;  ;;;         ;;;;  ;;; ;;;; 
+;   ;;; ;;;  ;;;;;;;  ;;;  ;;;  ;;; ;;;  ;;;;;;; ;;;;  ;;;  ;;; ;;;  ;;;       ;; ;;;  ;;; ;;;; 
+;   ;;; ;;;  ;;;      ;;;  ;;;  ;;; ;;;  ;;;           ;;;  ;;; ;;;  ;;; ;;;  ;;; ;;;  ;;;      
+;   ;;;;;;;   ;;;;;;  ;;;  ;;;  ;;; ;;;   ;;;;;;       ;;;   ;;;;;    ;;;;;   ;;;;;;;  ;;;      
+;    ;; ;;;    ;;;;   ;;;  ;;;  ;;; ;;;    ;;;;        ;;;    ;;;      ;;;     ;;;;;;  ;;;      
+;                                                                                               
+;
+;
+;                                                                                                             
+;                                                                                                             
+;                                        ;;;                                                                  
+;                                        ;;;                                                                  
+;   ;;; ;; ;;;      ;;;    ;;; ;; ;;;    ;;; ;;     ;;;    ;;; ;;     ;;; ;;    ;;;;;   ;;; ;; ;;;      ;;;   
+;   ;;;;;;;;;;;    ;;;;;   ;;;;;;;;;;;   ;;;;;;;   ;;;;;   ;;;;;      ;;;;;;;  ;;;;;;;  ;;;;;;;;;;;    ;;;;;  
+;   ;;; ;;; ;;;   ;;; ;;;  ;;; ;;; ;;;   ;;; ;;;  ;;; ;;;  ;;;        ;;; ;;;  ;;; ;;;  ;;; ;;; ;;;   ;;; ;;; 
+;   ;;; ;;; ;;;   ;;; ;;;  ;;; ;;; ;;;   ;;; ;;;  ;;; ;;;  ;;;  ;;;;  ;;; ;;;     ;;;;  ;;; ;;; ;;;   ;;; ;;; 
+;   ;;; ;;; ;;;   ;;;;;;;  ;;; ;;; ;;;   ;;; ;;;  ;;;;;;;  ;;;  ;;;;  ;;; ;;;   ;; ;;;  ;;; ;;; ;;;   ;;;;;;; 
+;   ;;; ;;; ;;;   ;;;      ;;; ;;; ;;;   ;;; ;;;  ;;;      ;;;        ;;; ;;;  ;;; ;;;  ;;; ;;; ;;;   ;;;     
+;   ;;; ;;; ;;;    ;;;;;;  ;;; ;;; ;;;   ;;;;;;;   ;;;;;;  ;;;        ;;; ;;;  ;;;;;;;  ;;; ;;; ;;;    ;;;;;; 
+;   ;;; ;;; ;;;     ;;;;   ;;; ;;; ;;;   ;;; ;;     ;;;;   ;;;        ;;; ;;;   ;;;;;;  ;;; ;;; ;;;     ;;;;  
+;                                                                                                             
+;                                                                                                             
+;                                                                                                             
+;                                                                                                             
+;                                                                                                             
+
+
 (check-equal?
  (for/set ([e (in-set
                (get-binding-arrows
@@ -675,6 +714,31 @@
   '((45 59) (206 220))
   '((45 59) (276 290))))
 
+(check-equal?
+ (for/set ([e (in-set
+               (get-binding-arrows
+                (string-append
+                 "(module m racket\n"
+                 "  (define-local-member-name\n"
+                 "    the-method-name1\n"
+                 "    the-method-name2)\n"
+                 "  (define (m %)\n"
+                 "    (class* % ()\n"
+                 "      (rename-super [the-super-method-name the-method-name1])\n"
+                 "      (rename-inner [the-inner-method-name the-method-name2])\n"
+                 "      (define/public (m x)\n"
+                 "        (the-super-method-name x)\n"
+                 "        (the-inner-method-name (lambda () 0) x))\n"
+                 "      (super-new))))\n")))]
+           ;; filter out arrows that don't start on the
+           ;; `the-init-name` that appears inside
+           ;; `define-local-member-name`
+           #:when (member (car e) (list '(49 65) '(70 86))))
+   e)
+ (set
+  '((49 65) (164 180))
+  '((70 86) (226 242))))
+
 
 
 ;