pi8027/typeinfer — Issue #43: p10 不要なカッコのある型の表現が間違ってる
Author: cutsea110
Created: 2011-11-13 23:09:40+00:00
State: open

p10下から5行目。

「部分((...(t1 -> t2) -> ...) -> tn)を(t1 -> t2 -> ... -> tn)と省略できます。」

は

「部分(t1 -> (t2 -> ...(tn-1 -> tn)...) を (t1 -> t2 -> ... -> tn)と省略できます。」

ですね。不要なカッコのある型の表現が左結合で書かれちゃってます。