[cduce-users] Function takes more than 5 minutes to compile

pierluigi luzzone at gmail.com
Thu May 25 18:11:55 CEST 2006


> Hello,
>
> I tried to isolate in a small function a problem a student of mine found
> in cduce 0.4. This silly function takes more than 5 minutes to compile.
>
> let f(p : [Any*]) : [Any*] =
>   let res = (
>    xtransform p with
>       <t>[<a>[]] -> []
>     | <t>[<t>[]] -> [<t>[]]
>     | <t>[x] -> [<a>[x]]
>    ) in res
> ;;
>
> I generated cduce 0.4 using godi in Ubuntu 6.06.
>
> Best wishes,
>   
I compiled this function in less than one second, without any problem. 
I'm actually using cduce 0.3.2 on Ubuntu 6.10.

cduce --compile test.cd --verbose

val f : X1 -> X1 where X1 = [ Any* ]




More information about the Cduce-users mailing list