コミット履歴

作者 SHA1 メッセージ 日付
  Simon Krajewski b940c805aa [typer] use new function-style syntax when printing 7 年 前
  Simon Krajewski 8212f4c627 fix position tests (see #6391) 8 年 前
  Simon Krajewski bfff24a115 do not recover from unification errors in patterns (closes #5375) 9 年 前