Constrained genericity: Difference between revisions

m
Line 387:
;class
 
\ FoodBox objectsis are createddefined without using eat in any way.
:class FoodBox
object-list eatable-types
Line 395:
else ." not an eatable type "
then ;m
:m get ( begin-- obj ) eatable-types each:;m
:m test:
begin eatable-types each:
while eat
repeat ;m
;class
 
: test ( obj -- )
begin dup each:
while eat
repeat drop ;
 
FoodBox fb
3 ' Eatable fb fill:
fb get test:
successful eat
successful eat
Line 418 ⟶ 420:
 
5 ' green-apple fb1 fill:
fb1 get test:
successful eat
successful eat