products
/
sources
/
formale Sprachen
/
C
/
LibreOffice
/
offapi
/
com
/
sun
/
star
/
style
/ (
Office von Apache
Version 25.8.3.2
©
) Datei vom 5.10.2025 mit Größe 1 kB
Bilddatei
ShowMatch.v
products/Sources/formale Sprachen/Roqc/test-suite/output/ShowMatch.v
(* Bug 5546 complained about unqualified constructors in Show Match output, when qualification is needed to disambiguate them *) Module A. Inductive foo := f. Show Match foo. (* no need to disambiguate *) End A. Module B. Inductive foo := f. (* local foo shadows A.foo, so constructor "f" needs disambiguation *) Show Match A.foo. End B.
2026-04-04