From: "Michael Garrett" <michaelgarrett@csi.com>
Subject: Re: Run Time Dispatch Question
Date: 2000/02/26
Date: 2000-02-26T14:02:09+00:00 [thread overview]
Message-ID: <898md1$on2$1@ssauraab-i-1.production.compuserve.com> (raw)
In-Reply-To: 38B6837E.7208F8C8@bton.ac.uk
John English <je@bton.ac.uk> wrote in message
news:38B6837E.7208F8C8@bton.ac.uk...
> Michael Garrett wrote:
> > I am having a problem understanding run time dispatching. ( Basic
question I
> > know, but I'm having a brain cramp. )
> > [...snip...]
>
> You need to put your tagged type t and primitive p in a package, not
> a procedure. Otherwise, the procedure p(...) defined for each type
> derived from t is just an overload of the name p, not a primitive of
> the type. Dispatching only happens for primitives. To quote RM95
> 3.2.3:
>
>
Thank You!!
This clears up most of my confusion.
" Build it, Then read the instructions".
Michael
prev parent reply other threads:[~2000-02-26 0:00 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-02-25 0:00 Run Time Dispatch Question Michael Garrett
2000-02-25 0:00 ` John English
2000-02-26 0:00 ` Michael Garrett [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox