(* Check that rules with patterns are not registered for cases patterns *) Module PrintingTest. Declare Custom Entry test. Notation"& x" := (Some x) (in custom test at level 0, x pattern). Checkfun x => match x with | None => None | Some tt => Some tt end. Notation"& x" := (Some x) (at level 0, x pattern). Checkfun x => match x with | None => None | Some tt => Some tt end. End PrintingTest.
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.
