Support more attributes in pyk, skip polymorphic rule handling in frontend - #4916

Merged

ehildenb merged 8 commits into

att-handling-cleanup

May 8, 2026

Commits on Apr 27, 2026

kast/att, konvert/_module_to_kore, test-data/module-to-kore: suppress frontend-only attributes from Kore emission

ehildenb
and
claude
committed
50bf911
kast/att: drop unused frontend_only flag

ehildenb
and
claude
committed
278a74f
konvert/_module_to_kore: fix impurity propagation for polymorphic functions

ehildenb
and
claude
committed
6357ecb
konvert/_module_to_kore, test-data/module-to-kore: warn and test for polymorphic rule skipping

ehildenb
and
claude
committed
1162977

Commits on Apr 29, 2026

konvert/_module_to_kore: factor out DiscardPolymorphicSentences Java-compat pass

ehildenb
and
claude
committed
afedb7b

Commits on May 7, 2026