From 979e9c595d25573302530e514b9d7fb847d5b043 Mon Sep 17 00:00:00 2001 From: adam Date: Sun, 2 Jul 2006 13:52:08 -0400 Subject: [PATCH] checkpoint darcs-hash:20060702175208-5007d-04094c9197daed9f9705be648987d26e3b55f9c3.gz --- src/edu/berkeley/sbp/tib/TibDoc.java | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/edu/berkeley/sbp/tib/TibDoc.java b/src/edu/berkeley/sbp/tib/TibDoc.java index 26f8174..d308186 100644 --- 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 { } -- 1.7.10.4