It isn't changing anything.
You've still got a box ('container') that can only hold something 'Real'.
You just happen to have a value in that box that is a 'Rat'.
It is perfectly fine to put a Rat value in a Real box, because a Rat is
also a Real (does the 'Real' role).
You can still stick some other Real in the box, and you still can't stick
anything that isn't a Real in the box.
On Sun, Sep 16, 2018 at 10:07 PM ToddAndMargo <[email protected]> wrote:
> On 09/16/2018 06:50 PM, Curt Tilmes wrote:
> > Note that an object that is a Rat also does Real (see
> > https://docs.perl6.org/type/Rat#Type_Graph)
> >
> > say Rat ~~ Real
> >
> > True
> >
> > Your're making a box that takes a Real, then putting a Rat (that also
> does Real) into that box.
> >
> > It then says "yes, you've got a Rat in there".
> >
> >
>
> Why is it changing thing on the fly when I tell it not to?
> I claim foul !!!!!! AAAAAA HHHHHHH !!!
>