From a294d21d5ad3335d230ad3e3ee72052c0b080503 Mon Sep 17 00:00:00 2001
From: Fredrik Noring <noring@nocrew.org>
Date: Mon, 23 Mar 1998 18:41:32 +0100
Subject: [PATCH] Fixed lower_cases and number references.
Rev: lib/modules/ADT.pmod/Table.pmod:1.2
---
lib/modules/ADT.pmod/Table.pmod | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/lib/modules/ADT.pmod/Table.pmod b/lib/modules/ADT.pmod/Table.pmod
index a3322511cc..e1f775a39b 100644
--- a/lib/modules/ADT.pmod/Table.pmod
+++ b/lib/modules/ADT.pmod/Table.pmod
@@ -86,7 +86,9 @@ class table {
int `==(object t)
{
- return equal(fields, indices(t)) && equal(table, values(t));
+ return (equal(Array.map(fields, lower_case),
+ Array.map(indices(t), lower_case)) &&
+ equal(table, values(t)));
}
object append_bottom(object t)
@@ -193,7 +195,7 @@ class table {
{
if(!sizeof(cs))
return sum();
- array f = Array.map(fields, lower_case) - Array.map(cs, lower_case);
+ array f = remap(fields) - remap(cs);
mapping m = mkmapping(f, Array.map(f, lambda()
{ return lambda(mixed x1,
mixed x2)
--
GitLab