Hi Ethan, You are right, I deleted it without noticing. It should say: pre(len(lst) < 10).
Le jeu. 30 août 2018 à 23:02, Ethan Furman <et...@stoneleaf.us> a écrit : > On 08/30/2018 01:49 PM, Marko Ristin-Kaufmann wrote: > > > classC(A): > > # C.some_func also inherits the contracts from A. > > # It weakens the precondition: > > # it operates either on sorted lists OR > > # the lists that are shorter than 10 elements. > > # > > # It strenghthens the postcondition: > > # It needs to return an integer larger than > > # the length of the input list AND > > # the result needs to be divisible by 2. > > @icontract.post(lambdaresult: result %2==0) > > defsome_func(self, lst: List[int]) ->int: > > # ... > > I think you forgot an @icontract.pre() here. > > -- > ~Ethan~ > _______________________________________________ > Python-ideas mailing list > Python-ideas@python.org > https://mail.python.org/mailman/listinfo/python-ideas > Code of Conduct: http://python.org/psf/codeofconduct/ >
_______________________________________________ Python-ideas mailing list Python-ideas@python.org https://mail.python.org/mailman/listinfo/python-ideas Code of Conduct: http://python.org/psf/codeofconduct/
