librelist archives

« back to archive

Constraint genericity and REAL_GENERAL

Constraint genericity and REAL_GENERAL

From:
Christophe Haro
Date:
2010-08-01 @ 07:37
Bonjour,

I do not understand why it is not legal to declare :

    expanded class MY_CLASS[T -> REAL_GENERAL]

but it is legal to write :

    expanded class MY_CLASS[T -> NUMERIC]

and I do not understand the message : << Actually this is only a compiler 
implementation facility. >> that the compiler outputs in the first case :

compile -debug test_math_macros_real.e -o test_math_macros_real.exe
****** Fatal Error: The REAL_GENERAL type cannot be used here.
Actually this is only a compiler implementation facility.

Line 17 column 22 in MATH_MACROS 
(/Users/haro/livres-eni/poo/heritage/programmes/figures/math-macros/math_macros.e):
    MATH_MACROS[T -> REAL_GENERAL]
                     ^            
------
Error occurs while compiling. Compilation process aborted.

Thanks in advance.

Regards,

-- 
Christophe HARO
Christophe.HARO@free.fr
----------------------------

Re: [libertyeiffel] Constraint genericity and REAL_GENERAL

From:
Cyril Adrian
Date:
2010-08-01 @ 10:48
Hi,

It is a SmartEiffel-specific question. You should ask on their mailing list.

If you use Liberty's libraries you can try

   expanded class MY_CLASS[T -> FLOAT]

Cheers

On Sun, Aug 1, 2010 at 09:37, Christophe HARO <christophe.haro@free.fr>wrote:

> Bonjour,
>
> I do not understand why it is not legal to declare :
>
>    expanded class MY_CLASS[T -> REAL_GENERAL]
>
> but it is legal to write :
>
>    expanded class MY_CLASS[T -> NUMERIC]
>
> and I do not understand the message : << Actually this is only a compiler
> implementation facility. >> that the compiler outputs in the first case :
>
> compile -debug test_math_macros_real.e -o test_math_macros_real.exe
> ****** Fatal Error: The REAL_GENERAL type cannot be used here.
> Actually this is only a compiler implementation facility.
>
> Line 17 column 22 in MATH_MACROS
> 
(/Users/haro/livres-eni/poo/heritage/programmes/figures/math-macros/math_macros.e):
>    MATH_MACROS[T -> REAL_GENERAL]
>                     ^
> ------
> Error occurs while compiling. Compilation process aborted.
>
> Thanks in advance.
>
> Regards,
>
> --
> Christophe HARO
> Christophe.HARO@free.fr
> ----------------------------
>



-- 
Cyril *ADRIAN*

*http://www.cadrian.net/cyril*

*http://www.viadeo.com/invitation/cyril.adrian*<http://www.viadeo.com/invitation/cyril.adrian>