-- // When parsing, breaks are normalized: standalone 0x0d characters and
-- // 0x0d 0x0a sequences are converted to 0x0a characters. The emitter
-- // should print breaks according to the particular operating system
-- // rules.

-- //     [7] end ::= char_end | ( break "--" break )

end = choice [ endChar >> return (), between lineBreak lineBreak $ string "--" >> return ()]
end = choice [ endChar >> return (), between lineBreak lineBreak $ string "--" >> return ()]
end = choice [ endChar >> return (), between lineBreak lineBreak $ string "--" >> return ()]