c86691f · typeable/pandoc

src/Text/Pandoc/Extensions.hs+1−1

compare with master

unifiedsplit

@@ -397,7 +397,7 @@ parseFormatSpec = parse formatSpec ""

397 Just n -> return n

398 Nothing

399 | name == "lhs" -> return Ext_literate_haskell

400− | otherwise -> fail $ "Unknown extension: " ++ name

400+ | otherwise -> Prelude.fail $ "Unknown extension: " ++ name

401 return $ case polarity of

402 '-' -> disableExtension ext

403 _ -> enableExtension ext

src/Text/Pandoc/Parsing.hs+6−6

@@ -343,16 +343,16 @@ notFollowedBy' p = try $ join $ do a <- try p

343-- (This version due to Andrew Pimlott on the Haskell mailing list.)

344

345oneOfStrings' :: Stream s m Char => (Char -> Char -> Bool) -> [String] -> ParserT s st m String

346−oneOfStrings' _ [] = fail "no strings"

346+oneOfStrings' _ [] = Prelude.fail "no strings"

347oneOfStrings' matches strs = try $ do

348 c <- anyChar

349 let strs' = [xs | (x:xs) <- strs, x `matches` c]

350 case strs' of

351− [] -> fail "not found"

351+ [] -> Prelude.fail "not found"

352 _ -> (c:) <$> oneOfStrings' matches strs'

353 <|> if "" `elem` strs'

354 then return [c]

355− else fail "not found"

355+ else Prelude.fail "not found"

356

357-- | Parses one of a list of strings. If the list contains

358-- two strings one of which is a prefix of the other, the longer

@@ -525,7 +525,7 @@ romanNumeral upperCase = do

525 hundreds + nineties + fifties + forties + tens + nines +

526 fives + fours + ones

527 if total == 0

528− then fail "not a roman numeral"

528+ then Prelude.fail "not a roman numeral"

529 else return total

530

531-- Parsers for email addresses and URIs

@@ -698,7 +698,7 @@ characterReference = try $ do

698 _ -> ent ++ ";"

699 case lookupEntity ent' of

700 Just (c : _) -> return c

701− _ -> fail "entity not found"

701+ _ -> Prelude.fail "entity not found"

702

703-- | Parses an uppercase roman numeral and returns (UpperRoman, number).

704upperRoman :: Stream s m Char => ParserT s st m (ListNumberStyle, Int)

@@ -1312,7 +1312,7 @@ failIfInQuoteContext :: (HasQuoteContext st m, Stream s m t)

1312 -> ParserT s st m ()

1313failIfInQuoteContext context = do

1314 context' <- getQuoteContext

1315− when (context' == context) $ fail "already inside quotes"

1315+ when (context' == context) $ Prelude.fail "already inside quotes"

1316

1317charOrRef :: Stream s m Char => String -> ParserT s st m Char

1318charOrRef cs =

src/Text/Pandoc/Readers/HTML.hs+2−2

@@ -445,7 +445,7 @@ headerLevel tagtype =

445-- return (level - 1))

446-- <|>

447 return level

448− Nothing -> fail "Could not retrieve header level"

448+ Nothing -> Prelude.fail "Could not retrieve header level"

449

450eTitlePage :: PandocMonad m => TagParser m ()

451eTitlePage = try $ do

@@ -1238,7 +1238,7 @@ htmlTag f = try $ do

1238 if stripComments

1239 then return (next, "")

1240 else return (next, "")

1241− | otherwise -> fail "bogus comment mode, HTML5 parse error"

1241+ | otherwise -> Prelude.fail "bogus comment mode, HTML5 parse error"

1242 TagOpen tagname attr -> do

1243 guard $ isPI tagname || all (isName . fst) attr

1244 handleTag tagname

src/Text/Pandoc/Readers/LaTeX.hs+2−2

@@ -1239,7 +1239,7 @@ romanNumeralArg = spaces *> (parser <|> inBraces)

1239 Tok _ Word s <- satisfyTok isWordTok

1240 let (digits, rest) = T.span isDigit s

1241 unless (T.null rest) $

1242− fail "Non-digits in argument to \\Rn or \\RN"

1242+ Prelude.fail "Non-digits in argument to \\Rn or \\RN"

1243 safeRead $ T.unpack digits

1244

1245newToggle :: (Monoid a, PandocMonad m) => [Tok] -> LP m a

@@ -2268,7 +2268,7 @@ parseAligns = try $ do

2268 case safeRead ds of

2269 Just n ->

2270 getInput >>= setInput . (mconcat (replicate n spec) ++)

2271− Nothing -> fail $ "Could not parse " ++ ds ++ " as number"

2271+ Nothing -> Prelude.fail $ "Could not parse " ++ ds ++ " as number"

2272 bgroup

2273 spaces

2274 maybeBar

src/Text/Pandoc/Readers/LaTeX/Parsing.hs+5−5

@@ -244,7 +244,7 @@ applyMacros s = (guardDisabled Ext_latex_macros >> return s) <|>

244 , sMacros = extractMacros pstate }

245 res <- runParserT retokenize lstate "math" (tokenize "math" (T.pack s))

246 case res of

247− Left e -> fail (show e)

247+ Left e -> Prelude.fail (show e)

248 Right s' -> return s'

249

250tokenize :: SourceName -> Text -> [Tok]

@@ -452,7 +452,7 @@ doMacros' n inp = do

452 lstate <- getState

453 res <- lift $ runParserT getargs' lstate "args" ts

454 case res of

455− Left _ -> fail $ "Could not parse arguments for " ++

455+ Left _ -> Prelude.fail $ "Could not parse arguments for " ++

456 T.unpack name

457 Right (args, rest) -> do

458 -- first boolean param is true if we're tokenizing

@@ -576,11 +576,11 @@ primEscape = do

576 Just (c, _)

577 | c >= '\64' && c <= '\127' -> return (chr (ord c - 64))

578 | otherwise -> return (chr (ord c + 64))

579− Nothing -> fail "Empty content of Esc1"

579+ Nothing -> Prelude.fail "Empty content of Esc1"

580 Esc2 -> case safeRead ('0':'x':T.unpack (T.drop 2 t)) of

581 Just x -> return (chr x)

582− Nothing -> fail $ "Could not read: " ++ T.unpack t

582+ Nothing -> Prelude.fail $ "Could not read: " ++ T.unpack t

583− _ -> fail "Expected an Esc1 or Esc2 token" -- should not happen

583+ _ -> Prelude.fail "Expected an Esc1 or Esc2 token" -- should not happen

584

585bgroup :: PandocMonad m => LP m Tok

586bgroup = try $ do

src/Text/Pandoc/Readers/Man.hs+2−2

@@ -131,7 +131,7 @@ parseTable = do

131 Left _ -> do

132 res' <- lift $ readWithMTokens blockstcell st ts'

133 case res' of

134− Left _ -> fail "Could not parse table cell"

134+ Left _ -> Prelude.fail "Could not parse table cell"

135 Right x -> do

136 modifyState $ \s -> s{ tableCellsPlain = False }

137 return x

@@ -492,4 +492,4 @@ skipUnknownMacro = do

492 ControlLine mkind _ pos -> do

493 report $ SkippedContent ('.':mkind) pos

494 return mempty

495− _ -> fail "the impossible happened"

495+ _ -> Prelude.fail "the impossible happened"

src/Text/Pandoc/Readers/Markdown.hs+2−2

@@ -261,7 +261,7 @@ yamlBsToMeta bstr = do

261nodeToKey :: Monad m => YAML.Node YE.Pos -> m Text

262nodeToKey (YAML.Scalar _ (YAML.SStr t)) = return t

263nodeToKey (YAML.Scalar _ (YAML.SUnknown _ t)) = return t

264−nodeToKey _ = fail "Non-string key in YAML mapping"

264+nodeToKey _ = Prelude.fail "Non-string key in YAML mapping"

265

266toMetaValue :: PandocMonad m

267 => Text -> MarkdownParser m (F MetaValue)

@@ -767,7 +767,7 @@ lhsCodeBlockInverseBird = lhsCodeBlockBirdWith '<'

767lhsCodeBlockBirdWith :: PandocMonad m => Char -> MarkdownParser m String

768lhsCodeBlockBirdWith c = try $ do

769 pos <- getPosition

770− when (sourceColumn pos /= 1) $ fail "Not in first column"

770+ when (sourceColumn pos /= 1) $ Prelude.fail "Not in first column"

771 lns <- many1 $ birdTrackLine c

772 -- if (as is normal) there is always a space after >, drop it

773 let lns' = if all (\ln -> null ln || take 1 ln == " ") lns

src/Text/Pandoc/Readers/Muse.hs+2−2

@@ -496,7 +496,7 @@ amuseNoteBlockUntil end = try $ do

496 ref <- noteMarker

497 pos <- getPosition

498 void spaceChar <|> lookAhead eol

499− (content, e) <- allowPara $ listItemContentsUntil (sourceColumn pos) (fail "x") end

499+ (content, e) <- allowPara $ listItemContentsUntil (sourceColumn pos) (Prelude.fail "x") end

500 addNote ref pos content

501 return (mempty, e)

502

@@ -558,7 +558,7 @@ museOrderedListMarker style =

558 LowerRoman -> lowerRoman

559 UpperAlpha -> upperAlpha

560 LowerAlpha -> lowerAlpha

561− _ -> fail "Unhandled case"

561+ _ -> Prelude.fail "Unhandled case"

562

563orderedListItemsUntil :: PandocMonad m

564 => Int

src/Text/Pandoc/Readers/RST.hs+1−1

@@ -312,7 +312,7 @@ doubleHeader' = try $ do

312 txt <- trimInlines . mconcat <$> many1 (notFollowedBy blankline >> inline)

313 pos <- getPosition

314 let len = sourceColumn pos - 1

315− when (len > lenTop) $ fail "title longer than border"

315+ when (len > lenTop) $ Prelude.fail "title longer than border"

316 blankline -- spaces and newline

317 count lenTop (char c) -- the bottom line

318 blanklines

src/Text/Pandoc/Readers/Roff.hs+3−3

@@ -180,7 +180,7 @@ resolveGlyph delimChar glyph = do

180 '[' -> escUnknown ("\\[" ++ glyph ++ "]")

181 '(' -> escUnknown ("\\(" ++ glyph)

182 '\'' -> escUnknown ("\\C'" ++ glyph ++ "'")

183− _ -> fail "resolveGlyph: unknown glyph delimiter"

183+ _ -> Prelude.fail "resolveGlyph: unknown glyph delimiter"

184

185readUnicodeChar :: String -> Maybe Char

186readUnicodeChar ('u':cs@(_:_:_:_:_)) =

@@ -562,7 +562,7 @@ resolveMacro macroName args pos = do

562lexStringDef :: PandocMonad m => [Arg] -> RoffLexer m RoffTokens

563lexStringDef args = do -- string definition

564 case args of

565− [] -> fail "No argument to .ds"

565+ [] -> Prelude.fail "No argument to .ds"

566 (x:ys) -> do

567 let ts = singleTok $ TextLine (intercalate [RoffStr " " ] ys)

568 let stringName = linePartsToString x

@@ -578,7 +578,7 @@ lexMacroDef args = do -- macro definition

578 (x : y : _) -> return (linePartsToString x, linePartsToString y)

579 -- optional second arg

580 (x:_) -> return (linePartsToString x, ".")

581− [] -> fail "No argument to .de"

581+ [] -> Prelude.fail "No argument to .de"

582 let stop = try $ do

583 char '.' <|> char '\''

584 skipMany spacetab

src/Text/Pandoc/Readers/Textile.hs+1−1

@@ -484,7 +484,7 @@ note = try $ do

484 ref <- char '[' *> many1 digit <* char ']'

485 notes <- stateNotes <$> getState

486 case lookup ref notes of

487− Nothing -> fail "note not found"

487+ Nothing -> Prelude.fail "note not found"

488 Just raw -> B.note <$> parseFromString' parseBlocks raw

489

490-- | Special chars

src/Text/Pandoc/Translations.hs+3−3

@@ -71,7 +71,7 @@ newtype Translations = Translations (M.Map Term String)

71instance FromJSON Term where

72 parseJSON (String t) = case safeRead (T.unpack t) of

73 Just t' -> pure t'

74− Nothing -> fail $ "Invalid Term name " ++

74+ Nothing -> Prelude.fail $ "Invalid Term name " ++

75 show t

76 parseJSON invalid = Aeson.typeMismatch "Term" invalid

77

@@ -79,7 +79,7 @@ instance YAML.FromYAML Term where

79 parseYAML (YAML.Scalar _ (YAML.SStr t)) =

80 case safeRead (T.unpack t) of

81 Just t' -> pure t'

82− Nothing -> fail $ "Invalid Term name " ++

82+ Nothing -> Prelude.fail $ "Invalid Term name " ++

83 show t

84 parseYAML invalid = YAML.typeMismatch "Term" invalid

85

@@ -89,7 +89,7 @@ instance FromJSON Translations where

89 return $ Translations (M.fromList xs)

90 where addItem (k,v) =

91 case safeRead (T.unpack k) of

92− Nothing -> fail $ "Invalid Term name " ++ show k

92+ Nothing -> Prelude.fail $ "Invalid Term name " ++ show k

93 Just t ->

94 case v of

95 (String s) -> return (t, T.unpack $ T.strip s)

src/Text/Pandoc/Writers/Docx.hs+1−1

@@ -580,7 +580,7 @@ writeDocx opts doc@(Pandoc meta _) = do

580 settingsEntry <- copyChildren refArchive distArchive settingsPath epochtime settingsList

581

582 let entryFromArchive arch path =

583− maybe (fail $ path ++ " missing in reference docx")

583+ maybe (Prelude.fail $ path ++ " missing in reference docx")

584 return

585 (findEntryByPath path arch `mplus` findEntryByPath path distArchive)

586 docPropsAppEntry <- entryFromArchive refArchive "docProps/app.xml"

src/Text/Pandoc/Writers/HTML.hs+1−1

@@ -429,7 +429,7 @@ parseMailto s =

429 let (name', rest) = span (/='@') addr

430 let domain = drop 1 rest

431 return (name', domain)

432− _ -> fail "not a mailto: URL"

432+ _ -> Prelude.fail "not a mailto: URL"

433

434-- | Obfuscate a "mailto:" link.

435obfuscateLink :: PandocMonad m

src/Text/Pandoc/Writers/Muse.hs+3−3

@@ -607,7 +607,7 @@ inlineToMuse (Subscript lst) = do

607 modify $ \st -> st { stUseTags = False }

608 return $ "<sub>" <> contents <> "</sub>"

609inlineToMuse SmallCaps {} =

610− fail "SmallCaps should be expanded before normalization"

610+ Prelude.fail "SmallCaps should be expanded before normalization"

611inlineToMuse (Quoted SingleQuote lst) = do

612 contents <- inlineListToMuse lst

613 modify $ \st -> st { stUseTags = False }

@@ -617,7 +617,7 @@ inlineToMuse (Quoted DoubleQuote lst) = do

617 modify $ \st -> st { stUseTags = False }

618 return $ "“" <> contents <> "”"

619inlineToMuse Cite {} =

620− fail "Citations should be expanded before normalization"

620+ Prelude.fail "Citations should be expanded before normalization"

621inlineToMuse (Code _ str) = do

622 useTags <- gets stUseTags

623 modify $ \st -> st { stUseTags = False }

@@ -625,7 +625,7 @@ inlineToMuse (Code _ str) = do

625 then "<code>" <> text (substitute "</code>" "<</code><code>/code>" str) <> "</code>"

626 else "=" <> text str <> "="

627inlineToMuse Math{} =

628− fail "Math should be expanded before normalization"

628+ Prelude.fail "Math should be expanded before normalization"

629inlineToMuse (RawInline (Format f) str) = do

630 modify $ \st -> st { stUseTags = False }

631 return $ "<literal style=\"" <> text f <> "\">" <> text str <> "</literal>"

src/Text/Pandoc/Writers/OOXML.hs+2−2

@@ -54,9 +54,9 @@ parseXml :: (PandocMonad m) => Archive -> Archive -> String -> m Element

54parseXml refArchive distArchive relpath =

55 case findEntryByPath relpath refArchive `mplus`

56 findEntryByPath relpath distArchive of

57− Nothing -> fail $ relpath ++ " missing in reference file"

57+ Nothing -> Prelude.fail $ relpath ++ " missing in reference file"

58 Just e -> case parseXMLDoc . UTF8.toStringLazy . fromEntry $ e of

59− Nothing -> fail $ relpath ++ " corrupt in reference file"

59+ Nothing -> Prelude.fail $ relpath ++ " corrupt in reference file"

60 Just d -> return d

61

62-- Copied from Util

src/Text/Pandoc/Writers/Powerpoint/Output.hs+1−1

@@ -173,7 +173,7 @@ copyFileToArchive arch fp = do

173 refArchive <- asks envRefArchive

174 distArchive <- asks envDistArchive

175 case findEntryByPath fp refArchive `mplus` findEntryByPath fp distArchive of

176− Nothing -> fail $ fp ++ " missing in reference file"

176+ Nothing -> Prelude.fail $ fp ++ " missing in reference file"

177 Just e -> return $ addEntryToArchive e arch

178

179alwaysInheritedPatterns :: [Pattern]