TypeInferenceForOperators #19

Merged n-nitta merged 2 commits into nitta-lab:master from nitta-lab:typeInferenceForOperators on 2 Sep 2021

2021-09-02	474e089 Browse files » 複数の親を持てるように型階層を拡張し，それに合わせて型推論できるように修正． n-nitta committed on 2 Sep 2021
2021-09-02	866c0ee Browse files » ・四則演算，fst，snd 関数に対する型推論を行う． ... ・数値型の間に型階層を導入する．・Tuple 型の要素の型の違いによる型階層を考慮する．・その他型推論のもろもろのバグ修正． Naoya Nitta committed on 2 Sep 2021