From fdc238a621d9fb6d0bfce3b3a1572c2effd626cd Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Wed, 12 Dec 2018 11:53:06 -0800 Subject: [PATCH] TeX: in parsing array, ignore `|` in column specs. We have no way to represent this in EArray, currently. Ignoring them seems better than failing altogether. See #127. --- src/Text/TeXMath/Readers/TeX.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Text/TeXMath/Readers/TeX.hs b/src/Text/TeXMath/Readers/TeX.hs index 386f3e1e..a4a46289 100644 --- a/src/Text/TeXMath/Readers/TeX.hs +++ b/src/Text/TeXMath/Readers/TeX.hs @@ -343,12 +343,12 @@ arrayLine = notFollowedBy (ctrlseq "end" >> return '\n') >> arrayAlignments :: TP [Alignment] arrayAlignments = try $ do - as <- braces (many letter) + as <- braces (many (letter <|> char '|')) let letterToAlignment 'l' = AlignLeft letterToAlignment 'c' = AlignCenter letterToAlignment 'r' = AlignRight letterToAlignment _ = AlignCenter - return $ map letterToAlignment as + return $ map letterToAlignment $ filter (/= '|') as environment :: TP Exp environment = do