id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
2517	remove 'pure' method from Arrow class	ross		"The Arrow class as originally defined by John Hughes had methods {{{arr}}}, {{{>>>}}} and {{{first}}}.  ({{{>>>}}} has since been moved by #1773 to the {{{Category}}} class.)  When writing the ''Fun of Programming'' paper, I added {{{pure}}} as a synonym for {{{arr}}}, because Richard Bird preferred it.  However this name hasn't caught on, and now it clashes with a method in the {{{Applicative}}} class, so I propose to remove it.

The usual practice would be to deprecate the name in one release and remove it in the following one, but I propose to remove it in one step because
 * no-one seems to be using this name, and
 * backward compatibility has been broken anyway by the Category split (#1773).
The only people who will be bitten by the change are those who import {{{Control.Arrow}}} hiding {{{pure}}}, and they wouldn't be warned by deprecation."	proposal	closed	normal	Not GHC	libraries/base		fixed			Unknown/Multiple	Unknown/Multiple		Unknown