From: Jean Privat Date: Thu, 4 Dec 2014 03:29:33 +0000 (-0500) Subject: Merge: Keep going toolcontext X-Git-Tag: v0.7~83 X-Git-Url: http://nitlanguage.org Merge: Keep going toolcontext For a compiler, exiting when the source-code is incoherent make sense. However for some tools, like nitlight, it could be useful to be able to process broken code (or just to ignore it and continue). So, this PR introduce the flag `ToolContext::keep_going` to prevent `check_errors` to terminate the program. It is then the responsibility of the tool to manage the incomplete and possibly incoherent model that was produced. Close #863 Pull-Request: #959 Reviewed-by: Alexandre Terrasa Reviewed-by: Lucas Bajolet --- cdb5912880ecd518438486659f515e4984f93b7a