GHC | 1 Nov 06:45 2010

Re: #4343: Add throwSTM and generalize catchSTM

#4343: Add throwSTM and generalize catchSTM
--------------------------------+-------------------------------------------
  Reporter:  basvandijk         |          Owner:                                                           
      Type:  proposal           |         Status:  new                                                      
  Priority:  normal             |      Milestone:                                                           
 Component:  libraries (other)  |        Version:  7.1                                                      
Resolution:                     |       Keywords:  stm, exception, throw, throwIO, throwSTM, catch, catchSTM
  Testcase:                     |      Blockedby:                                                           
Difficulty:                     |             Os:  Unknown/Multiple                                         
  Blocking:                     |   Architecture:  Unknown/Multiple                                         
   Failure:  None/Unknown       |  
--------------------------------+-------------------------------------------

Comment(by judahj):

 FYI: The latest RC (ghc-7.0.0.20101028) doesn't work with the recently-
 uploaded `stm-2.2.0.0`,  even using your new patch.  From what I can tell,
 throwSTM hasn't yet been merged into the ghc-7 branch.

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4343#comment:6>
GHC | 1 Nov 09:16 2010

Re: #2846: Impredicativity bug: GHC crash by type signature

#2846: Impredicativity bug: GHC crash by type signature
----------------------------+-----------------------------------------------
  Reporter:  mm_freak       |          Owner:  simonpj         
      Type:  bug            |         Status:  closed          
  Priority:  low            |      Milestone:  7.0.1           
 Component:  Compiler       |        Version:  6.10.1          
Resolution:  fixed          |       Keywords:  crash, type     
  Testcase:  T2846, T2846b  |      Blockedby:                  
Difficulty:  Unknown        |             Os:  Unknown/Multiple
  Blocking:                 |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown   |  
----------------------------+-----------------------------------------------
Changes (by simonpj):

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

Comment:

 Yes, that's fine.  The error message Michal gives is with
 `-XImpredicativeTypes`. Without we get
 {{{
 T2846.hs:4:5:
     Illegal polymorphic or qualified type: Num a => a
     Perhaps you intended to use -XImpredicativeTypes
     In an expression type signature: [Num a => a]
     In the expression: [1, 2, 3] :: [Num a => a]
     In an equation for `x': x = [1, 2, 3] :: [Num a => a]
 }}}

(Continue reading)

GHC | 1 Nov 10:12 2010

#4460: Input is not echoed when GHCi is suspended and subsequently brought to foreground.

#4460: Input is not echoed when GHCi is suspended and subsequently brought to
foreground.
-------------------------------+--------------------------------------------
    Reporter:  manzyuk         |       Owner:              
        Type:  bug             |      Status:  new         
    Priority:  normal          |   Component:  GHCi        
     Version:  6.12.1          |    Keywords:  suspend     
    Testcase:                  |   Blockedby:              
          Os:  Linux           |    Blocking:              
Architecture:  x86_64 (amd64)  |     Failure:  None/Unknown
-------------------------------+--------------------------------------------
 How to reproduce:

 1. Start `ghci`.

 2. Press `Ctrl-Z` to suspend it.

 3. Type `fg` to bring `ghci` back to foreground.

 4. Hit `RET` to get the prompt.

 5. Type anything.  The input is not echoed until you hit `RET`.

 Also, if I press `Ctrl-D` to end the GHCi session (after it was suspended
 and brought back to foreground), I get

 {{{
 <stdin>: hWaitForInput: end of file
 }}}

(Continue reading)

GHC | 1 Nov 10:27 2010

Re: #3557: CPU Vector instructions in GHC.Prim

#3557: CPU Vector instructions in GHC.Prim
---------------------------------+------------------------------------------
    Reporter:  guest             |        Owner:  vivian      
        Type:  feature request   |       Status:  new         
    Priority:  normal            |    Milestone:  _|_         
   Component:  Compiler (NCG)    |      Version:  6.11        
    Keywords:                    |     Testcase:              
   Blockedby:                    |   Difficulty:  Unknown     
          Os:  Unknown/Multiple  |     Blocking:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------

Comment(by simonmar):

 I haven't followed all the discussion so far because I'm not all that
 familiar with SSE etc., but I just wanted to make the point that we can't
 have conditional compilation in primops.txt.pp based on the CPU type,
 because the CPU on which you build GHC is not necessarily the same as the
 one it runs on.

 In fact, GHC is able to produce native code for any CPU, because we
 compile in all the native backends (well, that's not strictly true,
 because you can only have either the x86 or the x86_64 backend, not both,
 but we should really fix that).

 So no conditions: all the primops are visible on all platforms.  If you
 try to use an x86-specific primop with the Sparc backend, you'll get a
 compile-time error.  If you try to use an SSE3-specific primop on a non-
 SSE3 CPU, the program will fail with an illegal instruction error, just as
 if you use `-msse2` on x86 right now.
(Continue reading)

GHC | 1 Nov 10:30 2010

Re: #4295: Review higher-rank and impredicative types

#4295: Review higher-rank and impredicative types
---------------------------------+------------------------------------------
    Reporter:  simonpj           |        Owner:  simonpj     
        Type:  bug               |       Status:  new         
    Priority:  normal            |    Milestone:  7.2.1       
   Component:  Compiler          |      Version:  6.12.3      
    Keywords:                    |     Testcase:              
   Blockedby:                    |   Difficulty:              
          Os:  Unknown/Multiple  |     Blocking:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------

Comment(by simonpj):

 Here's an example from Bas van Dijk that needs a rigid type signature:
 {{{
 {-# LANGUAGE UnicodeSyntax
            , KindSignatures
            , RankNTypes
            , MultiParamTypeClasses
            , FunctionalDependencies
   #-}

 module Bas where

 import Data.List (find)

 data Ctx = Ctx
 data Device = Device
 data DeviceDesc = DeviceDesc
(Continue reading)

GHC | 1 Nov 11:06 2010

Re: #4278: Proposal: Add strict versions of foldlWithKey and insertLookupWithKey to Data.Map

#4278: Proposal: Add strict versions of foldlWithKey and insertLookupWithKey to
Data.Map
----------------------------------+-----------------------------------------
    Reporter:  tibbe              |        Owner:                         
        Type:  proposal           |       Status:  patch                  
    Priority:  normal             |    Milestone:  Not GHC                
   Component:  libraries (other)  |      Version:  6.12.3                 
    Keywords:                     |     Testcase:                         
   Blockedby:  4277               |   Difficulty:                         
          Os:  Unknown/Multiple   |     Blocking:  4313                   
Architecture:  Unknown/Multiple   |      Failure:  Runtime performance bug
----------------------------------+-----------------------------------------

Comment(by tibbe):

 Discussion thread: http://www.mail-archive.com/glasgow-haskell-
 bugs <at> haskell.org/msg28268.html

 Discussion summary:

 - Also add a strict right fold (included in the patch)
 - Force the traversal evaluation order in addition to the accumulator (not
 done; we don't get the Core we want for the fold so I rather not mess with
 it until #4267 is resolved).
 - There are other *WithKey functions that could need strict versions (not
 done; out of scope for this proposal).

 Patch to apply: strict-fold-with-key.dpatch

--

-- 
(Continue reading)

Simon Marlow | 1 Nov 11:06 2010
Picon

haskell98 package not linked by default in 7.0.1 (was: Re: making 7.01-pre)

On 30/10/2010 16:52, David Fox wrote:
> On Sat, Oct 30, 2010 at 4:43 AM, Serge D. Mechveliani<mechvel <at> botik.ru>  wrote:
>> Dear GHC developers,
>>
>> I am testing this fresh  ghc-7.0.0.20101028
>> on  Debian Linux, i386-family.
>> Making it from source by  ghc-6.12.3  is all right.
>> Then, making it from source by itself reports
>> (here I abbreviate the messages by inserting `...')
>>
>> ---------------------------------------------------------------------
>> + test -f mk/config.mk.old
>> + cp -p mk/config.mk mk/config.mk.old
>> ...
>> ...
>> "inplace/bin/mkdirhier" utils/ghc-cabal/dist/build/tmp//.
>> "inplace/bin/mkdirhier" bootstrapping/.
>> "/home/mechvel/ghc/7.01pre/inst1/bin/ghc" -H32m -O --make
>>   utils/ghc-cabal/ghc-cabal.hs -o utils/ghc-cabal/dist/build/tmp/ghc-cabal
>> ...
>> ...
>> "rm" -f compiler/stage1/ghc_boot_platform.h
>> Creating compiler/stage1/ghc_boot_platform.h...
>> Done.
>> "/usr/bin/gcc"  -fno-stack-protector  -DTABLES_NEXT_TO_CODE -Iincludes
>>   -Irts  -DGEN_HASKELL  -c includes/mkDerivedConstants.c -o
>> includes/dist-ghcconstants/build/mkDerivedConstants.o
>> ...
>> ...
>> ...
(Continue reading)

GHC | 1 Nov 12:53 2010

Re: #4438: Rename and register the "PArr" language extension when it is judged to be ready

#4438: Rename and register the "PArr" language extension when it is judged to be
ready
--------------------------------------+-------------------------------------
    Reporter:  duncan                 |        Owner:  benl        
        Type:  task                   |       Status:  new         
    Priority:  normal                 |    Milestone:  _|_         
   Component:  Data Parallel Haskell  |      Version:              
    Keywords:                         |     Testcase:              
   Blockedby:                         |   Difficulty:              
          Os:  Unknown/Multiple       |     Blocking:              
Architecture:  Unknown/Multiple       |      Failure:  None/Unknown
--------------------------------------+-------------------------------------
Changes (by chak):

  * owner:  chak => benl

Comment:

 The plan is that we rename `PArr` to `ParallelArrays` for GHC 7.0.2.  At
 the same time, we will release a matching set of DPH libraries on Hackage.

 Incidentally, we also plan to add new `-fvectorise-{seq,par}` options to
 stand for `-fvectorise -fdph-{seq,par}`.  (This instructs the vectoriser
 to vectorise a module for either the sequential or parallel backend.)

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4438#comment:2>
GHC | 1 Nov 13:33 2010

Re: #4138: Performance regression in overloading

#4138: Performance regression in overloading
---------------------------------+------------------------------------------
    Reporter:  simonmar          |        Owner:  simonpj                
        Type:  bug               |       Status:  new                    
    Priority:  high              |    Milestone:  7.0.2                  
   Component:  Compiler          |      Version:  6.13                   
    Keywords:                    |     Testcase:                         
   Blockedby:                    |   Difficulty:                         
          Os:  Unknown/Multiple  |     Blocking:                         
Architecture:  Unknown/Multiple  |      Failure:  Runtime performance bug
---------------------------------+------------------------------------------
Changes (by simonpj):

  * milestone:  7.0.1 => 7.0.2

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4138#comment:5>
GHC | 1 Nov 13:49 2010

Re: #4383: Uncanonical display of Double

#4383: Uncanonical display of Double
----------------------------------+-----------------------------------------
    Reporter:  daniel.is.fischer  |        Owner:                             
        Type:  bug                |       Status:  patch                      
    Priority:  high               |    Milestone:  7.0.2                      
   Component:  libraries/base     |      Version:  6.12.3                     
    Keywords:  Double, show       |     Testcase:                             
   Blockedby:                     |   Difficulty:                             
          Os:  Unknown/Multiple   |     Blocking:                             
Architecture:  Unknown/Multiple   |      Failure:  Incorrect result at runtime
----------------------------------+-----------------------------------------
Changes (by simonmar):

  * priority:  normal => high
  * milestone:  => 7.0.2

Comment:

 Thanks Daniel.

 I presume we want the fixes in the 7.0 branch and the performance
 improvements in 7.2.  Milestoning for 7.0.2 to get the fixes in initially.

--

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

Gmane