|
definition:
|
formatErrors :: [PError] -> IO _
formatErrors [] =
error "Internal error in 'TransICode.formatErrors': No errors in list!"
formatErrors es@(e1:_) = do
hPutStrLn stderr $ "\nERRORS in " ++ getFilename (getPErrorPos e1) ++ ":"
++ concatMap formatErr es
error "Failure during preprocessing of Curry source file!"
where
formatErr :: PError -> String
formatErr e = "\n" ++ "Line " ++ show (getLn (getPErrorPos e))
++ " Col " ++ show (getCol (getPErrorPos e))
++ ": " ++ getPErrorMsg e
|
|
demand:
|
argument 1
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
-- Formatting and terminating with Errors
|
|
failfree:
|
_
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{({:}) |-> _}
|
|
name:
|
formatErrors
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
[CPP.ICode.ParseError.PError] -> Prelude.IO a
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
possibly non-terminating
|
|
totally-defined:
|
possibly non-reducible on same data term
|