From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,e7f93d8ad6f20c52
X-Google-Attributes: gid103376,public
From: mfb@mbunix.mitre.org (Michael F Brenner)
Subject: Re: problem with operation
Date: 1998/05/09
Message-ID: <6j2ksf$50n@top.mitre.org>#1/1
X-Deja-AN: 351814319
References: <01bc5cbd$c4565da0$LocalHost@default>
Organization: The MITRE Corporation, Bedford Mass.
Newsgroups: comp.lang.ada
Date: 1998-05-09T00:00:00+00:00
List-Id: <comp.lang.ada>


Since the elements of the matrix are private, they do not carry
with them any + operators. One way to repair this is to give
the generic matrix package that + operator in addition to the element
type, like this:

     generic
        ...
        type elements is private;
        with function "+" (left, right: elements) return elements;
        ...
     package fixed_matrix_essence is
        type fixed_matrices is private;
        ...
        function "+" (left, right: fixed_matrices) return fixed_matrices;
        ...

The body will then be able to add elements, because you gave it
the function + for elements. 

Other possibilities include: derived or other global operations,
or a non-private element type for the matrices.