commit 6164182fe670991045e083a0798862e10ecd15be parent b182b9422083bf8adee71d6543f78372ad801ede Author: Suzanne Soy <no-reply@suzanne.soy> Date: Thu, 12 Feb 2026 20:55:25 +0000 Racket 9.0 compatibility Diffstat:
| M | test/type-expander-test.rkt | | | 5 | ++++- |
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/test/type-expander-test.rkt b/test/type-expander-test.rkt @@ -577,12 +577,15 @@ (∀ (ty) (Listof ty))) - (ann '(1 2 3) (poly2 Integer)) + ;; invalid starting from racket 9.0 (dubious semantics before that, a ∀ is technically not a type function and uses a different eliminator, was allowed for convenience I guess. + ;;(ann '(1 2 3) (poly2 Integer)) + ;; type-expander manages to salvage this, but is invalid in racket 9.0. Should probably fail for consistency. (ann '(1 2 3) ((∀ (ty) (Listof ty)) Integer)) + ;; type-expander manages to salvage this, but is invalid in racket 9.0. Should probably fail for consistency. (ann '(1 2 3) ((Let () (∀ (ty) (Listof ty)))