| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/bugs/ (NIST Cobol Test-Suite ©) Datei vom 15.8.2025 mit Größe 351 B |
|
Quelle bug_5012.vSprache: Coq |
|||||||||||||||
|
Class Foo := { foo : Set }. Axiom admit : forall {T}, T. Global Instance Foo0 : Foo := {| foo := admit |}. Global Instance Foo1 : Foo := { foo := admit }. Existing Class Foo. Global Instance Foo2 : Foo := { foo := admit }. (* Error: Unbound method name foo of class Foo. *) Set Warnings "+already-existing-class". Fail Existing Class Foo.
¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-06-04) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09