(* Checking that let-in's hiding evars are expanded when enforcing
"occur-check" *)
Definition foo x y := let xy := (x, y) in let bar xys := match xys with
| nil => cons xy nil
| cons xy' xys' => cons xy' xys' end in bar (nil : list (nat * nat)).
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.
