暗黙の型変換を修正しました。 ネストした式にも対応しました。 関数呼び出しの型は、呼び出したリターン値の型にしました。 EIdにも型を持たせて、関数の型を入れるようにしました。 package t7; object Main { trait TType case class TFloat() extends TT…