Constrained genericity: Difference between revisions

Content added Content deleted
(Added PicoLisp)
m (Aligned white space)
Line 335: Line 335:
(let (Box (new '(+FoodBox)) Eat (new '(+Eatable)) NoEat (new '(+Bla)))
(let (Box (new '(+FoodBox)) Eat (new '(+Eatable)) NoEat (new '(+Bla)))
(set> Box Eat) # Works
(set> Box Eat) # Works
(set> Box NoEat) ) # Gives an error</lang>
(set> Box NoEat) ) # Gives an error</lang>
Output:
Output:
<pre>$384320489 -- Object is not eatable
<pre>$384320489 -- Object is not eatable