www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README
commit 07a8f4d9e4af0730d0d6162bb3863be019223160
parent b1062ecfb12db1415a9650ea60d76d529cd0ea3e
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Thu, 12 Jan 2017 19:39:11 +0100

Fixed compatibility with Racket 6.7

Diffstat:

Mtyped-syntax/typed-syntax-convert.rkt | 6+++++-


1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/typed-syntax/typed-syntax-convert.rkt b/typed-syntax/typed-syntax-convert.rkt
@@ -19,7 +19,11 @@
                                  A
                                  (Syntaxof Any)
                                  (Syntaxof Any)
-                                 (Syntaxof A)))])
+                                 (Syntaxof A)))]
+                      ;; Backported from 6.8 so that it works on 6.7
+                      [vector->list
+                       (∀ (A) (case→ (→ (Vectorof A) (Listof A))
+                                     (→ VectorTop (Listof Any))))])
 
 (define-syntax-rule (unsafe-cast v t)
   ((inst unsafe-cast-function t) v))