Re: Breaking a circularity

[Simon Wright <simon@pushface.org>]

Ludovic Brenta <ludovic@ludovic-brenta.org> writes:

> BTW, why does Event_Type have to be limited? If it weren't limited,
> you would not need Event_Ptr_Type.  Also, why does it have to be
> abstract?

When I made my events limited, it was because any two events are
different. In this case, we have

   type Event_Type is abstract record
      Id : Positive;
      Time : Time_Type;
   end record;

so it probably won't make any sense for an Event to be copyable (what
would Id be in the copy?). Of course the events could be privately
nonlimited.

I do wonder what Id is _for_.

You'll certainly need pointers somewhere, because Event_Type instances
have to be held in the Queue. Indefinite_Ordered_Sets might do the
trick, though. It would save the bother of having Handle deallocate the
Event.