From 814ade8ddcdbf40b15ae4866af73b1a770c824b4 Mon Sep 17 00:00:00 2001 From: AJ Rossini Date: Wed, 10 Feb 2010 12:50:31 +0100 Subject: [PATCH] type checking experiments. Signed-off-by: AJ Rossini --- src/numerics/linalg.lisp | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/numerics/linalg.lisp b/src/numerics/linalg.lisp index b41efa0..7c92b23 100644 --- a/src/numerics/linalg.lisp +++ b/src/numerics/linalg.lisp @@ -65,8 +65,14 @@ ;;;; (defun make-smoother-args (x y xvals) - (check-sequence x) - (check-real x) +(let ((x (make-array 3 :initial-contents '("a" 2 3 ))) + (y (make-array 3 :element-type 'double-float)) + ) ; "a" a b + (check-type x (vector integer 3)) + (check-type y (vector double-float 3)) + ; (check-type y (vector integer 3)) + x) +(check-type x real) (when y (check-sequence y) (check-real y)) -- 2.11.4.GIT