RFC: Syntax for implicit parameter bindings

[Manuel M. T. Chakravarty]

Ashley Yakeley <ashley@semantic.org> wrote,

> At 2002-02-03 15:34, Manuel M. T. Chakravarty wrote:
> 
> >  The main disadvantage of this solution is that, in
> >  Haskell, some keywords (`let', `case', `where', and `do')
> >  trigger the layout rule and now `dynamic' or `nonrec'
> >  would have to trigger the layout rule, but *only* when
> >  appearing after a `let'. *urgh*
> 
> Am I the only one who uses braces/semicolons? Anyway, I would be using 
> this under [Just use let]:
> 
>     let
>         {
>         ?base = 10;
>         }
>      in addBase 5
> 
> If I read you correctly, under [Add a special identifier], I'd have to do 
> this:
> 
>     let
>         {
>         nonrec
>             {
>             ?base = 10;
>             }
>         }
>      in addBase 5
> 
> ...which is just ugly.

The intention was to make it

     let nonrec 
        {
        ?base = 10;
        }
      in addBase 5

Cheers,
Manuel