On 30-Jun-2011, at 9:09, Andreas Jonsson wrote:
(..) ^'{|' table garbage ^'|' block element contents ^'|-' table garbage ^'|}' (..) '<table>' table garbage '<tr>' table garbage '<td>' block element contents '</td>' table garbage '</tr>' table garbage '</table>'
- How should the treatment of table garbage be specified? My
recommendation is to change the semantics compared to the original and just specify that table garbage should be ignored.
This kind of garbage handling would be acceptable, right? This probably falls in the category "shouldn't do that anyway", IMO.
- Once both types of tables have been opened, use internal tokens
interchangeably.
Let inner tables take precedence and disable tokens of outer table type.
Let outer tables take precedence and implicitly terminate inner table
if table tokens of outer table type is encountered.
I wrote a whole piece down about how enabling and disabling tokens shouldn't be needed here, but I see the problem now. I think option 2 is the most intuitive. But can't we include TD and TR tokens in the wikitext table specification? That would extend the grammar a bit, but that is no problem.
Cheers, Jan Paul