|
Class Inhabited (A : Type) : Type := populate { inhabitant : A }.
Definition A := 42.
Instance foo (A: Type): Inhabited (list A).
Check A.
Abort.
Fail Instance foo (A : nat) (A : Type) : Inhabited nat.
¤ Dauer der Verarbeitung: 0.14 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.
|
