My first guess was a pattern match, but it sounded a bit odd because there is no explicit constructor in case of numbers.  If there were an explicit constructor it would have been easier to imagine this as a pattern match. This seems to be a weird side effect of the special handling of numbers.

-harendra

On 24 February 2017 at 07:37, Brandon Allbery <allbery.b@gmail.com> wrote:
On Thu, Feb 23, 2017 at 9:05 PM, Harendra Kumar <harendra.kumar@gmail.com> wrote:
Kids have this amazing ability to break any toy in minutes. I gave my seven year old daughter ghci to play with and in a little while she said it is broken:

>> let 1 = 2

>> 1

1

>> 

Earlier, I had explained to her about symbols and assigning values to symbols, and I said numbers are not symbols. But when she came up with this I could not explain what's going on. How can "1 = 2" be a valid equation? Am I missing something fundamental here, or it is just broken?

It's a pattern match. The match fails, but as it produced no bindings it cannot be observed and its success or failure is irrelevant. 

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net