ケースクラスとパターンマッチングでDayOfWeek型のmatch式でSaturdayのケースが漏れている

[youta32449999]

sealedによるmatch式網羅性の警告を表示させるためにSaturdayを意図的に外しているのでしょうか?

[youta32449999]

網羅した例を掲載して警告は自分で抜いて確かめてねという場合と

x match {
  case Sunday => 1
  case Monday => 2
  case Tuesday => 3
  case Wednesday => 4
  case Thursday => 5
  case Friday => 6
  case Saturday => 7
}

意図的にSaturdayを抜いたから警告が出るのを確かめてねの

x match {
  case Sunday => 1
  case Monday => 2
  case Tuesday => 3
  case Wednesday => 4
  case Thursday => 5
  case Friday => 6
  // case Saturday => 7 
}

上記2パターンのどちらかが良い気がします。

[xuwei-k]

他のやつにも何度も貼ってるけど、たぶんこれのせいで不自然に見えてる気がするので、これを根本的にさっさと解決したい

• mdocの機能を使ってエラーを自動で表示したい #550

[youta32449999]

本来は警告が見えていたのですね。。

[kmizu]

@youta32449999 これ、見た目の問題もありますが、文章自体が

これは、xがSundayなら1を、Mondayなら2を…返すパターンマッチです。ここで、パターンマッチで漏れがあった場合、コンパイラが警告してくれます。

となっていて、「漏れがあった場合」という記述がややこしいですね。

xがSundayなら1を、Mondayなら2を…返すパターンマッチです。ここで、Saturdayに対する場合分けが記述されていませんが、その時はコンパイラが警告してくれます。

（ここで、現状警告が見えていないので、直に貼ってしまいたい）

という感じでどうでしょうか。

[kmizu]

マージされたので close。