Sun Feb 7 07:40:23 UTC 2010 pix@kepibu.org
* Declare ftype of find-variable-value and v? properly
diff -rN -u old-cl-unification-1/substitutions.lisp new-cl-unification-1/substitutions.lisp
--- old-cl-unification-1/substitutions.lisp 2013-07-01 12:23:02.000000000 +0000
+++ new-cl-unification-1/substitutions.lisp 2013-07-01 12:23:02.000000000 +0000
@@ -166,9 +166,11 @@
(declaim (inline v?))
-(declaim (ftype (function (symbol environment &optional boolean)
+(declaim (ftype (function (symbol &optional environment boolean)
+ (values t boolean))
+ find-variable-value)
+ (ftype (function (symbol environment &optional boolean)
(values t boolean))
- find-variable-value
v?))
(defun v? (s env &optional (plain-symbol-p nil))