Warn on multiple definitions of meta predicates - #359

Open

dstelzer wants to merge 7 commits into

mainfrom

multi-def-style-warn

Commits on Sep 16, 2026

warn on duplicate meta definitions
dstelzer
committed
b4b5aeb
update stdlib to not produce warnings
dstelzer
committed
94fccc0
update test cases to match
dstelzer
committed
4d0463a
readme
dstelzer
committed
be7611a
bump library version
dstelzer
committed
c618965

Commits on Sep 17, 2026

disable warnings for meta predicates; keep them only for style classes
dstelzer
committed
92a5d29
don't warn about multiple definitions in library files
dstelzer
committed
e333a3b