CurryInfo: currypp-3.2.0 / CPP.ICode.TransICode.formatErrors

 
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

 argument 1

 deterministic operation

 
Formatting and terminating with Errors

 _

 referentially transparent operation

 no fixity defined

 {({:}) |-> _}

 formatErrors

 no precedence defined

 _

 [CPP.ICode.ParseError.PError] -> Prelude.IO a

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term