| products/Sources/formale Sprachen/Roqc/test-suite/bugs/ (Vienna Development Method ©) Datei vom 15.8.2025 mit Größe 161 B |
|
Quellcode-Bibliothek bug_7867.v Sprache: Coq |
|||||||||||||||
|
(* Was a printer anomaly due to an internal lambda with no binders *) Class class := { foo : nat }. Fail #[export] Instance : class := { foo := 0 ; bar := 0 }.
¤ 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.0.10Bemerkung: (vorverarbeitet am 2026-09-30) ¤*Bot Zugriff |
|
||||||||||||||
2026-10-10