| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/bugs/ (NIST Cobol Test-Suite ©) Datei vom 15.8.2025 mit Größe 672 B |
|
Quelle bug_7986.vSprache: Coq |
|||||||||||||||
|
Inductive Instruction: Set := . (* The following works: *) Notation "'RISCV' {{ x ; y ; .. ; z }}" := (@cons Instruction x (@cons Instruction y .. (@cons Instruction z nil) ..)) (format "'RISCV' {{ '[v' '//' x ; '//' y ; '//' .. ; '//' z ']' '//' }}"). (* But if I remove the semicolons, I get Error: Anomaly "Uncaught exception Failure("List.last")." Please report at http://coq.inria.fr/bugs/. *) (* This should fail as: "The format does not match the notation." *) Fail Notation "'RISCV' {{ x y .. z }}" := (@cons Instruction x (@cons Instruction y .. (@cons Instruction z nil) ..)) (format "'RISCV' {{ '[v' '//' x '//' y '//' .. '//' z ']' '//' }}").
¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet am 2026-06-04) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-27