Given that types may define their own instances of Eq, the else clause might be ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		WolfeReader on April 16, 2014 \| parent \| context \| favorite \| on: Those Who Say Code Does Not Matter Given that types may define their own instances of Eq, the else clause might be reachable.

mercurial on April 17, 2014 [–]

And the content of the first block may be unreachable all the time, depending on the implementation of Eq. But you probably have a number of issues to worry about if your implementation of Eq doesn't work for the identity case.

loqi on April 25, 2014 | [–]

let nan = 0.0/0.0 in nan == nan

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact