Group: comp.lang.functional · Group Profile · Search for Rectanges in comp.lang.functional
Author: Dmitry A. Kazakov
Date: Nov 11, 2007 01:38
.... When it stretches Squares or polymorphic objects it is not: declare X : Rectangle := ...; Y : Square := ...; Z : Rectangle'Class := -- Polymorphic object from the class Rectange begin Stretch (X, ...); -- No exceptions, because the type is specific Stretch (Y, ...); -- Can get Constraint_Error Stretch (Z, ...); -- Can get Constraint_Error end; As you see if we ...
|