search

tlc-pack / relax

Apache License 2.0
193 stars 58 forks source link

[Refactor][AST] `sinfo_args` A3: Well-formed check #388

Closed MasterJH5574 closed 1 year ago

MasterJH5574 commented 1 year ago

This PR is the last part of the sinfo_args switch tracked by #377, which adds the StructInfo check in well-formed check, to ensure that the StructInfo in sinfo_args does not refer to any undefined symbolic variables.

MasterJH5574 commented 1 year ago

Depends on #386 for the API of call_packed and call_tir.