[Haskell-cafe] 1 = 0?

[Roman Cheplyaka]

* Alexey Muranov <alexey.muranov at gmail.com> [2014-06-17 03:25:10-0700]
> Is this the expected behavior that
> 
>     1 = 0
> 
> does not raise any error?  What does this mean?

1 is a valid (nullary) pattern, so yes. This pattern binding obviously fails.

  Prelude> let x at 1 = 0
  Prelude> x
  *** Exception: <interactive>:2:5-11: Irrefutable pattern failed for pattern x at 1

Roman