Re: How can I qualify the predefined logical operations

[dennison@telepath.com]

Whoops. OK I see what you are getting at.

In article <6okcnl$n93$1@nnrp1.dejanews.com>,
  hoyngj@my-dejanews.com wrote:
> I have the following problem, when trying to implement a function "and".
...
>    type Private_Type is array (0 .. 1023) of Boolean;
...
>    function "And" (Left, Right: Private_Type) return Private_Type is
>    begin
>      return Standard."And" (Left, Right);  -- ERROR: not possible
>    end "and";

The best way I can see to get around this problem is the following:


 package Some_Package is
   type Private_Type is private;
   function "And" (Left, Right: Private_Type) return Private_Type ;
 private
   type And_Type is array (0 .. 1023) of Boolean;
   type Private_Type is new And_Type;
 end Some_Package;

 package body Some_Package is
   function "And" (Left, Right: Private_Type) return Private_Type   is   begin
     return Private_Type(And_Type(Left) and And_Type(Right));
   end "and";
end Some_Package;

-----== Posted via Deja News, The Leader in Internet Discussion ==-----
http://www.dejanews.com/rg_mkgrp.xp   Create Your Own Free Member Forum