Changeset 3294

Timestamp:

01/08/09 06:21:40 (11 months ago)

Author:

Crink

Message:

Minor bugfix to indexing code in PrefixSet?

Location:

trunk/Library

Files:

• PrefixSet.fsi (modified) (1 diff)
• PrefixSet.fss (modified) (2 diffs)

trunk/Library/PrefixSet.fsi

@@ -64 +64 @@
     opr =(self, s2: PrefixSet[\E, F\]): Boolean
     opr [ i: ZZ32 ]: F
-    indexOf(self, x: F): Maybe[\ZZ32\]
-    indexOfMember(self, x: F): ZZ32
+    indexOf(x: F): Maybe[\ZZ32\]
+    indexOfMember(x: F): ZZ32
     splitIndex(x: ZZ32): (PrefixSet[\E, F\], PrefixSet[\E, F\])
     prefixivgen[\R\](prefix: F, i0: ZZ32, r: Reduction[\R\], body: (ZZ32, F) -> R): R

trunk/Library/PrefixSet.fss

@@ -167 +167 @@
     end
 
-    indexOf(self,x:F):Maybe[\ZZ32\] = do
+    indexOf(x:F):Maybe[\ZZ32\] = do
         if (x IN self) then
             Just[\ZZ32\](self.indexOfMember(x))
@@ -175 +175 @@
     end
 
-    indexOfMember(self,x:F):ZZ32 = do
+    indexOfMember(x:F):ZZ32 = do
         if (h,t) <- x.extractLeft() then
             label Search