From 85e4f1412af08bc28a5dc831b822017cfce50b6e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Thu, 12 Jan 2017 19:43:06 +0100
Subject: [PATCH] Fixed compatibility with Racket 6.7
---
typed-syntax/typed-syntax-convert.rkt | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/typed-syntax/typed-syntax-convert.rkt b/typed-syntax/typed-syntax-convert.rkt
index 559ad49..ac27f25 100644
--- a/typed-syntax/typed-syntax-convert.rkt
+++ b/typed-syntax/typed-syntax-convert.rkt
@@ -21,9 +21,8 @@
(Syntaxof Any)
(Syntaxof A)))]
;; Backported from 6.8 so that it works on 6.7
- [vector->list
- (∀ (A) (case→ (→ (Vectorof A) (Listof A))
- (→ VectorTop (Listof Any))))])
+ [[vector->list vectortop->list]
+ (→ VectorTop (Listof Any))])
(define-syntax-rule (unsafe-cast v t)
((inst unsafe-cast-function t) v))
@@ -95,7 +94,8 @@
[else
(values (cons car* cdr*) 'modified)]))]
[(vector? e) (match-let ([(cons vs* status)
- (try-listof-any->isexp* (vector->list e) non-sexp)])
+ (try-listof-any->isexp* (vectortop->list e)
+ non-sexp)])
(case status
[(unmodified)
(if (immutable? e)