Proposal: ExplicitForall

[Brandon S. Allbery KF8NH]

On Jun 23, 2009, at 20:32 , Niklas Broberg wrote:
> In my quest to implement all known syntactic extensions to Haskell in
> my haskell-src-exts package, I've become painfully aware of the
> sometimes ad-hoc nature that these extensions have been added to GHC.

Someone really needs to sit down and work out a complete, consistent,  
and rational set of extensions, including not only your ExplicitForall  
but also e.g. if you are actually compiling Haskell98, hierarchical  
modules should be illegal.  The reality is that some extensions are  
always on and others are haphazardly split from -fglasgow-exts.

(Then again, I'm also of the opinion that -package should control not  
only linking but also imports, because it's ridiculously inconsistent  
for stuff to compile but not link if you forget -package or --make.   
It also opens the possibility of modules managing their own namespaces  
as discussed in other recent threads, and that a module install  
doesn't have to scribble in ghc's library directory; the latter would  
likely make some packagers very happy.)

-- 
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH


-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 195 bytes
Desc: This is a digitally signed message part
Url : http://www.haskell.org/pipermail/libraries/attachments/20090624/1f8c5dc3/PGP-0001.bin