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"

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

(*39.257s*)
value[code] "map (my_toString) unfolded"

2015-07-29 15:14 GMT+02:00 C. Diekmann <diekmann at in.tum.de>:
>> 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.