search

cucapra / filament

Fearless hardware design
http://filamenthdl.com/
MIT License
159 stars 9 forks source link

Pull assumption/assert generation out of astconv. #264

Open UnsignedByte opened 1 year ago

UnsignedByte commented 1 year ago

Discussed in slack; astconv currently generates assumptions and asserts for things like let parameters, but we might want to generate assumptions and asserts post-monomorphization, which would require us to move these assumptions out of astconv into its own pass.

rachitnigam commented 1 year ago

Yeah! This is also important to get parity with the original flow which ran type checking before and after monomorphization (as a sanity check).