On Wed, Mar 16, 2005 at 12:23:02PM +0100, Thomas Fischbacher wrote:
> 
> On Wed, 16 Mar 2005, Oliver Bandel wrote:
> 
> > > Second, many people I know still put ";;" cos they were taught that way
> > 
> > Hey, that was the way I started too! :)
> 
> I should say, I do it *on purpose*, even knowing that it is not necessary.
> 
> Why? Putting ";;" or not does not make a difference for the programmer, 
> but not using certain "syntax quirks" makes it easier to operate on the 
> source code with tools, quite in general.

Oh, good idea.

But it makes a difference, when using the toplevel, because it
immediately answers the type it infers, which is a nice feature.

Ciao,
   Oliver