1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
(defun sys:conv-let (. body)
^(flet ((usr:i (arg : radix)
(toint arg radix))
(usr:o (arg)
(toint arg 8))
(usr:x (arg)
(toint arg 16))
(usr:b (arg)
(toint arg 2))
(usr:c (arg)
(toint arg #\c))
(usr:r (arg)
(tofloat arg))
(usr:iz (arg : radix)
(tointz arg radix))
(usr:oz (arg)
(tointz arg 8))
(usr:xz (arg)
(tointz arg 16))
(usr:bz (arg)
(tointz arg 2))
(usr:cz (arg)
(tointz arg #\c))
(usr:rz (arg)
(tofloatz arg)))
,*body))
(defun sys:do-conv (lfl mfl tfl nm list)
(while (and list lfl)
(set (car list) (call (car lfl) (car list)))
(set list (cdr list))
(set lfl (cdr lfl)))
(dotimes (i nm)
(unless list
(return))
(when mfl
(set (car list) (call (car mfl) (car list)))
(set mfl (cdr mfl)))
(set list (cdr list)))
(while (and list tfl)
(set (car list) (call (car tfl) (car list)))
(set list (cdr list))
(set tfl (cdr tfl))))
(defun sys:conv-expand (form specs list-sym)
(mac-param-bind form (lead : mid trail)
(split* (mapcar [iff (op eq :)
identity
[iff (op eq '-)
(retf '(fun identity))
(ret ^[identity ,@1])]]
specs)
(op where (op eq :)))
(let ((nl (length lead))
(nt (length trail)))
(with-gensyms (i nm lfl mfl tfl)
(sys:conv-let
^(let* ((,nm (- (length ,list-sym) ,(+ nl nt)))
(,lfl (list ,*lead))
(,mfl (if (plusp ,nm) (repeat (list ,*mid))))
(,tfl (list ,*trail)))
(sys:do-conv ,lfl ,mfl ,tfl ,nm ,list-sym)))))))
(defmacro sys:conv (:form form (. specs) list-expr)
(cond
((null specs) list-expr)
((atom specs)
(throwf 'eval-error "~s: invalid conversion list: ~s" 'conv specs))
(t (with-gensyms (list-sym)
^(let ((,list-sym ,list-expr))
,(sys:conv-expand form specs list-sym)
,list-sym)))))
|