[GHC] #1571: type of synthesize in Data.Generics.Schemes is too restrictive

#1571: type of synthesize in Data.Generics.Schemes is too restrictive
----------------------------------+-----------------------------------------
  Reporter:  sciolizer <at> gmail.com  |          Owner:                
      Type:  bug                  |         Status:  new           
  Priority:  normal               |      Milestone:                
 Component:  libraries/base       |        Version:  6.6.1         
  Severity:  normal               |       Keywords:  synthesize,syb
Difficulty:  Easy (1 hr)          |             Os:  Linux         
  Testcase:                       |   Architecture:  x86           
----------------------------------+-----------------------------------------
The type of the synthesize function in Data.Generics.Schemes is
 unnecessarily restrictive. It's current type is

 synthesize :: s  -> (s -> s -> s) -> GenericQ (s -> s) -> GenericQ s

 but it would be more useful if it were

 synthesize :: s -> (t -> s -> s) -> GenericQ (s -> t) -> GenericQ t

 Below is a contrived example demonstrating why one might want the more
 liberal type.

 module Main where

 import Data.Generics

 synthesize' :: s -> (t -> s -> s) -> GenericQ (s -> t) -> GenericQ t
 synthesize' z o f x = f x (foldr o z (gmapQ (synthesize' z o f) x))

 -- The toTree function fails to type if synthesize' is replaced

[GHC] #1572: Make it easy to find documentation for installed packages

#1572: Make it easy to find documentation for installed packages
-----------------------+----------------------------------------------------
  Reporter:  simonpj   |          Owner:         
      Type:  task      |         Status:  new    
  Priority:  normal    |      Milestone:         
 Component:  Compiler  |        Version:  6.6.1  
  Severity:  normal    |       Keywords:         
Difficulty:  Unknown   |             Os:  Unknown
  Testcase:            |   Architecture:  Unknown
-----------------------+----------------------------------------------------
`ghc-pkg` builds a package database that helps GHC find all installed
 packages.  But it'd be a great improment if the same step also helped the
 '''user''' find the Haddock documentation for all installed packages.

 Corresponding to GHC's package database would be an HTML page that is a
 single point of entry for the user to find documentation about installed
 packages. Preferably together with a consolidated index.  (And maybe `ghc
 --help` should give the local URL of this documentation root.)

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1572>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs <at> haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #1571: type of synthesize in Data.Generics.Schemes is too restrictive

#1571: type of synthesize in Data.Generics.Schemes is too restrictive
------------------------------------+---------------------------------------
    Reporter:  sciolizer <at> gmail.com  |        Owner:             
        Type:  bug                  |       Status:  closed     
    Priority:  normal               |    Milestone:             
   Component:  libraries/base       |      Version:  6.6.1      
    Severity:  normal               |   Resolution:  fixed      
    Keywords:  synthesize,syb       |   Difficulty:  Easy (1 hr)
          Os:  Linux                |     Testcase:             
Architecture:  x86                  |  
------------------------------------+---------------------------------------
Changes (by simonpj):

  * resolution:  => fixed
  * status:  new => closed

Old description:

> The type of the synthesize function in Data.Generics.Schemes is
> unnecessarily restrictive. It's current type is
>
> synthesize :: s  -> (s -> s -> s) -> GenericQ (s -> s) -> GenericQ s
>
> but it would be more useful if it were
>
> synthesize :: s -> (t -> s -> s) -> GenericQ (s -> t) -> GenericQ t
>
> Below is a contrived example demonstrating why one might want the more
> liberal type.
>

Re: [GHC] #1564: The fantastic Any type gets derived

#1564: The fantastic Any type gets derived
----------------------------------+-----------------------------------------
    Reporter:  iampure <at> gmail.com  |        Owner:         
        Type:  bug                |       Status:  closed 
    Priority:  highest            |    Milestone:         
   Component:  GHCi               |      Version:  6.7    
    Severity:  normal             |   Resolution:  fixed  
    Keywords:                     |   Difficulty:  Unknown
          Os:  Unknown            |     Testcase:  tc235  
Architecture:  Unknown            |  
----------------------------------+-----------------------------------------
Changes (by simonpj):

  * resolution:  => fixed
  * testcase:  => tc235
  * status:  new => closed

Comment:

 Good bug, now fixed.  Thanks.

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1564>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list

Re: [GHC] #1542: Data/Time/Format/Parse cannot be compiled with -DDEBUG

#1542: Data/Time/Format/Parse cannot be compiled with -DDEBUG
-----------------------------------------+----------------------------------
    Reporter:  Christian.Maeder <at> dfki.de  |        Owner:         
        Type:  bug                       |       Status:  closed 
    Priority:  normal                    |    Milestone:  6.8    
   Component:  libraries (other)         |      Version:  6.6.1  
    Severity:  normal                    |   Resolution:  wontfix
    Keywords:                            |   Difficulty:  Unknown
          Os:  MacOS X                   |     Testcase:         
Architecture:  x86                       |  
-----------------------------------------+----------------------------------
Changes (by simonpj):

  * resolution:  => wontfix
  * status:  new => closed

Comment:

 I've just tried this with the HEAD, and it's fine, so I'm inclined not to
 worry.  If anyone sees this error with HEAD I'd certainly investigate
 though.

 So I'll make this "wontfix" for now.

 Thanks for reporting it though.

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1542>

Re: [GHC] #1446: -fallow-incoherent-instances suggested when already used

#1446: -fallow-incoherent-instances suggested when already used
----------------------------------+-----------------------------------------
    Reporter:  iampure <at> gmail.com  |        Owner:  simonpj
        Type:  bug                |       Status:  closed 
    Priority:  normal             |    Milestone:  6.8    
   Component:  Compiler           |      Version:  6.6.1  
    Severity:  normal             |   Resolution:  invalid
    Keywords:                     |   Difficulty:  Unknown
          Os:  Unknown            |     Testcase:         
Architecture:  Unknown            |  
----------------------------------+-----------------------------------------
Changes (by simonpj):

  * resolution:  => invalid
  * status:  new => closed

Comment:

 The error message now says:
 {{{
   To pick the first instance above, use -fallow-incoherent-instances
   when compiling the other instance declarations
 }}}
 I hope that makes it clear why the message appears even though `-fallow-
 incoherent-instances` is set for the module that is actually being
 compiled.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1446>
GHC <http://www.haskell.org/ghc/>

Re: [GHC] #1526: -fobject-code is ignored for interactive compilation

#1526: -fobject-code is ignored for interactive compilation
-------------------------+--------------------------------------------------
    Reporter:  sorear    |        Owner:         
        Type:  bug       |       Status:  new    
    Priority:  normal    |    Milestone:         
   Component:  Compiler  |      Version:  6.7    
    Severity:  normal    |   Resolution:         
    Keywords:            |   Difficulty:  Unknown
          Os:  Unknown   |     Testcase:         
Architecture:  Unknown   |  
-------------------------+--------------------------------------------------
Comment (by simonpj):

 The message is indeed misleading.  Code typed in at the GHCi prompt is
 compiled on the fly to bytecode only, never to object code.  (Compiling
 command-line code to object code is probably not worth it.)

 So the immediate problem is that the message suggests using `-fobject-
 code` etc even though that won't help when compiling a fragment written on
 the command line, rather than a module.

 Trouble is, the message comes by way of an exception
 (`unboxedTupleException`) from the bowels of the bytecode generator
 `ByteCodeGen.lhs`.

 I don't know what the easiest way to tidy this up is.  Perhpas catch the
 exception somewhere that knows what is being compiled.  Or pass the info
 about command-line vs module into the bytecode compiler.  Tiresome, for
 sure.

Re: [GHC] #1525: :browse shouldn't print single-constructor data definitions twice

#1525: :browse shouldn't print single-constructor data definitions twice
--------------------------------+-------------------------------------------
    Reporter:  sorear           |        Owner:  simonpj    
        Type:  feature request  |       Status:  new        
    Priority:  high             |    Milestone:  6.8        
   Component:  Compiler         |      Version:  6.7        
    Severity:  minor            |   Resolution:             
    Keywords:                   |   Difficulty:  Easy (1 hr)
          Os:  Unknown          |     Testcase:             
Architecture:  Unknown          |  
--------------------------------+-------------------------------------------
Changes (by simonpj):

  * owner:  => simonpj

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1525>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs <at> haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #1558: make the testsuite work with THREADS=2

#1558: make the testsuite work with THREADS=2
---------------------------+------------------------------------------------
    Reporter:  simonmar    |        Owner:             
        Type:  bug         |       Status:  new        
    Priority:  normal      |    Milestone:  6.8        
   Component:  Test Suite  |      Version:  6.6.1      
    Severity:  normal      |   Resolution:             
    Keywords:              |   Difficulty:  Easy (1 hr)
          Os:  Unknown     |     Testcase:             
Architecture:  Unknown     |  
---------------------------+------------------------------------------------
Comment (by simonmar):

 Also, I get a number of framework failures when running with THREADS=2:

 {{{
 OVERALL SUMMARY for test run started at Wed Aug  1 15:15:16 BST 2007
     1829 total tests, which gave rise to
     7144 test cases, of which
       74 caused framework failures
     5607 were skipped

     1405 expected passes
       55 expected failures
        0 unexpected passes
        3 unexpected failures

 Unexpected failures:
    cabal01(normal)
    mod144(normal)

Re: [GHC] #1454: Confusing or bug: :t and :i don't return same type

#1454: Confusing or bug: :t and :i don't return same type
----------------------------------+-----------------------------------------
    Reporter:  iampure <at> gmail.com  |        Owner:          
        Type:  bug                |       Status:  reopened
    Priority:  normal             |    Milestone:          
   Component:  GHCi               |      Version:  6.6.1   
    Severity:  minor              |   Resolution:          
    Keywords:                     |   Difficulty:  Unknown 
          Os:  Unknown            |     Testcase:          
Architecture:  Unknown            |  
----------------------------------+-----------------------------------------
Changes (by iampure <at> gmail.com):

  * resolution:  worksforme =>
  * status:  closed => reopened

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1454>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs <at> haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs