GHC | 1 Aug 02:12 2010

Re: #4172: GHC build failes when BuildFlavour = prof is used

#4172: GHC build failes when BuildFlavour = prof is used
---------------------------------+------------------------------------------
    Reporter:  Phyx-             |        Owner:                     
        Type:  bug               |       Status:  new                
    Priority:  high              |    Milestone:  6.14.1             
   Component:  Compiler          |      Version:  6.13               
    Keywords:                    |     Testcase:                     
   Blockedby:                    |   Difficulty:                     
          Os:  Unknown/Multiple  |     Blocking:                     
Architecture:  Unknown/Multiple  |      Failure:  Building GHC failed
---------------------------------+------------------------------------------

Comment(by igloo):

 Also happens with a debugging, and not threaded, RTS. Unfortunately, the
 addresses aren't consistent from run to run, even with `+RTS -C0 -i0 -DS`,
 but it smells like a missing pointer untagging in whatever produces the
 value `0x404536a000` here:
 {{{
 (gdb) bt
 #0  0x0000000005de475a in LOOKS_LIKE_CLOSURE_PTR (p=0x404536a000)
     at includes/rts/storage/ClosureMacros.h:235
 #1  0x0000000005de46b7 in checkClosureShallow (p=0x404536a000)
     at rts/sm/Sanity.c:87
 #2  0x0000000005de45fa in checkSmallBitmap (payload=0x7fd25a4d8a38,
 bitmap=0,
     size=1) at rts/sm/Sanity.c:52
 #3  0x0000000005de49a8 in checkStackFrame (c=0x7fd25a4d8a30)
     at rts/sm/Sanity.c:145
 #4  0x0000000005ded6f2 in stg_ap_0_fast ()
(Continue reading)

GHC | 1 Aug 03:19 2010

Re: #4224: Remove "class DOpt" after new typechecker merge

#4224: Remove "class DOpt" after new typechecker merge
---------------------------------+------------------------------------------
    Reporter:  igloo             |        Owner:  igloo       
        Type:  task              |       Status:  new         
    Priority:  high              |    Milestone:  6.14.1      
   Component:  Compiler          |      Version:  6.13        
    Keywords:                    |     Testcase:              
   Blockedby:  4232              |   Difficulty:              
          Os:  Unknown/Multiple  |     Blocking:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------
Changes (by igloo):

  * blockedby:  => 4232

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4224#comment:1>
GHC | 1 Aug 15:32 2010

Re: #4189: (<.>) operator (generalizing (.) to Functor)

#4189: (<.>) operator (generalizing (.) to Functor)
-----------------------------+----------------------------------------------
  Reporter:  uzytkownik      |          Owner:                  
      Type:  proposal        |         Status:  new             
  Priority:  normal          |      Milestone:                  
 Component:  libraries/base  |        Version:  6.12.3          
Resolution:                  |       Keywords:                  
  Testcase:                  |      Blockedby:                  
Difficulty:                  |             Os:  Unknown/Multiple
  Blocking:                  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown    |  
-----------------------------+----------------------------------------------
Changes (by uzytkownik):

  * status:  closed => new
  * type:  feature request => proposal
  * resolution:  wontfix =>

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4189#comment:5>
GHC | 1 Aug 15:44 2010

Re: #4189: (<.>) operator (generalizing (.) to Functor)

#4189: (<.>) operator (generalizing (.) to Functor)
-----------------------------+----------------------------------------------
  Reporter:  uzytkownik      |          Owner:                  
      Type:  proposal        |         Status:  new             
  Priority:  normal          |      Milestone:                  
 Component:  libraries/base  |        Version:  6.12.3          
Resolution:                  |       Keywords:                  
  Testcase:                  |      Blockedby:                  
Difficulty:                  |             Os:  Unknown/Multiple
  Blocking:                  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown    |  
-----------------------------+----------------------------------------------

Comment(by uzytkownik):

 Replying to [comment:4 uzytkownik]:
 > Replying to [comment:1 malcolm.wallace <at> …]:
 > > The type you have chosen for <.> is far from obvious.  Why not
 > > {{{
 > > (<.>) :: (b->c) -> (a->b) -> f a -> f c
 > > f <.> g = ((f . g) <$>)
 > > }}}
 > > for instance?
 >
 > I thought about more Cathegorical explanation. Functor F from A to B is
 suppose to map category into other category. I.e. if category A = (O, M,
 id, .) and B = (F(O), F(M), F(id), F(.)) then F(O) is solved on type
 level, F(M) is done by fmap, F(id) is fmap id and F(.) is <.>
 >

(Continue reading)

GHC | 1 Aug 16:01 2010

Re: #4189: (<.>) operator (generalizing (.) to Functor)

#4189: (<.>) operator (generalizing (.) to Functor)
-----------------------------+----------------------------------------------
  Reporter:  uzytkownik      |          Owner:                  
      Type:  proposal        |         Status:  new             
  Priority:  normal          |      Milestone:  Not GHC         
 Component:  libraries/base  |        Version:  6.12.3          
Resolution:                  |       Keywords:                  
  Testcase:                  |      Blockedby:                  
Difficulty:                  |             Os:  Unknown/Multiple
  Blocking:                  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown    |  
-----------------------------+----------------------------------------------
Changes (by igloo):

  * milestone:  => Not GHC

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4189#comment:7>
GHC | 1 Aug 18:04 2010

Re: #4181: Template Haskell + -fdicts-strict fails

#4181: Template Haskell + -fdicts-strict fails
---------------------------------------------------+------------------------
    Reporter:  LouisWasserman                      |        Owner:                    
        Type:  bug                                 |       Status:  new               
    Priority:  normal                              |    Milestone:  6.14.1            
   Component:  Template Haskell                    |      Version:  6.12.3            
    Keywords:  template haskell strict dictionary  |     Testcase:                    
   Blockedby:                                      |   Difficulty:                    
          Os:  Unknown/Multiple                    |     Blocking:                    
Architecture:  Unknown/Multiple                    |      Failure:  Compile-time crash
---------------------------------------------------+------------------------

Comment(by LouisWasserman):

 I think this is an instance of #4186.

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4181#comment:10>
GHC | 1 Aug 18:29 2010

Re: #4181: Template Haskell + -fdicts-strict fails

#4181: Template Haskell + -fdicts-strict fails
---------------------------------+------------------------------------------
  Reporter:  LouisWasserman      |          Owner:                                    
      Type:  bug                 |         Status:  closed                            
  Priority:  normal              |      Milestone:  6.14.1                            
 Component:  Template Haskell    |        Version:  6.12.3                            
Resolution:  duplicate           |       Keywords:  template haskell strict dictionary
  Testcase:                      |      Blockedby:                                    
Difficulty:                      |             Os:  Unknown/Multiple                  
  Blocking:                      |   Architecture:  Unknown/Multiple                  
   Failure:  Compile-time crash  |  
---------------------------------+------------------------------------------
Changes (by igloo):

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

Comment:

 OK, thanks. Closing as duplicate.

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4181#comment:11>
GHC | 1 Aug 19:47 2010

#4233: GHC internal error: `w' is not in scope during type checking, but it passed the renamer

#4233: GHC internal error: `w' is not in scope during type checking, but it passed
the renamer
---------------------------------+------------------------------------------
    Reporter:  lilac             |       Owner:                    
        Type:  bug               |      Status:  new               
    Priority:  normal            |   Component:  Template Haskell  
     Version:  6.12.1            |    Keywords:                    
    Testcase:                    |   Blockedby:                    
          Os:  Unknown/Multiple  |    Blocking:                    
Architecture:  Unknown/Multiple  |     Failure:  Compile-time crash
---------------------------------+------------------------------------------
 {{{
 {-# LANGUAGE TypeFamilies, TypeOperators, TemplateHaskell #-}
 import Language.Haskell.TH
 type family a :<=: b
 w = varT (mkName "w")
 f = [t|Maybe $w :<=: Int|]
 }}}

 fails with

 {{{
     GHC internal error: `w' is not in scope during type checking, but it
 passed the renamer
     tcg_type_env of environment: [(rgd, Type constructor `:<=:')]
     In the expression: w
     In the Template Haskell quotation [t| Maybe $w :<=: Int |]
     In the expression: [t| Maybe $w :<=: Int |]
 }}}

(Continue reading)

GHC | 1 Aug 20:01 2010

Re: #4233: GHC internal error: `w' is not in scope during type checking, but it passed the renamer

#4233: GHC internal error: `w' is not in scope during type checking, but it passed
the renamer
---------------------------------+------------------------------------------
    Reporter:  lilac             |       Owner:                    
        Type:  bug               |      Status:  new               
    Priority:  normal            |   Component:  Template Haskell  
     Version:  6.12.1            |    Keywords:                    
    Testcase:                    |   Blockedby:                    
          Os:  Unknown/Multiple  |    Blocking:                    
Architecture:  Unknown/Multiple  |     Failure:  Compile-time crash
---------------------------------+------------------------------------------

Comment(by lilac):

 Simpler testcase:
 {{{
 w = varT (mkName "w")
 f = [t|$w|]
 }}}

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4233#comment:1>
GHC | 1 Aug 23:12 2010

Re: #3795: Haddock executable not versioned

#3795: Haddock executable not versioned
----------------------------+-----------------------------------------------
  Reporter:  lpsmith        |          Owner:  igloo           
      Type:  bug            |         Status:  closed          
  Priority:  high           |      Milestone:  6.14.1          
 Component:  Documentation  |        Version:  6.12.1          
Resolution:  fixed          |       Keywords:                  
  Testcase:                 |      Blockedby:                  
Difficulty:                 |             Os:  Unknown/Multiple
  Blocking:                 |   Architecture:  Unknown/Multiple
   Failure:  Other          |  
----------------------------+-----------------------------------------------
Changes (by igloo):

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

Comment:

 Fixed in HEAD

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3795#comment:7>

Gmane