From: adam <adam@megacz.com>
Date: Sun, 2 Jul 2006 17:52:29 +0000 (-0400)
Subject: checkpoint
X-Git-Tag: tag_for_25-Mar~236
X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=37c71c9445f7fdc9a3b982e04300a392dc35213a

checkpoint

darcs-hash:20060702175229-5007d-d2f4ebb2fd6c41040de806c0f16a7d0aeec0b774.gz
---

diff --git a/src/edu/berkeley/sbp/tib/TibDoc.java b/src/edu/berkeley/sbp/tib/TibDoc.java
index d308186..d8f24ff 100644
--- a/src/edu/berkeley/sbp/tib/TibDoc.java
+++ b/src/edu/berkeley/sbp/tib/TibDoc.java
@@ -331,12 +331,12 @@ toContex ll = prefix ++ (concatMap tl ll) ++ suffix
     public static class TD {
 
         public @nonterminal static class Doc extends Dump {
-            public @arg("head") Header head;
-            public @arg("body") Body body;
+            public @arg Header head;
+            public @arg Body body;
         }
 
         public @nonterminal static class Header extends Dump {
-            public @arg("attrs") KeyVal[] attrs;
+            public @arg KeyVal[] attrs;
             // FIXME: it would be nice to be able to
             // void KeyVal(String, String) { ... } imperatively
         }