Hi Jhoan, Does static typing could fix these kind of bugs? [hahaha, just kidding ;) ] About the SpecBooklet, for now there's only 3 (really) small issues: at page 3 --> the phrase "You could can use the rest..." should be fixed; at page 5 --> to let the code work I had to substitute "self iconNamed: #thumbsUp" with "(Smalltalk ui icons iconNamed: #thumbsUp)",and so on for the other buttons. Is it a problem of my image? at page 14 --> there's a " ' " missing from the "instanceVariableNames:" of the #ProtocolMethodList subclassing message. Just a note to say that I'm very happy with the SpecBooklet: it would be **very** difficult to figure out how to effectively use Spec by simply reading the code. Further it is really well written, and contains a lot of useful/fundamental information: evidence of the great effort the Authors have spent to write it. Congrats for the very good job! thanks, Matteo On 08/09/16 15:28, Johan Fabry wrote:
Hi Matteo,
glad to be of help. And sorry but these kinds of concurrency bugs are the hardest to catch, there is no straightforward solution.
-- Does this mail seem too brief? Sorry for that, I donât mean to be rude! Please see http://emailcharter.org .
Johan Fabry - http://pleiad.cl/~jfabry PLEIAD and RyCh labs - Computer Science Department (DCC) - University of Chile
On Sep 8, 2016, at 10:13, Matteo <matteob8@yahoo.it> wrote:
thanks Jhoan for the explanation! Do you know some technique to intercept this kind bug? (...or to avoid them?)
thanks Matteo