projects
/
sbp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
checkpoint
[sbp.git]
/
src
/
edu
/
berkeley
/
sbp
/
tib
/
TibDoc.java
diff --git
a/src/edu/berkeley/sbp/tib/TibDoc.java
b/src/edu/berkeley/sbp/tib/TibDoc.java
index
d308186
..
d8f24ff
100644
(file)
--- 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 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 @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
}
// FIXME: it would be nice to be able to
// void KeyVal(String, String) { ... } imperatively
}