Context Navigation

Changes between Version 2 and Version 3 of MonomorphismRestriction

v2	v3
16	16	* nhc98 has never implemented the M-R, and users haven't found any significant problems as a result
17	17	* Hugs has a different (non-Haskell98) implementation of the M-R
	18	* Haskell doesn't specify an evaluation strategy so introducing the concept of 'sharing' is strange indeed.
18	19
19	20	'''Against:'''
…	…
53	54
54	55	'''Against:'''
55		* same as above
	56	* would make parentheses matter in a certain situation (n+k patterns and negative literals already do this)
	57
56	58
57	59	== All variable/pattern bindings are monomorphic unless a signature is given ==
…	…
65	67	* Already huge potential for ruining your performance without the M-R, why introduce such draconian measures just for this?
66	68	* Monomorphic bindings lead to hard to understand errors when polymorphism was expected
	69	* Haskell doesn't define an operational semantics so introducing a concept of sharing into the report would be odd.
	70