add field tests

Author: rfindler

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

@@ -646,6 +646,35 @@
   '((45 58) (179 192))
   '((45 58) (201 214))))
 
+(check-equal?
+ (for/set ([e (in-set
+               (get-binding-arrows
+                (string-append
+                 "(module m racket\n"
+                 "  (define-local-member-name the-field-name)\n"
+                 "  (define c%\n"
+                 "    (class* object% ()\n"
+                 "      (field [the-field-name (λ (x) x)])\n"
+                 "      (set! the-field-name void)\n"
+                 "      (list the-field-name)\n"
+                 "      (the-field-name 5)\n"
+                 "      (super-new)))\n"
+                 "\n"
+                 "  (class c%\n"
+                 "    (inherit-field the-field-name)\n"
+                 "    (super-new)))\n")))]
+           ;; filter out arrows that don't start on the
+           ;; `the-init-name` that appears inside
+           ;; `define-local-member-name`
+           #:when (equal? '(45 59) (car e)))
+   e)
+ (set
+  '((45 59) (111 125))
+  '((45 59) (150 164))
+  '((45 59) (183 197))
+  '((45 59) (206 220))
+  '((45 59) (276 290))))
+
 
 
 ;