X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=TODO;h=ecb06207a550c54d12732e10c48ddf0025f34748;hb=e87f0879fef8e32e7ae7f7103f420c1612f3863f;hp=f4fe3cc3a1dea13410ec4659c71cfaf0d2f5ce6d;hpb=535e666b821198395c4ce8e2032436dcc9fe5828;p=ocaml-bitstring.git

diff --git a/TODO b/TODO
index f4fe3cc..ecb0620 100644
--- a/TODO
+++ b/TODO
@@ -1,9 +1,9 @@
-$Id: TODO,v 1.3 2008-04-25 12:08:51 rjones Exp $
+$Id: TODO,v 1.5 2008-05-07 14:37:00 rjones Exp $
 Major to-do items.
 
 (1) DONE - In bitmatch operator, use patterns not expressions.
 
-(2) Allow matching against strings.
+(2) DONE - Allow matching against strings.
 
 (3) DONE - Change the syntax so { ... } surrounds match patterns.
 
@@ -28,3 +28,31 @@ Major to-do items.
    (Q: Are these evaluated at compile time or at run time or selectable?)
 
 (8) Named but unbound patterns to avoid "Warning Y: unused variable".
+
+(9) DONE -
+    Make the error locations fine-grained, particularly so they point to
+    individual fields, not the whole match.
+
+(10) Cross-module, persistent, named patterns, see:
+  http://caml.inria.fr/pub/ml-archives/caml-list/2008/04/25992c9c9fa999fe1d35d961dd9917a2.en.html
+
+(11) Runtime endiannness expressions.  The suggested syntax is:
+
+    { field : len : endianness(expr) }
+
+    where expr would evaluate to something like `BigEndian or
+    `LittleEndian.
+
+    There are several protocols around where endianness is only
+    determined at runtime, examples are libpcap and TIFF.
+
+(12) More constant field lengths.
+
+(13) Implement native endian functions.
+
+(14) A proper test suite.
+
+(15) More examples:
+
+    ELF binaries
+    GIF images