infixed implicit parameters
Jeffrey R Lewis
jeff@galois.com
Fri, 2 Aug 2002 08:56:53 -0700
On Monday 29 July 2002 02:56 am, Simon Peyton-Jones wrote:
> Reasonable suggestion, and not hard to implement.
>
> Definitions are more troublesome. Currently implicit parameter
> bindings must be of the form
> =09?x =3D e
> I.e. no pattern-matching, function defintions etc. Changing this woul=
d
> be quite a bit more work.
>
> One could imagine
>
> a) status quo
> b) allow infix application, but keep binding syntactically restricted
> c) allow arbitrary binding forms (pattern matching etc)
>
> I think (b) is defensible; I don't think (c) is worth the work. But I
> would
> prefer to do (b) in sync with Hugs. Let's see what they think.
This falls into the category of things that I can't get too excited about=
;-)
I'll take b) as Simon's proposal, and will support it.
--Jeff