2015-10-11 15:50:41 -07:00
|
|
|
{-# LANGUAGE DeriveDataTypeable, DeriveGeneric #-}
|
2015-02-18 21:00:46 +00:00
|
|
|
{-
|
2016-03-22 17:20:39 -07:00
|
|
|
Copyright (C) 2006-2016 John MacFarlane <jgm@berkeley.edu>
|
2015-02-18 21:00:46 +00:00
|
|
|
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
|
|
it under the terms of the GNU General Public License as published by
|
|
|
|
the Free Software Foundation; either version 2 of the License, or
|
|
|
|
(at your option) any later version.
|
|
|
|
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with this program; if not, write to the Free Software
|
|
|
|
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
|
|
|
-}
|
|
|
|
{- |
|
|
|
|
Module : Text.Pandoc.Error
|
2016-03-22 17:20:39 -07:00
|
|
|
Copyright : Copyright (C) 2006-2016 John MacFarlane
|
2015-02-18 21:00:46 +00:00
|
|
|
License : GNU GPL, version 2 or above
|
|
|
|
|
|
|
|
Maintainer : John MacFarlane <jgm@berkeley.edu>
|
|
|
|
Stability : alpha
|
|
|
|
Portability : portable
|
|
|
|
|
|
|
|
This module provides a standard way to deal with possible errors encounted
|
|
|
|
during parsing.
|
|
|
|
|
|
|
|
-}
|
2015-02-18 21:05:47 +00:00
|
|
|
module Text.Pandoc.Error (PandocError(..), handleError) where
|
2015-02-18 12:55:04 +00:00
|
|
|
|
|
|
|
import Text.Parsec.Error
|
|
|
|
import Text.Parsec.Pos hiding (Line)
|
2015-10-11 15:50:41 -07:00
|
|
|
import GHC.Generics (Generic)
|
2015-10-11 17:27:00 -07:00
|
|
|
import Data.Generics (Typeable)
|
2015-10-11 15:50:41 -07:00
|
|
|
import Control.Exception (Exception)
|
2015-02-18 12:55:04 +00:00
|
|
|
|
|
|
|
type Input = String
|
|
|
|
|
2015-02-18 21:00:46 +00:00
|
|
|
data PandocError = -- | Generic parse failure
|
|
|
|
ParseFailure String
|
|
|
|
-- | Error thrown by a Parsec parser
|
2015-02-18 12:55:04 +00:00
|
|
|
| ParsecError Input ParseError
|
2015-10-11 15:50:41 -07:00
|
|
|
deriving (Show, Typeable, Generic)
|
2015-02-18 12:55:04 +00:00
|
|
|
|
2015-10-11 15:50:41 -07:00
|
|
|
instance Exception PandocError
|
2015-02-18 12:55:04 +00:00
|
|
|
|
2015-02-18 21:00:46 +00:00
|
|
|
-- | An unsafe method to handle `PandocError`s.
|
2015-02-18 12:55:04 +00:00
|
|
|
handleError :: Either PandocError a -> a
|
|
|
|
handleError (Right r) = r
|
|
|
|
handleError (Left err) =
|
|
|
|
case err of
|
|
|
|
ParseFailure string -> error string
|
|
|
|
ParsecError input err' ->
|
|
|
|
let errPos = errorPos err'
|
|
|
|
errLine = sourceLine errPos
|
|
|
|
errColumn = sourceColumn errPos
|
2016-08-06 22:01:56 +01:00
|
|
|
ls = lines input ++ [""]
|
|
|
|
errorInFile = if length ls > errLine - 1
|
|
|
|
then concat ["\n", (ls !! (errLine - 1))
|
|
|
|
,"\n", replicate (errColumn - 1) ' '
|
|
|
|
,"^"]
|
|
|
|
else ""
|
|
|
|
in error $ "\nError at " ++ show err'
|
|
|
|
++ errorInFile
|
2015-02-18 12:55:04 +00:00
|
|
|
|