checkpoint

darcs-hash:20060702175208-5007d-04094c9197daed9f9705be648987d26e3b55f9c3.gz

diff --git a/src/edu/berkeley/sbp/tib/TibDoc.java b/src/edu/berkeley/sbp/tib/TibDoc.java
index 26f8174..d308186 100644 (file)
--- a/src/edu/berkeley/sbp/tib/TibDoc.java
+++ b/src/edu/berkeley/sbp/tib/TibDoc.java
@@ -343,8 +343,6 @@ toContex ll = prefix ++ (concatMap tl ll) ++ suffix
         
         public @nonterminal static class Body extends Dump {
             public Section[] sections;
-            // FIXME: it would be nice to be able to
-            // void KeyVal(String, String) { ... } imperatively
         }
         
         public @nonterminal("Section") static class Section extends Dump {
@@ -353,8 +351,8 @@ toContex ll = prefix ++ (concatMap tl ll) ++ suffix
         }
         
         public @nonterminal static class KeyVal extends Dump {
-            public @arg("key") String key;
-            public @arg("val") Object val;
+            public @arg String key;
+            public @arg Object val;
         }
 
         public static class Paragraph extends Dump { }