(* This example checks if printing nested let-in's stays in linear time *) (* Expected time < 1.00s *)
Definition f (x : nat * nat) := let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in let (a,b) := x in
0.
Timeout 5 TimePrint f.
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
