17 Jun
2014
17 Jun
'14
6:51 a.m.
* Alexey Muranov
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@1 = 0 Prelude> x *** Exception: <interactive>:2:5-11: Irrefutable pattern failed for pattern x@1 Roman