0:07:21White_Flameis (stream-external-format *standard-output*) supposed to not crash in SLIME?
0:11:27mfianoI don't use SLIME, but it seems to return :UTF-8 on Sly
0:11:45no-defun-allowedsrji: Somewhat late, but SETF came from SETFQ, which was something like "set function quoted" as the "function" place you'd set would appear quoted like SETQ.
0:13:12lotuseaterno-defun-allowed no I remember :)
0:16:57White_Flameit seems that :EXTERNAL-FORMAT is passed into the dispatcher, which then ends up in an ECASE looking for :STREAM-EXTERNAL-FORMAT, all in sbcl's main code
0:19:36White_Flame(this call is being made by some old code I'm running, but crashes standalone in a clean image under slime as well)
2:12:21dbottonis there a way to disable assertions? (I can't seem to find a way on both ecl and sbcl)
2:13:43no-defun-allowedWhy do you want to do that?
2:15:04dbottonin most languages assertions are turned off on deliverables
2:16:05dbottonI assume that is why assert doesn't return the value of the form it evaluates.
2:17:43no-defun-allowed"Thus, rather than having the software discover its own errors in a benign way, the discovery of such errors is left to the FAA or a Congressional committee."
2:19:06no-defun-allowedHell, https://web.archive.org/web/20160321151425/www.pipeline.com/~hbaker1/letters/CACM-DubiousAchievement.html (where I got the quote from) is even about assertions in Ada.
2:22:05dbottonIn theory once you have "proven" you application there is no reason to continue to run them.
2:32:59dbottonPoplog Prolog was used to develop the original version of the SPARK toolkit by Praxis Systems, though they now use Sicstus Prolog, as that has features not in Poplog Prolog.