Changeset 2739 for trunk/Library/CordedString.fsi

Timestamp:

08/25/08 07:23:17 (15 months ago)

Author:

black

Message:

Next iteration of CordedStrings?, with substring nodes. Comparison of Strings with substring nodes is a work in progress. This commit fixes bugs in the Range comparison code that were impeding that progress

Files:

• trunk/Library/CordedString.fsi (modified) (1 diff)

trunk/Library/CordedString.fsi

@@ -24 +24 @@
   end
   
+  trait SubString extends String
+    comprises {...}
+  end 
+  
   margin(prefix: String, indent: ZZ32)