<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">%---------------------------------------------------------------------------% %---------------------------------------------------------------------------% % % File: errors.m % Main authors: sjc % Date: 27-04-2021 21:05 Hrs % % Outputs an error message to stdout in one of the formats as specified by % the type: options.error_format % %---------------------------------------------------------------------------% %---------------------------------------------------------------------------% :- module errors. :- interface. :- import_module io. :- use_module options. :- type felt_error ---> error( line :: int, col :: int, pos :: int, file :: string, reason :: string ). :- pred write_error( options.error_format::in, felt_error::in, io::di, io::uo ) is cc_multi. :- func make_error(int::in, int::in, int::in, string::in, string::in) = (felt_error::out) is det. :- implementation. :- import_module list, string. % PLAIN -- the default human readable error format. % write_error(options.plain, error(Pos, Line, Col, File, Reason), !IO) :- io.format( "*** FELT-ERROR ***A syntax error has been detected in your source:\n" ++ "file:%s:(%i) at line %i, column %i. The reported error is:\n" ++ "%s\n", [s(File), i(Pos), i(Line), i(Col), s(Reason)], !IO). % SIMPLE -- for simple line based parsing applications. % write_error(options.simple, error(Pos, Line, Col, File, Reason), !IO) :- io.format( "%s\n%i\n%i\n%i\n%s\n", [s(File), i(Pos), i(Line), i(Col), s(Reason)], !IO). % JSON -- because the internet. % write_error(options.json, error(Pos, Line, Col, File, Reason), !IO) :- % poss might need to escape the string but it's MY string! io.format( "{\"file\": \"%s\", \"pos\": %i, \"line\": %i, \"col\": %i, \"error\": \"%s\"}\n", [s(File), i(Pos), i(Line), i(Col), s(Reason)], !IO). % XML -- bare minimum xml output % write_error(options.xml, error(Pos, Line, Col, File, Reason), !IO) :- io.format( "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n" ++ "<error file=\"%s\" pos=\"%i\" line=\"%i\" col=\"%i\">\n" ++ "%s\n</error>\n", [s(File), i(Pos), i(Line), i(Col), s(Reason)], !IO). write_error(_, _, !_IO). % Create standard error packet. % make_error(Pos, Line, Col, File, Reason) = Error :- Error = error(Pos, Line, Col, File, Reason). <div style=""> <blockquote type="cite" class=""><div class="">On 30 Apr 2021, at 22:29, Zoltan Somogyi <<a href="mailto:zoltan.somogyi@runbox.com" class="">zoltan.somogyi@runbox.com</a>> wrote:</div> <div class=""><div class=""> On Fri, 30 Apr 2021 22:24:12 +0100, "Sean Charles (emacstheviking)" <<a href="mailto:objitsu@gmail.com" class="">objitsu@gmail.com</a>> wrote: <blockquote type="cite" class="">I seek some reassurance that this is the correct reasoning and the correct determinism. </blockquote> I cannot answer that without the part of the write_error predicate you deleted. Zoltan. </div></div></blockquote></div> </body></html>