Remove vestigial proper-syntax-path? predicate (#716)

Co-authored-by: copilot-swe-agent[bot] <[email protected]>
Co-authored-by: jackfirth <[email protected]>
Co-authored-by: Jack Firth <[email protected]>

Author: Copilot

private/syntax-delta.rkt

@@ -49,7 +49,7 @@
 
 (struct splice-replacement (start-path replaced-children-count new-children)
   #:transparent
-  #:guard (struct-guard/c proper-syntax-path? exact-nonnegative-integer? (treelist/c added-syntax?))
+  #:guard (struct-guard/c syntax-path? exact-nonnegative-integer? (treelist/c added-syntax?))
   #:sealed)
 
 

private/syntax-path.rkt

@@ -10,7 +10,6 @@
   [syntax-path<=> (comparator/c syntax-path?)]
   [empty-syntax-path? (-> any/c boolean?)]
   [nonempty-syntax-path? (-> any/c boolean?)]
-  [proper-syntax-path? (-> any/c boolean?)]
   [empty-syntax-path syntax-path?]
   [syntax-path (-> (sequence/c exact-nonnegative-integer?) syntax-path?)]
   [syntax-path-elements (-> syntax-path? (treelist/c exact-nonnegative-integer?))]
@@ -25,10 +24,8 @@
   [syntax-ref (-> syntax? syntax-path? syntax?)]
   [syntax-contains-path? (-> syntax? syntax-path? boolean?)]
   [syntax-set (-> syntax? syntax-path? syntax? syntax?)]
-  [syntax-remove-splice
-   (-> syntax? (and/c proper-syntax-path? nonempty-syntax-path?) exact-nonnegative-integer? syntax?)]
-  [syntax-insert-splice
-   (-> syntax? (and/c proper-syntax-path? nonempty-syntax-path?) (sequence/c syntax?) syntax?)]
+  [syntax-remove-splice (-> syntax? nonempty-syntax-path? exact-nonnegative-integer? syntax?)]
+  [syntax-insert-splice (-> syntax? nonempty-syntax-path? (sequence/c syntax?) syntax?)]
   [syntax-label-paths (-> syntax? symbol? syntax?)]))
 
 
@@ -92,14 +89,8 @@
     (check-false (nonempty-syntax-path? 42))))
 
 
-(define (proper-syntax-path? v)
-  (and (syntax-path? v)
-       (for/and ([elem (in-treelist (syntax-path-elements v))])
-         (exact-nonnegative-integer? elem))))
 
 
-; TODO: add tests for proper-syntax-path?
-
 
 (define (syntax-path-add path element)
   (syntax-path (treelist-add (syntax-path-elements path) element)))