From c5601c6a3ee45d45a1e851d197c2903b387bd39e Mon Sep 17 00:00:00 2001 From: Jack Firth Date: Sat, 3 Sep 2022 15:38:33 -0700 Subject: [PATCH] [DO NOT MERGE]: Add some code for Resyntax to analyze This is just to test the Resyntax integration. --- .../typed-racket/private/refactorable-code-example.rkt | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 typed-racket-lib/typed-racket/private/refactorable-code-example.rkt diff --git a/typed-racket-lib/typed-racket/private/refactorable-code-example.rkt b/typed-racket-lib/typed-racket/private/refactorable-code-example.rkt new file mode 100644 index 000000000..be5d5fd97 --- /dev/null +++ b/typed-racket-lib/typed-racket/private/refactorable-code-example.rkt @@ -0,0 +1,7 @@ +#lang racket/base + + +(define (distance x1 y1 x2 y2) + (let ([dx (- x1 x2)] + [dy (- y1 y2)]) + (sqrt (+ (* dx dx) (* dy dy)))))