repos
/
cl-unification
/ annotate_shade
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
|
annotate
|
headblob
|
headfilediff
|
filehistory
normal
|
plain
|
shade
|
zebra
Minor changes (added COPYING information and other minutiae).
Annotate for file variables.lisp
2011-04-02 mantoniotti
1
;;;; -*- Mode: Lisp -*-
04:05:18 '
2
'
3
;;;; variables.lisp --
'
4
'
5
;;;; See file COPYING for copyright licensing information.
2004-11-17 mantoniotti
6
22:19:54 '
7
(in-package "CL.EXT.DACF.UNIFICATION") ; DACF = Data And Control Flow.
'
8
2008-07-13 mantoniotti
9
2011-04-02 mantoniotti
10
(defun make-var-name (&optional (s (gensym "UV_")) (package *package*))
04:05:18 '
11
(declare (type (or string symbol character) s))
'
12
(intern (concatenate 'string "?" (string s)) package))
'
13
'
14
'
15
(eval-when (:load-toplevel :execute)
'
16
(setf (fdefinition 'new-var) #'make-var-name))
2008-07-13 mantoniotti
17
13:10:48 '
18
2004-11-17 mantoniotti
19
(defun variablep (x)
22:19:54 '
20
(and (symbolp x)
'
21
(or (char= (char (symbol-name x) 0) #\?)
'
22
(string= x "_"))))
'
23
'
24
(defun variable-any-p (x)
'
25
(and (symbolp x)
'
26
(or (string= x "_")
'
27
(string= x "?_"))))
'
28
'
29
'
30
;;; end of file -- variables.lisp --