Re: [isabelle] Creating ML data is slow. No sharing/caching?

Dear list,

pretty printing can cause quite some overhead. I just wanted to

(*2174.839s elapsed time, 3308.410s cpu time, 161.539s GC time*)
value[code] "unfolded"

value[code] "let x = unfolded in ()"

value[code] "map (my_toString) unfolded"

2015-07-29 15:14 GMT+02:00 C. Diekmann <diekmann at>:
>> Your problem is not the evaluation, it's the pretty printing.
> Thanks Andreas! This explains everything.
> Cheers,
>   Cornelius

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.