search

titzer / virgil

A fast and lightweight native programming language
1.13k stars 40 forks source link

[packing] [WIP] Semantic tests, verification for packing #223

Closed btwj closed 3 months ago

btwj commented 4 months ago

This PR introduces verifiers for packing declarations and packing expressions (in RepHints).