Thread: [ooc-compiler] SYSTEM.VAL bug? | Optimizing Oberon-2 Compiler

[ooc-compiler] SYSTEM.VAL bug?

From: akarl <fus...@co...> - 2005-08-30 14:59:42

Hi all,

Why is the last statement in Test.Mod invalid?

[src]$ cat Test.Mod
MODULE Test;
    IMPORT SYSTEM;
    VAR s: SET; n: SHORTINT;
BEGIN
    n := 1;
    s := SYSTEM.VAL(SET, LONG(LONG(n)));
    s := SYSTEM.VAL(SET, LONG(LONG(1)))
END Test.

[src]$ oo2c -M -r .. Test.Mod
Test.Mod:7:35: Size mismatch between type and expression


Regards,

August

Re: [ooc-compiler] SYSTEM.VAL bug?

From: Michael v. A. <mic...@gm...> - 2005-08-31 06:43:43

On 30/08/05, akarl <fus...@co...> wrote:
> Hi all,
>=20
> Why is the last statement in Test.Mod invalid?
>=20
> [src]$ cat Test.Mod
> MODULE Test;
>     IMPORT SYSTEM;
>     VAR s: SET; n: SHORTINT;
> BEGIN
>     n :=3D 1;
>     s :=3D SYSTEM.VAL(SET, LONG(LONG(n)));
>     s :=3D SYSTEM.VAL(SET, LONG(LONG(1)))

For an integer constant, oo2c always uses the smallest integer
type that can hold it.  As LONG() is an identity operation, it does
not change the type of integer constants: SIZE(1)=3DSIZE(LONG(1))=3D1

For a broader discussion of this, please see appendix B of Patrik Reali's=
=20
dissertation at http://www.inf.ethz.ch/personal/reali/

-- mva

Re: [ooc-compiler] SYSTEM.VAL bug?

From: akarl <fus...@co...> - 2005-09-02 15:16:58

Michael van Acken wrote:
> On 30/08/05, akarl <fus...@co...> wrote:
>>Why is the last statement in Test.Mod invalid?
>>
>>[src]$ cat Test.Mod
>>MODULE Test;
>>    IMPORT SYSTEM;
>>    VAR s: SET; n: SHORTINT;
>>BEGIN
>>    n := 1;
>>    s := SYSTEM.VAL(SET, LONG(LONG(n)));
>>    s := SYSTEM.VAL(SET, LONG(LONG(1)))
> 
> 
> For an integer constant, oo2c always uses the smallest integer
> type that can hold it.  As LONG() is an identity operation, it does
> not change the type of integer constants: SIZE(1)=SIZE(LONG(1))=1
> 
> For a broader discussion of this, please see appendix B of Patrik Reali's 
> dissertation at http://www.inf.ethz.ch/personal/reali/

OK, thanks.

August