|
(* 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 Time Print f.
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
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.
|
