* interp/lisplib.boot (finalizeLisplib): Finalize documentaion

	only if not bootstrapping.
	(isFunctor): Tidy.
	* interp/g-util.boot (superType): Tidy.
	* interp/database.boot (getDualSignature): Rename from
	getDualSignatureFromDB.  Adjust callers.
	* interp/c-util.boot (isKnownCategory): Remove.
	(diagnoseUnknownType): Use isCategoryForm.
	* interp/bootlex.lisp (GET-INTEGER-IN-RADIX): Use SPAD_SYNTAX_ERROR.
	* interp/metalex.lisp (GET-STRING-TOKEN): Likewise.
	* interp/parsing.lisp (MUST): Likewise.
	* algebra/boolean.spad.pamphlet (Refrence) [coerce]: Bypass
	conversion to Identifier.
	* algebra/domain.spad.pamphlet (ContructorKind): Tidy.

5 files changed, 6 insertions, 6 deletions

diff --git a/src/share/algebra/browse.daase b/src/share/algebra/browse.daase
index 892061de..4c8aa1d0 100644
--- a/src/share/algebra/browse.daase
+++ b/src/share/algebra/browse.daase
@@ -1,5 +1,5 @@
 
-(2276909 . 3524395028)       
+(2276909 . 3524422413)       
 (-18 A S) 
 ((|constructor| (NIL "One-dimensional-array aggregates serves as models for one-dimensional arrays. Categorically,{} these aggregates are finite linear aggregates with the \\spadatt{shallowlyMutable} property,{} that is,{} any component of the array may be changed without affecting the identity of the overall array. Array data structures are typically represented by a fixed area in storage and therefore cannot efficiently grow or shrink on demand as can list structures (see however \\spadtype{FlexibleArray} for a data structure which is a cross between a list and an array). Iteration over,{} and access to,{} elements of arrays is extremely fast (and often can be optimized to open-code). Insertion and deletion however is generally slow since an entirely new data structure must be created for the result."))) 
 NIL 
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase
index eaa75040..f2f00f2b 100644
--- a/src/share/algebra/category.daase
+++ b/src/share/algebra/category.daase
@@ -1,5 +1,5 @@
 
-(207263 . 3524395032)        
+(207263 . 3524422417)        
 ((((-877)) . T)) 
 ((((-877)) . T)) 
 ((((-877)) . T)) 
diff --git a/src/share/algebra/compress.daase b/src/share/algebra/compress.daase
index 22c83bd1..1368142b 100644
--- a/src/share/algebra/compress.daase
+++ b/src/share/algebra/compress.daase
@@ -1,5 +1,5 @@
 
-(30 . 3524395027)            
+(30 . 3524422412)            
 (4428 |Enumeration| |Mapping| |Record| |Union| |ofCategory| |isDomain|
  ATTRIBUTE |package| |domain| |category| CATEGORY |nobranch| AND |Join|
  |ofType| SIGNATURE "failed" "algebra" |OneDimensionalArrayAggregate&|
diff --git a/src/share/algebra/interp.daase b/src/share/algebra/interp.daase
index 3b7ab6bc..4668906c 100644
--- a/src/share/algebra/interp.daase
+++ b/src/share/algebra/interp.daase
@@ -1,5 +1,5 @@
 
-(3096904 . 3524395039)       
+(3096904 . 3524422425)       
 ((-1935 (((-114) (-1 (-114) |#2| |#2|) $) 86 T ELT) (((-114) $) NIL T ELT)) (-1933 (($ (-1 (-114) |#2| |#2|) $) 18 T ELT) (($ $) NIL T ELT)) (-4218 ((|#2| $ (-558) |#2|) NIL T ELT) ((|#2| $ (-1255 (-558)) |#2|) 44 T ELT)) (-2510 (($ $) 80 T ELT)) (-4272 ((|#2| (-1 |#2| |#2| |#2|) $ |#2| |#2|) 52 T ELT) ((|#2| (-1 |#2| |#2| |#2|) $ |#2|) 50 T ELT) ((|#2| (-1 |#2| |#2| |#2|) $) 49 T ELT)) (-3839 (((-558) (-1 (-114) |#2|) $) 27 T ELT) (((-558) |#2| $) NIL T ELT) (((-558) |#2| $ (-558)) 96 T ELT)) (-3290 (((-661 |#2|) $) 13 T ELT)) (-3938 (($ (-1 (-114) |#2| |#2|) $ $) 64 T ELT) (($ $ $) NIL T ELT)) (-2160 (($ (-1 |#2| |#2|) $) 37 T ELT)) (-4388 (($ (-1 |#2| |#2|) $) NIL T ELT) (($ (-1 |#2| |#2| |#2|) $ $) 60 T ELT)) (-2517 (($ |#2| $ (-558)) NIL T ELT) (($ $ $ (-558)) 67 T ELT)) (-1468 (((-3 |#2| "failed") (-1 (-114) |#2|) $) 29 T ELT)) (-2158 (((-114) (-1 (-114) |#2|) $) 23 T ELT)) (-4230 ((|#2| $ (-558) |#2|) NIL T ELT) ((|#2| $ (-558)) NIL T ELT) (($ $ (-1255 (-558))) 66 T ELT)) (-2518 (($ $ (-558)) 76 T ELT) (($ $ (-1255 (-558))) 75 T ELT)) (-2157 (((-791) (-1 (-114) |#2|) $) 34 T ELT) (((-791) |#2| $) NIL T ELT)) (-1934 (($ $ $ (-558)) 69 T ELT)) (-3820 (($ $) 68 T ELT)) (-3950 (($ (-661 |#2|)) 73 T ELT)) (-4232 (($ $ |#2|) NIL T ELT) (($ |#2| $) NIL T ELT) (($ $ $) 87 T ELT) (($ (-661 $)) 85 T ELT)) (-4376 (((-877) $) 92 T ELT)) (-2159 (((-114) (-1 (-114) |#2|) $) 22 T ELT)) (-3454 (((-114) $ $) 95 T ELT)) (-3086 (((-114) $ $) 99 T ELT))) 
 (((-18 |#1| |#2|) (-10 -7 (-15 -3454 ((-114) |#1| |#1|)) (-15 -4376 ((-877) |#1|)) (-15 -3086 ((-114) |#1| |#1|)) (-15 -1933 (|#1| |#1|)) (-15 -1933 (|#1| (-1 (-114) |#2| |#2|) |#1|)) (-15 -2510 (|#1| |#1|)) (-15 -1934 (|#1| |#1| |#1| (-558))) (-15 -1935 ((-114) |#1|)) (-15 -3938 (|#1| |#1| |#1|)) (-15 -3839 ((-558) |#2| |#1| (-558))) (-15 -3839 ((-558) |#2| |#1|)) (-15 -3839 ((-558) (-1 (-114) |#2|) |#1|)) (-15 -1935 ((-114) (-1 (-114) |#2| |#2|) |#1|)) (-15 -3938 (|#1| (-1 (-114) |#2| |#2|) |#1| |#1|)) (-15 -4218 (|#2| |#1| (-1255 (-558)) |#2|)) (-15 -2517 (|#1| |#1| |#1| (-558))) (-15 -2517 (|#1| |#2| |#1| (-558))) (-15 -2518 (|#1| |#1| (-1255 (-558)))) (-15 -2518 (|#1| |#1| (-558))) (-15 -4388 (|#1| (-1 |#2| |#2| |#2|) |#1| |#1|)) (-15 -4232 (|#1| (-661 |#1|))) (-15 -4232 (|#1| |#1| |#1|)) (-15 -4232 (|#1| |#2| |#1|)) (-15 -4232 (|#1| |#1| |#2|)) (-15 -4230 (|#1| |#1| (-1255 (-558)))) (-15 -3950 (|#1| (-661 |#2|))) (-15 -1468 ((-3 |#2| "failed") (-1 (-114) |#2|) |#1|)) (-15 -4272 (|#2| (-1 |#2| |#2| |#2|) |#1|)) (-15 -4272 (|#2| (-1 |#2| |#2| |#2|) |#1| |#2|)) (-15 -4272 (|#2| (-1 |#2| |#2| |#2|) |#1| |#2| |#2|)) (-15 -4230 (|#2| |#1| (-558))) (-15 -4230 (|#2| |#1| (-558) |#2|)) (-15 -4218 (|#2| |#1| (-558) |#2|)) (-15 -2157 ((-791) |#2| |#1|)) (-15 -3290 ((-661 |#2|) |#1|)) (-15 -2157 ((-791) (-1 (-114) |#2|) |#1|)) (-15 -2158 ((-114) (-1 (-114) |#2|) |#1|)) (-15 -2159 ((-114) (-1 (-114) |#2|) |#1|)) (-15 -2160 (|#1| (-1 |#2| |#2|) |#1|)) (-15 -4388 (|#1| (-1 |#2| |#2|) |#1|)) (-15 -3820 (|#1| |#1|))) (-19 |#2|) (-1238)) (T -18)) 
 NIL 
@@ -3447,7 +3447,7 @@ NIL
 ((-3453 (((-2 (|:| -3684 |#2|) (|:| -2909 (-661 |#1|))) |#2| (-661 |#1|)) 32 T ELT) ((|#2| |#2| |#1|) 27 T ELT))) 
 (((-1046 |#1| |#2|) (-10 -7 (-15 -3453 (|#2| |#2| |#1|)) (-15 -3453 ((-2 (|:| -3684 |#2|) (|:| -2909 (-661 |#1|))) |#2| (-661 |#1|)))) (-376) (-678 |#1|)) (T -1046)) 
 ((-3453 (*1 *2 *3 *4) (-12 (-4 *5 (-376)) (-5 *2 (-2 (|:| -3684 *3) (|:| -2909 (-661 *5)))) (-5 *1 (-1046 *5 *3)) (-5 *4 (-661 *5)) (-4 *3 (-678 *5)))) (-3453 (*1 *2 *2 *3) (-12 (-4 *3 (-376)) (-5 *1 (-1046 *3 *2)) (-4 *2 (-678 *3))))) 
-((-2967 (((-114) $ $) NIL (|has| |#1| (-1122)) ELT)) (-3455 ((|#1| $ |#1|) 14 T ELT)) (-4218 ((|#1| $ |#1|) 12 T ELT)) (-3457 (($ |#1|) 10 T ELT)) (-3660 (((-1180) $) NIL (|has| |#1| (-1122)) ELT)) (-3661 (((-1141) $) NIL (|has| |#1| (-1122)) ELT)) (-4230 ((|#1| $) 11 T ELT)) (-3456 ((|#1| $) 13 T ELT)) (-4376 (((-877) $) 21 (|has| |#1| (-1122)) ELT)) (-1378 (((-114) $ $) NIL (|has| |#1| (-1122)) ELT)) (-3454 (((-114) $ $) 9 T ELT))) 
+((-2967 (((-114) $ $) NIL (|has| |#1| (-1122)) ELT)) (-3455 ((|#1| $ |#1|) 14 T ELT)) (-4218 ((|#1| $ |#1|) 12 T ELT)) (-3457 (($ |#1|) 10 T ELT)) (-3660 (((-1180) $) NIL (|has| |#1| (-1122)) ELT)) (-3661 (((-1141) $) NIL (|has| |#1| (-1122)) ELT)) (-4230 ((|#1| $) 11 T ELT)) (-3456 ((|#1| $) 13 T ELT)) (-4376 (((-877) $) 19 (|has| |#1| (-1122)) ELT)) (-1378 (((-114) $ $) NIL (|has| |#1| (-1122)) ELT)) (-3454 (((-114) $ $) 9 T ELT))) 
 (((-1047 |#1|) (-13 (-1238) (-10 -8 (-15 -3457 ($ |#1|)) (-15 -4230 (|#1| $)) (-15 -4218 (|#1| $ |#1|)) (-15 -3456 (|#1| $)) (-15 -3455 (|#1| $ |#1|)) (-15 -3454 ((-114) $ $)) (IF (|has| |#1| (-1122)) (-6 (-1122)) |%noBranch|))) (-1238)) (T -1047)) 
 ((-3457 (*1 *1 *2) (-12 (-5 *1 (-1047 *2)) (-4 *2 (-1238)))) (-4230 (*1 *2 *1) (-12 (-5 *1 (-1047 *2)) (-4 *2 (-1238)))) (-4218 (*1 *2 *1 *2) (-12 (-5 *1 (-1047 *2)) (-4 *2 (-1238)))) (-3456 (*1 *2 *1) (-12 (-5 *1 (-1047 *2)) (-4 *2 (-1238)))) (-3455 (*1 *2 *1 *2) (-12 (-5 *1 (-1047 *2)) (-4 *2 (-1238)))) (-3454 (*1 *2 *1 *1) (-12 (-5 *2 (-114)) (-5 *1 (-1047 *3)) (-4 *3 (-1238))))) 
 ((-2967 (((-114) $ $) NIL T ELT)) (-4111 (((-661 (-2 (|:| -4291 $) (|:| -1905 (-661 |#4|)))) (-661 |#4|)) NIL T ELT)) (-4112 (((-661 $) (-661 |#4|)) 117 T ELT) (((-661 $) (-661 |#4|) (-114)) 118 T ELT) (((-661 $) (-661 |#4|) (-114) (-114)) 116 T ELT) (((-661 $) (-661 |#4|) (-114) (-114) (-114) (-114)) 119 T ELT)) (-3484 (((-661 |#3|) $) NIL T ELT)) (-3309 (((-114) $) NIL T ELT)) (-3300 (((-114) $) NIL (|has| |#1| (-569)) ELT)) (-4123 (((-114) |#4| $) NIL T ELT) (((-114) $) NIL T ELT)) (-4118 ((|#4| |#4| $) NIL T ELT)) (-4205 (((-661 (-2 (|:| |val| |#4|) (|:| -1743 $))) |#4| $) 111 T ELT)) (-3310 (((-2 (|:| |under| $) (|:| -3532 $) (|:| |upper| $)) $ |#3|) NIL T ELT)) (-4140 (($ (-1 (-114) |#4|) $) NIL (|has| $ (-6 -4425)) ELT) (((-3 |#4| #1="failed") $ |#3|) 66 T ELT)) (-4154 (($) NIL T CONST)) (-3305 (((-114) $) 29 (|has| |#1| (-569)) ELT)) (-3307 (((-114) $ $) NIL (|has| |#1| (-569)) ELT)) (-3306 (((-114) $ $) NIL (|has| |#1| (-569)) ELT)) (-3308 (((-114) $) NIL (|has| |#1| (-569)) ELT)) (-4119 (((-661 |#4|) (-661 |#4|) $ (-1 |#4| |#4| |#4|) (-1 (-114) |#4| |#4|)) NIL T ELT)) (-3301 (((-661 |#4|) (-661 |#4|) $) NIL (|has| |#1| (-569)) ELT)) (-3302 (((-661 |#4|) (-661 |#4|) $) NIL (|has| |#1| (-569)) ELT)) (-3575 (((-3 $ #1#) (-661 |#4|)) NIL T ELT)) (-3574 (($ (-661 |#4|)) NIL T ELT)) (-4229 (((-3 $ #1#) $) 45 T ELT)) (-4115 ((|#4| |#4| $) 69 T ELT)) (-1467 (($ $) NIL (-12 (|has| $ (-6 -4425)) (|has| |#4| (-1122))) ELT)) (-3826 (($ |#4| $) NIL (-12 (|has| $ (-6 -4425)) (|has| |#4| (-1122))) ELT) (($ (-1 (-114) |#4|) $) NIL (|has| $ (-6 -4425)) ELT)) (-3303 (((-2 (|:| |rnum| |#1|) (|:| |polnum| |#4|) (|:| |den| |#1|)) |#4| $) 84 (|has| |#1| (-569)) ELT)) (-4124 (((-114) |#4| $ (-1 (-114) |#4| |#4|)) NIL T ELT)) (-4113 ((|#4| |#4| $) NIL T ELT)) (-4272 ((|#4| (-1 |#4| |#4| |#4|) $ |#4| |#4|) NIL (-12 (|has| $ (-6 -4425)) (|has| |#4| (-1122))) ELT) ((|#4| (-1 |#4| |#4| |#4|) $ |#4|) NIL (|has| $ (-6 -4425)) ELT) ((|#4| (-1 |#4| |#4| |#4|) $) NIL (|has| $ (-6 -4425)) ELT) ((|#4| |#4| $ (-1 |#4| |#4| |#4|) (-1 (-114) |#4| |#4|)) NIL T ELT)) (-4126 (((-2 (|:| -4291 (-661 |#4|)) (|:| -1905 (-661 |#4|))) $) NIL T ELT)) (-3615 (((-114) |#4| $) NIL T ELT)) (-3613 (((-114) |#4| $) NIL T ELT)) (-3616 (((-114) |#4| $) NIL T ELT) (((-114) $) NIL T ELT)) (-3858 (((-2 (|:| |val| (-661 |#4|)) (|:| |towers| (-661 $))) (-661 |#4|) (-114) (-114)) 132 T ELT)) (-3290 (((-661 |#4|) $) 18 (|has| $ (-6 -4425)) ELT)) (-4125 (((-114) |#4| $) NIL T ELT) (((-114) $) NIL T ELT)) (-3598 ((|#3| $) 38 T ELT)) (-3007 (((-661 |#4|) $) 19 (|has| $ (-6 -4425)) ELT)) (-3663 (((-114) |#4| $) 27 (-12 (|has| $ (-6 -4425)) (|has| |#4| (-1122))) ELT)) (-2160 (($ (-1 |#4| |#4|) $) 25 (|has| $ (-6 -4426)) ELT)) (-4388 (($ (-1 |#4| |#4|) $) 23 T ELT)) (-3315 (((-661 |#3|) $) NIL T ELT)) (-3314 (((-114) |#3| $) NIL T ELT)) (-3660 (((-1180) $) NIL T ELT)) (-3609 (((-3 |#4| (-661 $)) |#4| |#4| $) NIL T ELT)) (-3608 (((-661 (-2 (|:| |val| |#4|) (|:| -1743 $))) |#4| |#4| $) 109 T ELT)) (-4228 (((-3 |#4| #1#) $) 42 T ELT)) (-3610 (((-661 $) |#4| $) 92 T ELT)) (-3612 (((-3 (-114) (-661 $)) |#4| $) NIL T ELT)) (-3611 (((-661 (-2 (|:| |val| (-114)) (|:| -1743 $))) |#4| $) 102 T ELT) (((-114) |#4| $) 64 T ELT)) (-3656 (((-661 $) |#4| $) 114 T ELT) (((-661 $) (-661 |#4|) $) NIL T ELT) (((-661 $) (-661 |#4|) (-661 $)) 115 T ELT) (((-661 $) |#4| (-661 $)) NIL T ELT)) (-3859 (((-661 $) (-661 |#4|) (-114) (-114) (-114)) 127 T ELT)) (-3860 (($ |#4| $) 81 T ELT) (($ (-661 |#4|) $) 82 T ELT) (((-661 $) |#4| $ (-114) (-114) (-114) (-114) (-114)) 78 T ELT)) (-4127 (((-661 |#4|) $) NIL T ELT)) (-4121 (((-114) |#4| $) NIL T ELT) (((-114) $) NIL T ELT)) (-4116 ((|#4| |#4| $) NIL T ELT)) (-4129 (((-114) $ $) NIL T ELT)) (-3304 (((-2 (|:| |num| |#4|) (|:| |den| |#1|)) |#4| $) NIL (|has| |#1| (-569)) ELT)) (-4122 (((-114) |#4| $) NIL T ELT) (((-114) $) NIL T ELT)) (-4117 ((|#4| |#4| $) NIL T ELT)) (-3661 (((-1141) $) NIL T ELT)) (-4231 (((-3 |#4| #1#) $) 40 T ELT)) (-1468 (((-3 |#4| #1#) (-1 (-114) |#4|) $) NIL T ELT)) (-4109 (((-3 $ #1#) $ |#4|) 59 T ELT)) (-4199 (($ $ |#4|) NIL T ELT) (((-661 $) |#4| $) 94 T ELT) (((-661 $) |#4| (-661 $)) NIL T ELT) (((-661 $) (-661 |#4|) $) NIL T ELT) (((-661 $) (-661 |#4|) (-661 $)) 88 T ELT)) (-2158 (((-114) (-1 (-114) |#4|) $) NIL (|has| $ (-6 -4425)) ELT)) (-4198 (($ $ (-661 |#4|) (-661 |#4|)) NIL (-12 (|has| |#4| (-321 |#4|)) (|has| |#4| (-1122))) ELT) (($ $ |#4| |#4|) NIL (-12 (|has| |#4| (-321 |#4|)) (|has| |#4| (-1122))) ELT) (($ $ (-305 |#4|)) NIL (-12 (|has| |#4| (-321 |#4|)) (|has| |#4| (-1122))) ELT) (($ $ (-661 (-305 |#4|))) NIL (-12 (|has| |#4| (-321 |#4|)) (|has| |#4| (-1122))) ELT)) (-1329 (((-114) $ $) NIL T ELT)) (-3823 (((-114) $) 17 T ELT)) (-3993 (($) 14 T ELT)) (-4378 (((-791) $) NIL T ELT)) (-2157 (((-791) |#4| $) NIL (-12 (|has| $ (-6 -4425)) (|has| |#4| (-1122))) ELT) (((-791) (-1 (-114) |#4|) $) NIL (|has| $ (-6 -4425)) ELT)) (-3820 (($ $) 13 T ELT)) (-4402 (((-547) $) NIL (|has| |#4| (-631 (-547))) ELT)) (-3950 (($ (-661 |#4|)) 22 T ELT)) (-3311 (($ $ |#3|) 52 T ELT)) (-3313 (($ $ |#3|) 54 T ELT)) (-4114 (($ $) NIL T ELT)) (-3312 (($ $ |#3|) NIL T ELT)) (-4376 (((-877) $) 35 T ELT) (((-661 |#4|) $) 46 T ELT)) (-4108 (((-791) $) NIL (|has| |#3| (-381)) ELT)) (-1378 (((-114) $ $) NIL T ELT)) (-4128 (((-3 (-2 (|:| |bas| $) (|:| -3744 (-661 |#4|))) #1#) (-661 |#4|) (-1 (-114) |#4| |#4|)) NIL T ELT) (((-3 (-2 (|:| |bas| $) (|:| -3744 (-661 |#4|))) #1#) (-661 |#4|) (-1 (-114) |#4|) (-1 (-114) |#4| |#4|)) NIL T ELT)) (-4120 (((-114) $ (-1 (-114) |#4| (-661 |#4|))) NIL T ELT)) (-3607 (((-661 $) |#4| $) 91 T ELT) (((-661 $) |#4| (-661 $)) NIL T ELT) (((-661 $) (-661 |#4|) $) NIL T ELT) (((-661 $) (-661 |#4|) (-661 $)) NIL T ELT)) (-2159 (((-114) (-1 (-114) |#4|) $) NIL (|has| $ (-6 -4425)) ELT)) (-4110 (((-661 |#3|) $) NIL T ELT)) (-3614 (((-114) |#4| $) NIL T ELT)) (-4363 (((-114) |#3| $) 65 T ELT)) (-3454 (((-114) $ $) NIL T ELT)) (-4387 (((-791) $) NIL (|has| $ (-6 -4425)) ELT))) 
diff --git a/src/share/algebra/operation.daase b/src/share/algebra/operation.daase
index 43e8ca69..55892982 100644
--- a/src/share/algebra/operation.daase
+++ b/src/share/algebra/operation.daase
@@ -1,5 +1,5 @@
 
-(719417 . 3524395030)        
+(719417 . 3524422414)        
 (((*1 *2 *3 *4)
   (|partial| -12 (-5 *3 (-1288 *4)) (-4 *4 (-13 (-1070) (-658 (-558))))
    (-5 *2 (-1288 (-419 (-558)))) (-5 *1 (-1317 *4)))))