Re: [isabelle] Creating ML data is slow. No sharing/caching?
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] "let x = unfolded in ()"
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and