Hi Jerzy, Yes that is true. But it is a behaviour programmers don’t expect. I don’t know by head if a warning is generated...
Greetings, Rinus Verstuurd vanaf mijn iPad > Op 6 aug. 2018 om 19:31 heeft Jerzy Karczmarczuk > <[email protected]> het volgende geschreven: > > Le 06/08/2018 à 17:59, Master Rinus answers the message of Markus Klinik, > concerning the non-checking of unused entities : > >> It is a very old 'feature'... >> Not so nice though. > > Why "not nice"? > There is no [assembly] code generated for such zombies, so why the > typechecker should waste time? > I think that - at least "philosophically" (sorry for the abuse of the word) > this is coherent with laziness. In these contexts the execution errors won't > manifest themselves, so why the type errors should? > > Best regards. > > Jerzy Karczmarczuk > /Caen, France/ > > > --- > L'absence de virus dans ce courrier électronique a été vérifiée par le > logiciel antivirus Avast. > https://www.avast.com/antivirus > > _______________________________________________ > clean-list mailing list > [email protected] > https://mailman.science.ru.nl/mailman/listinfo/clean-list _______________________________________________ clean-list mailing list [email protected] https://mailman.science.ru.nl/mailman/listinfo/clean-list
