Re: The dreaded layout rule

1999-07-30 Thread Marcin 'Qrczak' Kowalczyk
Fri, 30 Jul 1999 05:12:51 -0700, Simon Marlow <[EMAIL PROTECTED]> pisze: > The main reason for its inclusion was to allow things like > > let f x = x in ... > > and also to automatically insert the final '}' before the end of file. > Perhaps the layout rule should be restricted to these t

RE: The dreaded layout rule

1999-07-30 Thread Manuel M. T. Chakravarty
Malcolm Wallace <[EMAIL PROTECTED]> wrote, [...] > Simon Marlow replies: > > > GHC and Hugs both make use of yacc-style error recovery, albeit in a very > > limited form. > > And nhc uses parser combinators, which give you backtracking on error > conditions for free. We actually do almost all

Re: The dreaded layout rule

1999-07-30 Thread Manuel M. T. Chakravarty
Lennart Augustsson <[EMAIL PROTECTED]> wrote, > "Carl R. Witty" wrote: > > > Does anybody disagree with my interpretation of the standard? Are > > there any implementations that actually follow the standard here? > > (Maybe the standard should be changed to follow the implementations in > > thi

Re: The dreaded layout rule

1999-07-30 Thread Manuel M. T. Chakravarty
[EMAIL PROTECTED] (Carl R. Witty) wrote, > "Manuel M. T. Chakravarty" <[EMAIL PROTECTED]> writes: > > > One of our students just pointed out an IMHO rather > > problematic clause in the layout rule. In Section 2.7 of > > the Haskell 98 Report it says, > > > > A close brace is also inserted w

Re: The dreaded layout rule

1999-07-30 Thread Lennart Augustsson
Malcolm Wallace wrote: > Because parsing > of infix operators is difficult, all implementations (to my knowledge) > leave resolution of fixity and associativity until later. Indeed, the > Haskell 98 standard recognises this (in an oblique way) by permitting > infix decls to appear *after* the fi

Re: The dreaded layout rule

1999-07-30 Thread Wolfram Kahl
Simon Peyton-Jones <[EMAIL PROTECTED]> writes: > > > In other words, it is a bug (and GHC and Hugs don't do it > > right - see my previous message; from your comment, I > > presume HBC also doesn't follow the definition). I think, > > the only Right Thing is to remove this awful rule (unles

Re: The dreaded layout rule

1999-07-30 Thread Malcolm Wallace
| How about the Carl Witty's | | do a == b == c | | does NHC handle this correctly? It matches ghc and Hugs, reporting Error when renaming: Infix operator at 2:21 is non-associative. Note that this is reported one stage *after* parsing. Because parsing of infix operators is difficult,

RE: ANNOUNCEMENT: The Glasgow Haskell Compiler, version 4.04

1999-07-30 Thread Simon Marlow
> Now that you're an (ahem) Microsoft employee, is there any > intention of > allowing ghc to use Visual C++ instead of gcc, We plan to allow this, but there'll be a price to pay: the gcc extensions that we use buy us about a factor of 2 in performance and binary sizes. > or supporting the Win3

RE: The dreaded layout rule

1999-07-30 Thread Simon Marlow
> Does anybody disagree with my interpretation of the standard? Are > there any implementations that actually follow the standard here? > (Maybe the standard should be changed to follow the implementations in > this area.) Phew. Well spotted. Of course, none of the existing Haskell implementa

RE: The dreaded layout rule

1999-07-30 Thread Simon Peyton-Jones
> In other words, it is a bug (and GHC and Hugs don't do it > right - see my previous message; from your comment, I > presume HBC also doesn't follow the definition). I think, > the only Right Thing is to remove this awful rule (unless > somebody comes up with a rule that can be decided locally)