新しい型解決アルゴリズムの欠陥

改造が進んでから、今更のようにはたと気づく。
printfの類で、いきなり123とか書けなくなっちゃいました。
↓で書いた型解決ですと、数値定数なんかは「求められた型」になるわけですが、C呼びだしの追加パラメータは型を求めないので、型が一意に決まらない、と、そんなわけです。前は、決まらなきゃ強引に32ビットと仮定、とかできたのですが。
突き詰めていけば、10Lとか1.5fとか定数にまで型情報を書くのとどっちがいいか、という選択になりそうですが、私はあれ嫌いなので、素直に使いにくくなったprintfを受け入れておきます。