Skip to content

Improve diagnostic messages for errors in elaborating record projections#504

Open
Kmeakin wants to merge 1 commit into
yeslogic:mainfrom
Kmeakin:record-proj-better-diagnostics
Open

Improve diagnostic messages for errors in elaborating record projections#504
Kmeakin wants to merge 1 commit into
yeslogic:mainfrom
Kmeakin:record-proj-better-diagnostics

Commits