Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2016-RC0 - A fast implementation of co...

view this post on Zulip Email Gateway (Aug 22 2022 at 12:17):

From: "C. Diekmann" <diekmann@in.tum.de>
Hi,

I refer to my mail from 29.09.2015, "A fast implementation of concat
for strings?".

In Isabelle 2016, concat is still slow (which makes printing large
datatypes with value[code] quite slow). Same behavior as in
Isabelle2015.

value[code] "replicate 1000
''xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx''"
(5.895s)

value[code] "concat (replicate 1000
''xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx'')"
(67.556s)

Urgency: none

Best Regards,
Cornelius

Last updated: Apr 26 2024 at 08:19 UTC