Add haskell-src as an official machine-readable component of the Haskell standard

[S. Doaitse Swierstra]

Reading this proposal I think it clearly states my point made earlier: allowing infix specifications everywhere provides unneeded  flexibility and unnecessary complexity. 

Ideally I would like to see them even before the module keyword: they state how to read the text that follows, and thus fall in the category of:

- LANGUAGE pragma's which add sometimes extra syntax
- import's, which extend the name space

Restricting them to occur only directly after the imports is something I cannot see anyone to object to, and would enable the immediate correct parsing of all expressions to follow.

Doaitse





On 17 nov 2010, at 08:55, Simon Peyton-Jones wrote:

> See http://hackage.haskell.org/trac/ghc/ticket/4430 for what we are proposing for Template Haskell.
> 
> S
> 
> 
> | -----Original Message-----
> | From: haskell-prime-bounces at haskell.org [mailto:haskell-prime-bounces at haskell.org] On
> | Behalf Of Lennart Augustsson
> | Sent: 16 November 2010 19:52
> | To: Ben Millwood
> | Cc: haskell-prime at haskell.org
> | Subject: Re: Add haskell-src as an official machine-readable component of the Haskell
> | standard
> | 
> | Please explain.  Fixity information cannot be provided unless you find
> | all the imported modules and process those, so I'm not sure how
> | haskell-src-exts could do any better than it currently does.
> | 
> | >
> | > (Examples of controversies possible in haskell-src: we have the Hs
> | > prefix on constructors everywhere, we can't provide fixity information
> | > (and the haskell-src-exts implementation of this is unsatisfactory in
> | > several important ways), a lot of type class instances are absent
> | > (even Ord!), the distribution of SrcLocs is a little awkward when
> | > manipulating source abstractly, and some constructors allow impossible
> | > values, e.g. HsLambda can contain zero patterns)
> | _______________________________________________
> | Haskell-prime mailing list
> | Haskell-prime at haskell.org
> | http://www.haskell.org/mailman/listinfo/haskell-prime
> 
> _______________________________________________
> Haskell-prime mailing list
> Haskell-prime at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-prime