aboutsummaryrefslogtreecommitdiff
path: root/src/share
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2012-02-19 09:27:56 +0000
committerdos-reis <gdr@axiomatics.org>2012-02-19 09:27:56 +0000
commitde74121648d44897c40b8f0bd53e64c0599bdb2d (patch)
tree2d01e3cedfc1ab52682ed82afe654897c40e0d22 /src/share
parentd2bcc405fe2c77818ea89966730e78340bd3782d (diff)
downloadopen-axiom-de74121648d44897c40b8f0bd53e64c0599bdb2d.tar.gz
* interp/br-data.boot (libConstructorSig): Rename T$ to T for
external name printing. Do not call ncParseFromString.
Diffstat (limited to 'src/share')
-rw-r--r--src/share/algebra/browse.daase2
-rw-r--r--src/share/algebra/category.daase2
-rw-r--r--src/share/algebra/compress.daase2
-rw-r--r--src/share/algebra/interp.daase2
-rw-r--r--src/share/algebra/operation.daase2
5 files changed, 5 insertions, 5 deletions
diff --git a/src/share/algebra/browse.daase b/src/share/algebra/browse.daase
index d5d23522..4b2d1519 100644
--- a/src/share/algebra/browse.daase
+++ b/src/share/algebra/browse.daase
@@ -1,5 +1,5 @@
-(1962894 . 3538276718)
+(1962894 . 3538630437)
(-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 c7d35a35..b4dec405 100644
--- a/src/share/algebra/category.daase
+++ b/src/share/algebra/category.daase
@@ -1,5 +1,5 @@
-(199012 . 3538276721)
+(199012 . 3538630440)
((((-767)) . T))
((((-767)) . T))
((((-767)) . T))
diff --git a/src/share/algebra/compress.daase b/src/share/algebra/compress.daase
index 02948025..cdaf1982 100644
--- a/src/share/algebra/compress.daase
+++ b/src/share/algebra/compress.daase
@@ -1,5 +1,5 @@
-(30 . 3538276717)
+(30 . 3538630436)
(3981 |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 2ef73afb..f2d1886a 100644
--- a/src/share/algebra/interp.daase
+++ b/src/share/algebra/interp.daase
@@ -1,5 +1,5 @@
-(2801385 . 3538276726)
+(2801385 . 3538630445)
((-1721 (((-83) (-1 (-83) |#2| |#2|) $) 86 T ELT) (((-83) $) NIL T ELT)) (-1719 (($ (-1 (-83) |#2| |#2|) $) 18 T ELT) (($ $) NIL T ELT)) (-3771 ((|#2| $ (-480) |#2|) NIL T ELT) ((|#2| $ (-1137 (-480)) |#2|) 44 T ELT)) (-2285 (($ $) 80 T ELT)) (-3825 ((|#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)) (-3402 (((-480) (-1 (-83) |#2|) $) 27 T ELT) (((-480) |#2| $) NIL T ELT) (((-480) |#2| $ (-480)) 96 T ELT)) (-2875 (((-580 |#2|) $) 13 T ELT)) (-3501 (($ (-1 (-83) |#2| |#2|) $ $) 64 T ELT) (($ $ $) NIL T ELT)) (-1938 (($ (-1 |#2| |#2|) $) 37 T ELT)) (-3941 (($ (-1 |#2| |#2|) $) NIL T ELT) (($ (-1 |#2| |#2| |#2|) $ $) 60 T ELT)) (-2292 (($ |#2| $ (-480)) NIL T ELT) (($ $ $ (-480)) 67 T ELT)) (-1343 (((-3 |#2| "failed") (-1 (-83) |#2|) $) 29 T ELT)) (-1936 (((-83) (-1 (-83) |#2|) $) 23 T ELT)) (-3783 ((|#2| $ (-480) |#2|) NIL T ELT) ((|#2| $ (-480)) NIL T ELT) (($ $ (-1137 (-480))) 66 T ELT)) (-2293 (($ $ (-480)) 76 T ELT) (($ $ (-1137 (-480))) 75 T ELT)) (-1935 (((-689) (-1 (-83) |#2|) $) 34 T ELT) (((-689) |#2| $) NIL T ELT)) (-1720 (($ $ $ (-480)) 69 T ELT)) (-3383 (($ $) 68 T ELT)) (-3513 (($ (-580 |#2|)) 73 T ELT)) (-3785 (($ $ |#2|) NIL T ELT) (($ |#2| $) NIL T ELT) (($ $ $) 87 T ELT) (($ (-580 $)) 85 T ELT)) (-3929 (((-767) $) 92 T ELT)) (-1937 (((-83) (-1 (-83) |#2|) $) 22 T ELT)) (-3042 (((-83) $ $) 95 T ELT)) (-2671 (((-83) $ $) 99 T ELT)))
(((-18 |#1| |#2|) (-10 -7 (-15 -3042 ((-83) |#1| |#1|)) (-15 -3929 ((-767) |#1|)) (-15 -2671 ((-83) |#1| |#1|)) (-15 -1719 (|#1| |#1|)) (-15 -1719 (|#1| (-1 (-83) |#2| |#2|) |#1|)) (-15 -2285 (|#1| |#1|)) (-15 -1720 (|#1| |#1| |#1| (-480))) (-15 -1721 ((-83) |#1|)) (-15 -3501 (|#1| |#1| |#1|)) (-15 -3402 ((-480) |#2| |#1| (-480))) (-15 -3402 ((-480) |#2| |#1|)) (-15 -3402 ((-480) (-1 (-83) |#2|) |#1|)) (-15 -1721 ((-83) (-1 (-83) |#2| |#2|) |#1|)) (-15 -3501 (|#1| (-1 (-83) |#2| |#2|) |#1| |#1|)) (-15 -3771 (|#2| |#1| (-1137 (-480)) |#2|)) (-15 -2292 (|#1| |#1| |#1| (-480))) (-15 -2292 (|#1| |#2| |#1| (-480))) (-15 -2293 (|#1| |#1| (-1137 (-480)))) (-15 -2293 (|#1| |#1| (-480))) (-15 -3941 (|#1| (-1 |#2| |#2| |#2|) |#1| |#1|)) (-15 -3785 (|#1| (-580 |#1|))) (-15 -3785 (|#1| |#1| |#1|)) (-15 -3785 (|#1| |#2| |#1|)) (-15 -3785 (|#1| |#1| |#2|)) (-15 -3783 (|#1| |#1| (-1137 (-480)))) (-15 -3513 (|#1| (-580 |#2|))) (-15 -1343 ((-3 |#2| "failed") (-1 (-83) |#2|) |#1|)) (-15 -3825 (|#2| (-1 |#2| |#2| |#2|) |#1|)) (-15 -3825 (|#2| (-1 |#2| |#2| |#2|) |#1| |#2|)) (-15 -3825 (|#2| (-1 |#2| |#2| |#2|) |#1| |#2| |#2|)) (-15 -3783 (|#2| |#1| (-480))) (-15 -3783 (|#2| |#1| (-480) |#2|)) (-15 -3771 (|#2| |#1| (-480) |#2|)) (-15 -1935 ((-689) |#2| |#1|)) (-15 -2875 ((-580 |#2|) |#1|)) (-15 -1935 ((-689) (-1 (-83) |#2|) |#1|)) (-15 -1936 ((-83) (-1 (-83) |#2|) |#1|)) (-15 -1937 ((-83) (-1 (-83) |#2|) |#1|)) (-15 -1938 (|#1| (-1 |#2| |#2|) |#1|)) (-15 -3941 (|#1| (-1 |#2| |#2|) |#1|)) (-15 -3383 (|#1| |#1|))) (-19 |#2|) (-1120)) (T -18))
NIL
diff --git a/src/share/algebra/operation.daase b/src/share/algebra/operation.daase
index d4d6820c..4b39a9aa 100644
--- a/src/share/algebra/operation.daase
+++ b/src/share/algebra/operation.daase
@@ -1,5 +1,5 @@
-(630148 . 3538276719)
+(630148 . 3538630438)
(((*1 *2 *3 *4)
(|partial| -12 (-5 *3 (-1170 *4)) (-4 *4 (-13 (-956) (-577 (-480))))
(-5 *2 (-1170 (-345 (-480)))) (-5 *1 (-1199 *4)))))