[GHC] #1404: allow more type signatures

[GHC]

#1404: allow more type signatures
----------------------------------------+-----------------------------------
    Reporter:  Isaac Dupree             |        Owner:         
        Type:  feature request          |       Status:  new    
    Priority:  normal                   |    Milestone:  _|_    
   Component:  Compiler (Type checker)  |      Version:  6.6.1  
    Severity:  normal                   |   Resolution:         
    Keywords:                           |   Difficulty:  Unknown
          Os:  Unknown                  |     Testcase:         
Architecture:  Unknown                  |  
----------------------------------------+-----------------------------------
Changes (by igloo):

  * component:  Compiler => Compiler (Type checker)
  * milestone:  => _|_

Comment:

 You can do (1) with
 {{{
 foo :: type
 #if ...
 foo = ...
 #else
 foo = ...
 #endif
 }}}

 (2) doesn't seem that useful to me personally.

 Type sigs in export lists might be nice, as some people seem to like
 giving them
 as comments which then get out of sync with the actual types.

 It might be worth starting a discussion on the Haskell' list about all
 this.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1404>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs