| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/bugs/ (NIST Cobol Test-Suite ©) Datei vom 15.8.2025 mit Größe 503 B |
|
Quelle HoTT_coq_023.vSprache: Coq |
|||||||||||||||
|
Set Universe Polymorphism. Record Type_Over (X : Type) := { Domain :> Type; proj : Domain -> X }. Definition Self_Over (X : Type) := {| Domain := X; proj := (fun x => x) |}. Canonical Structure Self_Over. (* fails with Anomaly: Mismatched instance and context when b (* if monomorphic, Warning: No global reference exists for projection valuefun x : _UNBOUND_REL_1 => x in instance Self_Over of proj, ignoring it. *)
¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet am 2026-06-04) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-27