[clean-list] Re: Clean compiler exited abnormally

[G.W.M. Vissers]

This did indeed solve the problem. Interesting to see though, that you
have to specify the type of str2d`, given the fact that the compiler
is usually able to derive it himself. Is it because this definition gives
extra restrictions to the type of str2d` that the compiler does not
derive?

Thanks everybody who helped,

Gé

> This is a compiler bug. You get this message when the Clean
> compiler crashes on Linux/Unix.
>
> >And if it is a bug in the compiler, is there a way to
> >work around it?
>
> Lift xx and specify str2d`'s type:
>
>     str2d :: {{t}} -> String | ArrayElem, toString t
>     str2d xx = str2d` 0 xx
>     where
>       n = size xx
>       str2d` :: Int {{t}} -> String| ArrayElem, toString t
>       str2d` i xx
>       | i == n = ""
>       = str1d xx.[i] +++ "\n" +++ str2d` (inc i) xx
>
> We'll have to see if the bug is easy to fix. It's in a part
> of the Clean compiler that won't be used in Clean 2.0, so
> perhaps this bug won't get a high priority.
>
>
>
> Cheers,
>
> Ronny Wichers Schreur
>
>
> _______________________________________________
> clean-list mailing list
> clean-list@cs.kun.nl
> http://www.cs.kun.nl/mailman/listinfo/clean-list
>