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

Giuseppe Castagna Giuseppe.Castagna at ens.fr
Fri May 26 14:15:10 CEST 2006


On my laptop (a 1.2 GHz mobile pentium), it compiles in the following time

real    0m18.394s
user    0m17.041s
sys     0m0.332s



---Beppe---

Artur Miguel Dias wrote:
> 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,
> 




More information about the Cduce-users mailing list