| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/bugs/ (NIST Cobol Test-Suite ©) Datei vom 15.8.2025 mit Größe 272 B |
|
Quelle bug_6774.vSprache: Coq |
|||||||||||||||
|
(* Was an anomaly with ill-typed template polymorphism *) Definition huh (b:bool) := if b then Set else Prop. Definition lol b: huh b := if b return huh b then nat else True. Goal (lol true) * unit. Fail generalize true. (* should fail with error, not anomaly *) Abort.
¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-06-04) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09