From: Gautier de Montmollin <Gautier.deMontmollin@maths.unine.ch>
Subject: Re: Help withing Operators
Date: 1999/11/18
Date: 1999-11-18T00:00:00+00:00 [thread overview]
Message-ID: <38342929.7C8DCC6B@maths.unine.ch> (raw)
In-Reply-To: 810os4$lko$1@trog.dera.gov.uk
> I want to find out how you overide a large number of operators. I know you
> can overwrite them one at a time, but if all the operators are contained
> within a package, can you, in some way with that package's operators?
Imagine you want to switch between classical integers and multi-precision
integers defined in a package with operators.
The with+use clause for this package will make all the operators defined there
available. Then, you define your type
subtype myint is integer
or
subtype myint is multi_int
to use the type (and associated operators) you want. That's it...
--
Gautier
_____\\________________\_______\
http://members.xoom.com/gdemont/
next prev parent reply other threads:[~1999-11-18 0:00 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-11-18 0:00 Help withing Operators Hovers
1999-11-18 0:00 ` Wes Groleau
1999-11-18 0:00 ` Gautier de Montmollin [this message]
1999-11-18 0:00 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox