[cduce-users] Function takes more than 5 minutes to compile
luzzone at gmail.com
Thu May 25 18:11:55 CEST 2006
> 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