[Aldor-l] Internal data types

[Ralf Hemmecke]

aldor -Q3 -Qinline-all -Wcheck -Qinline-limit:18 
-Mno-ALDOR_W_OverRideLibraryFile -Zdb -Iinclude  -fao -fmain -fc bug1066.as

Hangs for me.

But compiles for 'aldor -q1 bug1066.as'.

Ralf
> #include "axllib"
> 
> Foo: with {
>         foo: () -> %;
> } == add {
>         Rep == SingleInteger;
>         import from Rep;
> 
>         foo(): % == {
>                 import from SingleInteger;
>                 y: Rep :=  1;
>                 for x in 1.. repeat y := y + 1;
>                 per y
>         }
> }