paiges
paiges copied to clipboard
Is the invariant on Line correct?
Line says:
Represents a single, literal newline. This is always nested inside the left of a FlatAlt. Exposing this at the top level breaks a number of invariants we have.
But it is exposed at the top level by hardLine.
Is the invariant wrong?