From 361fee5e5971cd9199c4b92f8915fe664a381d34 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 17 Jun 2010 14:09:07 -0400 Subject: [PATCH] Fixed the type of unsafe-car and unsafe-cdr. original commit: b39f686e7eb67a6d3dac96fcc94cc2480aa083f2 --- collects/typed-scheme/private/base-env.rkt | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt index d381bc32..a8a22634 100644 --- a/collects/typed-scheme/private/base-env.rkt +++ b/collects/typed-scheme/private/base-env.rkt @@ -803,11 +803,14 @@ [unsafe-vector-length (-poly (a) ((-vec a) . -> . -Nat))] [unsafe-vector*-length (-poly (a) ((-vec a) . -> . -Nat))] [unsafe-car (-poly (a b) - (cl->* - (->acc (list (-pair a b)) a (list -car))))] + (cl->* + (->acc (list (-pair a b)) a (list -car)) + (->* (list (-lst a)) a)))] [unsafe-cdr (-poly (a b) - (cl->* - (->acc (list (-pair a b)) b (list -cdr))))] + (cl->* + (->acc (list (-pair a b)) b (list -cdr)) + (->* (list (-lst a)) (-lst a))))] + ;; scheme/vector [vector-count (-polydots (a b)