Function takes more than 5 minutes to compile

Artur Miguel Dias amd at di.fct.unl.pt
Wed May 24 21:39:28 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,

-- 
Artur Miguel Dias / amd at di.fct.unl.pt / http://ctp.di.fct.unl.pt/~amd
Dept. Informática / Fac.Ciências Tec. / Universidade Nova de Lisboa
                  / Qta. da Torre, 2825-114 Caparica, PORTUGAL




More information about the Cduce-users mailing list