File [eris]<PrologCore>QP1.5>Sources>PUTWRITE!1

(FILECREATED " 8-Feb-86 15:42:22" {DSK}<LISPFILES2>IMPROVEDDCOMS>PUTWRITE.;1 6002   

      changes to:  (VARS PUTWRITECOMS))


(* Copyright (c) 1986 by Quintus Computer Systems, Inc. All rights reserved.)

(PRETTYCOMPRINT PUTWRITECOMS)

(RPAQQ PUTWRITECOMS ((FNS R.initialize.Yn R.put.Ai.constant R.put.Ai.list R.put.Ai.nil 
R.put.Ai.structure R.put.Ai.symbol R.put.Ai.unsafe.Yn R.put.Ai.value.Xn R.put.Ai.value.Yn 
R.put.Ai.variable.Yn R.put.Ai.void W.initialize.Yn W.put.Ai.constant W.put.Ai.list W.put.Ai.nil 
W.put.Ai.structure W.put.Ai.symbol W.put.Ai.unsafe.Yn W.put.Ai.value.Xn W.put.Ai.value.Yn 
W.put.Ai.variable.Yn W.put.Ai.void W.unify.boxed W.unify.constant W.unify.float W.unify.list 
W.unify.local.Xn W.unify.local.Yn W.unify.nil W.unify.structure W.unify.symbol W.unify.value.Xn 
W.unify.value.Yn W.unify.variable.Xn W.unify.variable.Yn W.unify.void) (MACROS unify.any.constant 
write.local.variable)))
(DEFINEQ

(R.initialize.Yn
(LAMBDA NIL (put.24 R (loc.Yval N)) (put.cell R 0 (tag.ref R)) (continue 0)))

(R.put.Ai.constant
(LAMBDA NIL (put.Aval N (cell.operand)) (continue 2)))

(R.put.Ai.list
(LAMBDA NIL (put.Aval N (tag.list H)) (continue.writing 0)))

(R.put.Ai.nil
(LAMBDA NIL (put.Aval N (tag.symbol NIL)) (continue 0)))

(R.put.Ai.structure
(LAMBDA NIL (put.Aval N (tag.struct H)) (put.cell H 0 (cell.operand)) (increment.cell.pointer H) (
continue.writing 2)))

(R.put.Ai.symbol
(LAMBDA NIL (put.16 I (get.code P 0)) (put.Aval N (tag.symbol.fast I)) (continue 1)))

(R.put.Ai.unsafe.Yn
(LAMBDA NIL (put.32 T0 (get.Yval N)) (select.4 T0 (ref.tag.8 (put.24 R (untag.ref T0)) (put.32 T0 (
get.cell R 0)) (reselect.when.bound T0 R) (if (before E R) then (put.32 T0 (tag.ref H)) (bind.local R 
T0) (put.cell H 0 (get.32 T0)) (increment.cell.pointer H))) (PROGN)) (put.16 I (get.code P 0)) (
put.Aval I (get.32 T0)) (continue 1)))

(R.put.Ai.value.Xn
(LAMBDA NIL (put.16 I (get.code P 0)) (put.Aval I (get.Aval N)) (continue 1)))

(R.put.Ai.value.Yn
(LAMBDA NIL (put.32 T0 (get.Yval N)) (put.16 I (get.code P 0)) (put.Aval I (get.32 T0)) (continue 1)))

(R.put.Ai.variable.Yn
(LAMBDA NIL (put.24 R (loc.Yval N)) (put.cell R 0 (tag.ref R)) (put.16 I (get.code P 0)) (put.Aval I (
tag.ref R)) (continue 1)))

(R.put.Ai.void
(LAMBDA NIL (put.Aval N (tag.ref H)) (put.cell H 0 (tag.ref H)) (increment.cell.pointer H) (continue 0
)))

(W.initialize.Yn
(LAMBDA NIL (put.24 R (loc.Yval N)) (put.cell R 0 (tag.ref R)) (continue 0)))

(W.put.Ai.constant
(LAMBDA NIL (put.Aval N (cell.operand)) (continue 2)))

(W.put.Ai.list
(LAMBDA NIL (put.Aval N (tag.list H)) (continue.writing 0)))

(W.put.Ai.nil
(LAMBDA NIL (put.Aval N (tag.symbol NIL)) (continue 0)))

(W.put.Ai.structure
(LAMBDA NIL (put.Aval N (tag.struct H)) (put.cell H 0 (cell.operand)) (increment.cell.pointer H) (
continue.writing 2)))

(W.put.Ai.symbol
(LAMBDA NIL (put.16 I (get.code P 0)) (put.Aval N (tag.symbol.fast I)) (continue 1)))

(W.put.Ai.unsafe.Yn
(LAMBDA NIL (put.32 T0 (get.Yval N)) (select.4 T0 (ref.tag.8 (put.24 R (untag.ref T0)) (put.32 T0 (
get.cell R 0)) (reselect.when.bound T0 R) (if (before E R) then (put.32 T0 (tag.ref H)) (bind.local R 
T0) (put.cell H 0 (get.32 T0)) (increment.cell.pointer H))) (PROGN)) (put.16 I (get.code P 0)) (
put.Aval I (get.32 T0)) (continue 1)))

(W.put.Ai.value.Xn
(LAMBDA NIL (put.16 I (get.code P 0)) (put.Aval I (get.Aval N)) (continue 1)))

(W.put.Ai.value.Yn
(LAMBDA NIL (put.32 T0 (get.Yval N)) (put.16 I (get.code P 0)) (put.Aval I (get.32 T0)) (continue 1)))

(W.put.Ai.variable.Yn
(LAMBDA NIL (put.24 R (loc.Yval N)) (put.cell R 0 (tag.ref R)) (put.16 I (get.code P 0)) (put.Aval I (
tag.ref R)) (continue 1)))

(W.put.Ai.void
(LAMBDA NIL (put.Aval N (tag.ref H)) (put.cell H 0 (tag.ref H)) (increment.cell.pointer H) (continue 0
)))

(W.unify.boxed
(LAMBDA NIL (unify.any.constant)))

(W.unify.constant
(LAMBDA NIL (unify.any.constant)))

(W.unify.float
(LAMBDA NIL (unify.any.constant)))

(W.unify.list
(LAMBDA NIL (* scratch S) (put.24 S (add.cell H 1)) (put.cell H 0 (tag.list S)) (put.24 H (get.24 S)) 
(write.continue 0)))

(W.unify.local.Xn
(LAMBDA NIL (put.32 T0 (get.Aval N)) (write.local.variable)))

(W.unify.local.Yn
(LAMBDA NIL (put.32 T0 (get.Yval N)) (write.local.variable)))

(W.unify.nil
(LAMBDA NIL (put.cell H 0 (tag.symbol NIL)) (increment.cell.pointer H) (write.continue 0)))

(W.unify.structure
(LAMBDA NIL (* scratch S) (put.24 S (add.cell H 1)) (put.cell H 0 (tag.struct S)) (put.cell S 0 (
cell.operand)) (increment.cell.pointer H 2) (write.continue 2)))

(W.unify.symbol
(LAMBDA NIL (put.16 I (get.code P 0)) (put.cell H 0 (tag.symbol.fast I)) (increment.cell.pointer H) (
write.continue 1)))

(W.unify.value.Xn
(LAMBDA NIL (put.cell H 0 (get.Aval N)) (increment.cell.pointer H) (write.continue 0)))

(W.unify.value.Yn
(LAMBDA NIL (put.cell H 0 (get.Yval N)) (increment.cell.pointer H) (write.continue 0)))

(W.unify.variable.Xn
(LAMBDA NIL (put.Aval N (tag.ref H)) (put.cell H 0 (tag.ref H)) (increment.cell.pointer H) (
write.continue 0)))

(W.unify.variable.Yn
(LAMBDA NIL (put.cell H 0 (tag.ref H)) (put.Yval N (tag.ref H)) (increment.cell.pointer H) (
write.continue 0)))

(W.unify.void
(LAMBDA NIL (until (zero N) (put.cell H 0 (tag.ref H)) (increment.cell.pointer H) (decrement.counter N
)) (write.continue 0)))
)
(DECLARE: EVAL@COMPILE 
(PUTPROPS unify.any.constant MACRO (OPENLAMBDA NIL (put.cell H 0 (cell.operand)) (
increment.cell.pointer H) (write.continue 2)))
(PUTPROPS write.local.variable MACRO (OPENLAMBDA NIL (select.4 T0 (ref.tag.8 (put.24 R (untag.ref T0))
 (put.32 T0 (get.cell R 0)) (reselect.when.bound T0 R) (if (waybefore H R) then (put.32 T0 (tag.ref H)
) (bind.local R T0))) (PROGN)) (put.cell H 0 (get.32 T0)) (increment.cell.pointer H) (write.continue 0
)))
)
(PUTPROPS PUTWRITE COPYRIGHT ("Quintus Computer Systems, Inc" 1986))
(DECLARE: DONTCOPY
  (FILEMAP (NIL (929 5442 (R.initialize.Yn 939 . 1037) (R.put.Ai.constant 1039 . 1116) (R.put.Ai.list 
1118 . 1197) (R.put.Ai.nil 1199 . 1273) (R.put.Ai.structure 1275 . 1419) (R.put.Ai.symbol 1421 . 1527)
 (R.put.Ai.unsafe.Yn 1529 . 1891) (R.put.Ai.value.Xn 1893 . 1994) (R.put.Ai.value.Yn 1996 . 2121) (
R.put.Ai.variable.Yn 2123 . 2278) (R.put.Ai.void 2280 . 2405) (W.initialize.Yn 2407 . 2505) (
W.put.Ai.constant 2507 . 2584) (W.put.Ai.list 2586 . 2665) (W.put.Ai.nil 2667 . 2741) (
W.put.Ai.structure 2743 . 2887) (W.put.Ai.symbol 2889 . 2995) (W.put.Ai.unsafe.Yn 2997 . 3359) (
W.put.Ai.value.Xn 3361 . 3462) (W.put.Ai.value.Yn 3464 . 3589) (W.put.Ai.variable.Yn 3591 . 3746) (
W.put.Ai.void 3748 . 3873) (W.unify.boxed 3875 . 3928) (W.unify.constant 3930 . 3986) (W.unify.float 
3988 . 4041) (W.unify.list 4043 . 4184) (W.unify.local.Xn 4186 . 4269) (W.unify.local.Yn 4271 . 4354) 
(W.unify.nil 4356 . 4464) (W.unify.structure 4466 . 4651) (W.unify.symbol 4653 . 4794) (
W.unify.value.Xn 4796 . 4905) (W.unify.value.Yn 4907 . 5016) (W.unify.variable.Xn 5018 . 5155) (
W.unify.variable.Yn 5157 . 5294) (W.unify.void 5296 . 5440)))))
STOP