Drop unused pure calls - #1454

Drop unused pure calls#1454

jiribenes merged 2 commits into

maineffekt-lang/effekt:mainfrom

jiribenes/drop-unusedeffekt-lang/effekt:jiribenes/drop-unusedCopy head branch name to clipboard