>From 0bf6891da9cffcd8e0e9b17c0cba8010f7921c18 Mon Sep 17 00:00:00 2001 From: Christian Kellermann Date: Sun, 27 May 2012 20:40:10 +0200 Subject: [PATCH] Don't enforce the specialisation for code that becomes ##sys#size make-vector, ##sys#vector, blob-size are now specialized only if the type can be determined. --- types.db | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/types.db b/types.db index e4941bc..563206a 100644 --- a/types.db +++ b/types.db @@ -563,9 +563,9 @@ (vector (#(procedure #:clean #:clean) vector (#!rest) vector)) (##sys#vector (#(procedure #:clean #:clean) ##sys#vector (#!rest) vector)) -(vector-length (#(procedure #:clean #:enforce) vector-length (vector) fixnum) +(vector-length (#(procedure #:clean) vector-length (vector) fixnum) ((vector) (##sys#size #(1)))) -(##sys#vector-length (#(procedure #:clean #:enforce) ##sys#vector-length (vector) fixnum) +(##sys#vector-length (#(procedure #:clean) ##sys#vector-length (vector) fixnum) ((vector) (##sys#size #(1)))) (vector->list (forall (a) (#(procedure #:clean #:enforce) vector->list ((vector-of a)) (list-of a)))) @@ -729,7 +729,7 @@ (blob->string (#(procedure #:clean #:enforce) blob->string (blob) string)) -(blob-size (#(procedure #:clean #:enforce) blob-size (blob) fixnum) +(blob-size (#(procedure #:clean) blob-size (blob) fixnum) ((blob) (##sys#size #(1)))) (blob? (#(procedure #:pure #:predicate blob) blob? (*) boolean)) -- 1.7.6