Fix 2 occurrences of inline-unnecessary-define

This variable is returned immediately and can be inlined.

Author: resyntax-ci[bot]

typed-racket-lib/typed-racket/static-contracts/combinators/exist.rkt

@@ -29,12 +29,10 @@
    (define (sc->contract v f)
      (match-define (exist-combinator (list names doms rngs)) v)
      (parameterize ([static-contract-may-contain-free-ids? #t])
-       (define a
-         (with-syntax ([doms-stx (f doms)]
-                       [rngs-stx (f rngs)]
-                       [n (car names)])
-           #'(->i ([n doms-stx]) (_ (n) rngs-stx))))
-       a))
+       (with-syntax ([doms-stx (f doms)]
+                     [rngs-stx (f rngs)]
+                     [n (car names)])
+         #'(->i ([n doms-stx]) (_ (n) rngs-stx)))))
    (define (sc->constraints v f)
      (simple-contract-restrict 'flat))])
 

typed-racket-test/main.rkt

@@ -59,21 +59,19 @@
                              (not (set-member? excl (path->string (file-name-from-path p*))))))
 
         (define-values [p*-base p*-name _] (split-path p*))
-        (define prm (list p*-base p*-name
-                          (if (places)
-                              (delay/thread
-                                (begin0 (run-in-other-place p* error?)
-                                        (when (zero? (modulo i 10))
-                                          (eprintf "."))))
-                              (delay
-                                (parameterize ([read-accept-reader #t]
-                                               [current-load-relative-directory p*-base]
-                                               [current-directory p*-base]
-                                               [current-output-port (open-output-nowhere)])
-                                  (begin0 (dr p*-name)
-                                          (when (zero? (modulo i 10))
-                                            (eprintf "."))))))))
-        prm))
+        (list p*-base
+              p*-name
+              (if (places)
+                  (delay/thread (begin0 (run-in-other-place p* error?)
+                                  (when (zero? (modulo i 10))
+                                    (eprintf "."))))
+                  (delay (parameterize ([read-accept-reader #t]
+                                        [current-load-relative-directory p*-base]
+                                        [current-directory p*-base]
+                                        [current-output-port (open-output-nowhere)])
+                           (begin0 (dr p*-name)
+                             (when (zero? (modulo i 10))
+                               (eprintf ".")))))))))
     (define tests
       (for/list ([e prms])
         (match-define (list path p prm) e)