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.
13:33:53pveHi! I would like to give instances of my generic function class a default "function". Is the correct place to do this in "initialize-instance :after ((gf my-gf-class) ... " using set-funcallable-instance-function?
13:46:32phoesounds like you either need a general case for 0 methods or that you need to handle both cases, namely, in some sort of initialization code and then in your remove-method
13:47:26pvephoe: exactly, I only asked because I'm having some problems getting it to work using initialize-instance :after
13:48:06pvejackdaniel: I only need to check for 0 methods
13:49:48pveBike: hmm actually if I replace the default function with something simple like (print 'hello) it does work.. so the problem is most likely elsewhere