From 155381375ee202bfb6740f4321ff5c8e683feb60 Mon Sep 17 00:00:00 2001 From: shhyou Date: Fri, 10 Feb 2023 21:46:17 -0600 Subject: [PATCH 1/2] Bump workflow version for runtime & URL updates --- .github/workflows/ci.yml | 4 ++-- .github/workflows/resyntax-analyze.yml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 10e63821b..740fd5708 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -10,8 +10,8 @@ jobs: racket-variant: ["BC", "CS"] enable-contracts: [true, false] steps: - - uses: actions/checkout@v2.3.4 - - uses: Bogdanp/setup-racket@v1.6.1 + - uses: actions/checkout@v3 + - uses: Bogdanp/setup-racket@v1.9.1 with: architecture: x64 distribution: full diff --git a/.github/workflows/resyntax-analyze.yml b/.github/workflows/resyntax-analyze.yml index cfcb43a8c..66ac8b454 100644 --- a/.github/workflows/resyntax-analyze.yml +++ b/.github/workflows/resyntax-analyze.yml @@ -32,7 +32,7 @@ jobs: with: fetch-depth: 0 - name: Install Racket - uses: Bogdanp/setup-racket@v1.8.1 + uses: Bogdanp/setup-racket@v1.9.1 with: version: current packages: resyntax From ebadbdc464e2c984f5920ab1c550f1534e0f7699 Mon Sep 17 00:00:00 2001 From: shhyou Date: Fri, 10 Feb 2023 23:56:41 -0600 Subject: [PATCH 2/2] Update a unit test due to racket/typed-racket#1306 According to @lexi-lambda, the error message should refer to `y`, not `u`. See https://github.com/racket/typed-racket/pull/1306#issuecomment-1426627499 for the relevant changes. --- typed-racket-test/fail/unit-typed-untyped-2.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-test/fail/unit-typed-untyped-2.rkt b/typed-racket-test/fail/unit-typed-untyped-2.rkt index 1e7ed545a..29e20bb3b 100644 --- a/typed-racket-test/fail/unit-typed-untyped-2.rkt +++ b/typed-racket-test/fail/unit-typed-untyped-2.rkt @@ -1,5 +1,5 @@ #; -(exn-pred #rx"u: contract violation\n expected: exact-integer?") +(exn-pred #rx"y: contract violation\n expected: exact-integer?") #lang racket (module typed typed/racket