まだあった

let type_expr expr acc = 
  match expr with
      ...
    | Eself -> empty
    | Enil -> acc

empty返しちゃダメだってorz.せめてaccをそのまま返してれば………もっと見つけるのが難しくなったか.