| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/layout/reftests/bugs/ (Browser von der Mozilla Stiftung Version 136.0.1©) Datei vom 10.2.2025 mit Größe 317 B |
|
Quelle bug_9595.v Sprache: Coq |
|||||||||||||||
|
Set Primitive Projections. Set Warnings "+non-primitive-record". (* 0 fields *) Fail Record foo := { a := 0 }. (* anonymous field *) Fail Record foo := { _ : nat }. (* squashed *) Fail Record foo : Prop := { a : nat }.
¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-04-04