| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/bugs/ (NIST Cobol Test-Suite ©) Datei vom 15.8.2025 mit Größe 282 B |
|
Quellcode-Bibliothek bug_3928.vSprache: Coq |
|||||||||||||||
|
Typeclasses eauto := (bfs). Class Foo := {}. Class Bar := {}. #[export] Instance: Bar := {}. #[export] Instance: Foo -> Bar -> Foo -> Foo | 1 := {}. #[export] Instance: Bar -> Foo | 100 := {}. #[export] Instance: Foo -> Bar -> Foo -> Foo | 1 := {}. Check (_ : Foo). (* timeout *)
¤ 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-06-04) ¤*Bot Zugriff |
|
||||||||||||||
2026-07-27