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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
;; Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
;; All rights reserved.
;; Copyright (C) 2007-2011, Gabriel Dos Reis.
;; All rights reserved.
;;
;; Redistribution and use in source and binary forms, with or without
;; modification, are permitted provided that the following conditions are
;; met:
;;
;; - Redistributions of source code must retain the above copyright
;; notice, this list of conditions and the following disclaimer.
;;
;; - Redistributions in binary form must reproduce the above copyright
;; notice, this list of conditions and the following disclaimer in
;; the documentation and/or other materials provided with the
;; distribution.
;;
;; - Neither the name of The Numerical ALgorithms Group Ltd. nor the
;; names of its contributors may be used to endorse or promote products
;; derived from this software without specific prior written permission.
;;
;; THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
;; IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
;; TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
;; PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
;; OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
;; EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
;; PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
;; PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
;; LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
;; NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
;; SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
;; This file contains most of the code that puts properties on
;; identifiers in the Scratchpad II system. If it was not possible
;; to actually put the code here, we have pointers to where such
;; property list manipulation is being done.
;; Pointers:
;; o see NEWAUX LISP for some code that puts GENERIC and RENAMETOK
;; properties on identifiers for the parser
;; o coerceIntCommute puts the "commute" property on constructors.
;; o coerceRetract puts the "retract" property on constructors.
;; o there is some code at the end of SPECEVAL BOOT that puts "up"
;; properties on some special handlers.
(import-module "sys-macros")
(in-package "BOOT")
;; following was in NEWSPAD LISP
(MAKEPROP 'END_UNIT 'KEY 'T)
;; following was in OUTINIT LISP
(MAKEPROP 'TAG 'Led '(TAG TAG 122 121))
(MAKEPROP 'EQUATNUM '|Nud| '(|dummy| |dummy| 0 0))
(MAKEPROP 'EQUATNUM '|Led| '(|dummy| |dummy| 10000 0))
(MAKEPROP '%LET '|Led| '(|:=| %LET 125 124))
(MAKEPROP 'RARROW '|Led| '(== DEF 122 121))
(MAKEPROP 'SEGMENT '|Led| '(|..| SEGMENT 401 699 (|P:Seg|)))
(MAKEPROP 'SEGMENT '|isSuffix| 'T)
(MAKEPROP 'EQUAL1 'CHRYBNAM 'EQ)
(MAKEPROP 'COND '|Nud| '(|if| |if| 130 0))
(MAKEPROP 'CONS '|Led| '(CONS CONS 1000 1000))
(MAKEPROP 'APPEND '|Led| '(APPEND APPEND 1000 1000))
(REPEAT (IN X '(
(|:=| " := ")
(= "=")
(|/| "/")
(+ "+")
(* "*")
(** "**")
(^ "^")
(|:| ":")
(|::| "::")
(|@| "@")
(SEL ".")
(|exquo| " exquo ")
(|div| " div ")
(|quo| " quo ")
(|rem| " rem ")
(|case| " case ")
(|and| " and ")
(|/\\| " /\\ ")
(|or| " or ")
(|\\/| " \\/ ")
(TAG ": ")
(|+->| " +-> ")
(RARROW " -> ")
(SEGMENT "..")
(in " in ")
(|^=| "^=")
(EL* ":")
(JOIN " JOIN ")
(EQUATNUM " ")
(IQUOTIENT "//")
(= "= ")
(|>=| " >= ")
(|>| " > ")
(|<=| " <= ")
(|<| " < ")
(\| " \| ")
(+ " + ")
(- " - ")
(MEMBER " in ")
(NMEMBER " nin ")
(WHERE " WHERE ")
(AT " AT ")
(MAX " MAX ")
(MIN " MIN ")
)) (MAKEPROP (CAR X) 'INFIXOP (CADR X)))
(REPEAT (IN X '(
(= "=")
(|:| ":")
(|not| "not ")
(\| " \| ")
(SEGMENT "..") ;" 0.. is represented by (SEGMENT 0)"
)) (MAKEPROP (CAR X) 'PREFIXOP (CADR X)))
;; following was in INIT LISP
(FLAG '(* + AND OR PROGN) 'NARY)
|
