で、まあ、コード変形でやらないんだとしたら

4:55 AM

ASTに対して型付けが終わった状態になるようにして、verifier的なものも、回避するショートカットを差し込んで

4:55 AM

次のSIL生成でやる感じかな。

4:57 AM

固定長タプルでもサイズ不定のように扱って

↑ここが微妙で、「可変長タプル」の内部表現が無いから、SILの式が構築できないような気がする。