date:20121014

Re: [GHC] #947: ghc -O space leak: CSE between different CAFs

2012-10-14 Thread GHC

#947: ghc -O space leak: CSE between different CAFs
---+
  Reporter:  int-e@…   |  Owner: 
  Type:  bug   | Status:  new
  Priority:  normal|  Milestone:  _|_
 Component:  Compiler  |Version:  6.5
Resolution:|   Keywords: 
Os:  Linux |   Architecture:  x86
   Failure:  None/Unknown  | Difficulty:  Unknown
  Testcase:|  Blockedby: 
  Blocking:|Related: 
---+
Changes (by jwlato):

 * cc: jwlato@… (added)


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #947: ghc -O space leak: CSE between different CAFs

2012-10-14 Thread GHC

#947: ghc -O space leak: CSE between different CAFs
---+
  Reporter:  int-e@…   |  Owner: 
  Type:  bug   | Status:  new
  Priority:  normal|  Milestone:  _|_
 Component:  Compiler  |Version:  6.5
Resolution:|   Keywords: 
Os:  Linux |   Architecture:  x86
   Failure:  None/Unknown  | Difficulty:  Unknown
  Testcase:|  Blockedby: 
  Blocking:|Related: 
---+
Changes (by liyang):

 * cc: hackage.haskell.org@… (added)


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7091: DPH Matrix product memory usage

2012-10-14 Thread GHC

#7091: DPH Matrix product memory usage
--+-
Reporter:  mblanco|   Owner:  benl   
Type:  bug|  Status:  new
Priority:  normal |   Milestone:  7.8.1  
   Component:  Data Parallel Haskell  | Version:  7.4.1  
Keywords: |  Os:  Linux  
Architecture:  x86| Failure:  Runtime performance bug
  Difficulty:  Unknown|Testcase: 
   Blockedby: |Blocking: 
 Related: |  
--+-
Changes (by benl):

  * blockedby:  7330 =>


Comment:

 The paper claims *work* efficient vectorisation, not *space* efficient
 vectorisation. Making it space efficient is an open research question.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

[GHC] #7331: Allow the evaluation of declaration splices in GHCi

2012-10-14 Thread GHC

#7331: Allow the evaluation of declaration splices in GHCi
--+-
 Reporter:  parcs |  Owner:  
 Type:  feature request   | Status:  new 
 Priority:  normal|  Component:  GHCi
  Version:  7.6.1 |   Keywords:  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  None/Unknown  |   Testcase:  
Blockedby:|   Blocking:  
  Related:|  
--+-
 As it stands GHCi cannot evaluate declaration splices because all splices
 are assumed to be expression splices:

 {{{
 > $( [d| a = True |] )
 :1:4:
 Couldn't match expected type `Language.Haskell.TH.Syntax.Exp'
 with actual type `[Language.Haskell.TH.Syntax.Dec]'
 ...
 }}}

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5070: dph and new code generator don't play nicely with each other

2012-10-14 Thread GHC

#5070: dph and new code generator don't play nicely with each other
--+-
Reporter:  ezyang |   Owner:  benl  
 
Type:  bug|  Status:  new   
 
Priority:  low|   Milestone:  7.6.2 
 
   Component:  Data Parallel Haskell  | Version:  7.0.3 
 
Keywords: |  Os:  Unknown/Multiple  
 
Architecture:  Unknown/Multiple   | Failure:  Incorrect result at 
runtime
  Difficulty: |Testcase:
 
   Blockedby:  5065, 7330 |Blocking:
 
 Related: |  
--+-
Changes (by benl):

  * blockedby:  5065 => 5065, 7330


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #3903: DPH bad sliceP causes RTS panic "allocGroup: requested zero blocks"

2012-10-14 Thread GHC

#3903: DPH bad sliceP causes RTS panic "allocGroup: requested zero blocks"
--+-
Reporter:  benl   |   Owner:  benl  
Type:  bug|  Status:  new   
Priority:  low|   Milestone:  7.6.2 
   Component:  Data Parallel Haskell  | Version:  6.13  
Keywords: |  Os:  Unknown/Multiple  
Architecture:  Unknown/Multiple   | Failure:  Compile-time crash
  Difficulty: |Testcase:
   Blockedby:  7330   |Blocking:
 Related: |  
--+-
Changes (by benl):

  * blockedby:  => 7330


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #3782: Data Parallel "Impossible happened" compiler error

2012-10-14 Thread GHC

#3782: Data Parallel "Impossible happened" compiler error
--+-
Reporter:  guest  |   Owner:  benl
Type:  bug|  Status:  new 
Priority:  low|   Milestone:  7.6.2   
   Component:  Data Parallel Haskell  | Version:  6.12.1  
Keywords: |  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple   | Failure:  None/Unknown
  Difficulty: |Testcase:  
   Blockedby:  7330   |Blocking:  
 Related: |  
--+-
Changes (by benl):

  * blockedby:  => 7330


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7091: DPH Matrix product memory usage

2012-10-14 Thread GHC

#7091: DPH Matrix product memory usage
--+-
Reporter:  mblanco|   Owner:  benl   
Type:  bug|  Status:  new
Priority:  normal |   Milestone:  7.8.1  
   Component:  Data Parallel Haskell  | Version:  7.4.1  
Keywords: |  Os:  Linux  
Architecture:  x86| Failure:  Runtime performance bug
  Difficulty:  Unknown|Testcase: 
   Blockedby:  7330   |Blocking: 
 Related: |  
--+-
Changes (by benl):

  * blockedby:  => 7330


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #6004: dph-lifted-vseg package doesn't provide Data.Array.Parallel.Prelude.Float module

2012-10-14 Thread GHC

#6004: dph-lifted-vseg package doesn't provide Data.Array.Parallel.Prelude.Float
module
--+-
Reporter:  shelarcy   |   Owner:  benl
Type:  bug|  Status:  new 
Priority:  normal |   Milestone:  7.8.1   
   Component:  Data Parallel Haskell  | Version:  7.4.1   
Keywords: |  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple   | Failure:  None/Unknown
  Difficulty:  Unknown|Testcase:  
   Blockedby:  7330   |Blocking:  
 Related: |  
--+-
Changes (by benl):

  * blockedby:  => 7330


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5807: DPH library functions don't work without -fvectorise.

2012-10-14 Thread GHC

#5807: DPH library functions don't work without -fvectorise.
--+-
Reporter:  benl   |   Owner:  benl  
 
Type:  bug|  Status:  new   
 
Priority:  normal |   Milestone:  7.6.2 
 
   Component:  Data Parallel Haskell  | Version:  7.2.2 
 
Keywords: |  Os:  Unknown/Multiple  
 
Architecture:  Unknown/Multiple   | Failure:  Incorrect result at 
runtime
  Difficulty:  Unknown|Testcase:
 
   Blockedby:  7330   |Blocking:
 
 Related: |  
--+-
Changes (by benl):

  * blockedby:  => 7330


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

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

2012-10-14 Thread GHC

#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: |  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple   | Failure:  None/Unknown
  Difficulty: |Testcase:  
   Blockedby:  7330   |Blocking:  
 Related: |  
--+-
Changes (by benl):

  * blockedby:  => 7330


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7098: GHC 7.4.1 reports an internal error and core dumps while using DPH

2012-10-14 Thread GHC

#7098: GHC 7.4.1 reports an internal error and core dumps while using DPH
-+--
Reporter:  Prasanna  |   Owner:  benl
Type:  bug   |  Status:  new 
Priority:  normal|   Milestone:  7.8.1   
   Component:  Compiler  | Version:  7.4.1   
Keywords:  DPH   |  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:  7330  |Blocking:  
 Related:|  
-+--
Changes (by benl):

  * blockedby:  => 7330


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7330: Data Parallel Haskell (DPH) isn't usable yet.

2012-10-14 Thread GHC

#7330: Data Parallel Haskell (DPH) isn't usable yet.
--+-
 Reporter:  benl  |  Owner:  benl
 Type:  feature request   | Status:  new 
 Priority:  normal|  Component:  Compiler
  Version:  7.6.1 |   Keywords:  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  None/Unknown  |   Testcase:  
Blockedby:|   Blocking:  
  Related:|  
--+-

Comment(by benl):

 benl (wibble) cse.unsw.edu.au

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

[GHC] #7330: Data Parallel Haskell (DPH) isn't usable yet.

2012-10-14 Thread GHC

#7330: Data Parallel Haskell (DPH) isn't usable yet.
--+-
 Reporter:  benl  |  Owner:  benl
 Type:  feature request   | Status:  new 
 Priority:  normal|  Component:  Compiler
  Version:  7.6.1 |   Keywords:  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  None/Unknown  |   Testcase:  
Blockedby:|   Blocking:  
  Related:|  
--+-
 This is a place holder ticket for people that try to use DPH and find
 problems or missing features.  DPH is still deeply experimental, and we
 don't expect you to be able to do anything useful with it yet.

 However, it may work well enough to compile and run programs, depending on
 your particular example. The compiled executables are likely to work, but
 they will be very slow (like 10 - 100x slower than they should be). If
 you'd like to try DPH out anyway then feel free to give it a shot. Further
 questions and comments should be directed to b...@ouroborus.net. No need
 to open a ticket here in the GHC trac.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7253: Top-level bindings in ghci

2012-10-14 Thread GHC

#7253: Top-level bindings in ghci
-+--
Reporter:  Feuerbach |   Owner:  
Type:  feature request   |  Status:  new 
Priority:  normal|   Milestone:  7.8.1   
   Component:  GHCi  | Version:  7.6.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  Other   
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by parcs):

 * cc: patrick@… (added)


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7189: RTS Assertion Crash

2012-10-14 Thread GHC

#7189: RTS Assertion Crash
---+
Reporter:  sseverance  |   Owner:  simonmar 
Type:  bug |  Status:  new  
Priority:  normal  |   Milestone:  7.8.1
   Component:  Runtime System  | Version:  7.4.2
Keywords:  |  Os:  Linux
Architecture:  x86_64 (amd64)  | Failure:  Runtime crash
  Difficulty:  Unknown |Testcase:   
   Blockedby:  |Blocking:   
 Related:  |  
---+
Changes (by igloo):

  * owner:  => simonmar
  * milestone:  => 7.8.1


Comment:

 This is
 {{{
 ASSERT(task->incall->tso == t);
 }}}
 in `scheduleHandleThreadFinished`. It looks unchanged in HEAD.

 Simon, perhaps you could take a look please?

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7189: RTS Assertion Crash

2012-10-14 Thread GHC

#7189: RTS Assertion Crash
---+
Reporter:  sseverance  |   Owner:   
Type:  bug |  Status:  new  
Priority:  normal  |   Milestone:   
   Component:  Runtime System  | Version:  7.4.2
Keywords:  |  Os:  Linux
Architecture:  x86_64 (amd64)  | Failure:  Runtime crash
  Difficulty:  Unknown |Testcase:   
   Blockedby:  |Blocking:   
 Related:  |  
---+
Changes (by igloo):

  * difficulty:  => Unknown


Old description:

> I occasionally get the following crash when I compile with -debug:
> internal error: ASSERTION FAILED: file rts/Schedule.c, line 1268
>
> (GHC version 7.4.2 for x86_64_unknown_linux)
> Please report this as a GHC bug:
> http://www.haskell.org/ghc/reportabug
>
> If the application is not compiled with -debug this does not seem to
> happen. Usually I just don't link in the debug runtime however I have
> been trying to rundown an IO that never completes. I can't post the app
> but I am happy to collect information to attach to this ticket.

New description:

 I occasionally get the following crash when I compile with -debug:
 {{{
 internal error: ASSERTION FAILED: file rts/Schedule.c, line 1268

 (GHC version 7.4.2 for x86_64_unknown_linux)
 Please report this as a GHC bug:
 http://www.haskell.org/ghc/reportabug
 }}}
 If the application is not compiled with -debug this does not seem to
 happen. Usually I just don't link in the debug runtime however I have been
 trying to rundown an IO that never completes. I can't post the app but I
 am happy to collect information to attach to this ticket.

--

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7253: Top-level bindings in ghci

2012-10-14 Thread GHC

#7253: Top-level bindings in ghci
-+--
Reporter:  Feuerbach |   Owner:  
Type:  feature request   |  Status:  new 
Priority:  normal|   Milestone:  7.8.1   
   Component:  GHCi  | Version:  7.6.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  Other   
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by igloo):

  * difficulty:  => Unknown
  * milestone:  => 7.8.1


Comment:

 Thanks for the suggestion

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7241: GHC-7.6.1 panics on template haskell code

2012-10-14 Thread GHC

#7241: GHC-7.6.1 panics on template haskell code
-+--
Reporter:  akamaus   |   Owner:  simonpj   
Type:  bug   |  Status:  new   
Priority:  normal|   Milestone:  7.8.1 
   Component:  Template Haskell  | Version:  7.6.1 
Keywords:|  Os:  Unknown/Multiple  
Architecture:  Unknown/Multiple  | Failure:  Compile-time crash
  Difficulty:  Unknown   |Testcase:
   Blockedby:|Blocking:
 Related:|  
-+--
Changes (by igloo):

  * owner:  => simonpj
  * component:  Compiler => Template Haskell
  * milestone:  => 7.8.1


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7318: CONLIKE pragma documentation bug

2012-10-14 Thread GHC

#7318: CONLIKE pragma documentation bug
-+--
Reporter:  acowley   |   Owner:  igloo
Type:  bug   |  Status:  new  
Priority:  normal|   Milestone:  7.6.2
   Component:  Documentation | Version:  7.6.1
Keywords:|  Os:  Unknown/Multiple 
Architecture:  Unknown/Multiple  | Failure:  Documentation bug
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--
Changes (by igloo):

  * milestone:  => 7.6.2


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7258: Compiling DynFlags is jolly slow

2012-10-14 Thread GHC

#7258: Compiling DynFlags is jolly slow
-+--
Reporter:  simonpj   |   Owner:  igloo   
Type:  bug   |  Status:  new 
Priority:  normal|   Milestone:  7.8.1   
   Component:  Compiler  | Version:  7.6.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by igloo):

  * milestone:  => 7.8.1


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7200: template-haskell-2.7.0.0 fails to build with GHC 7.0.4 due to missing pragma

2012-10-14 Thread GHC

#7200: template-haskell-2.7.0.0 fails to build with GHC 7.0.4 due to missing
pragma
-+--
Reporter:  tibbe |   Owner:  duncan  
Type:  bug   |  Status:  new 
Priority:  high  |   Milestone:  7.8.1   
   Component:  Template Haskell  | Version:  7.0.4   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by igloo):

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


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7133: GHCi: strange behaviour after CTRL-C, followed by 'hPutChar: resource vanished (Broken Pipe)' when quitting

2012-10-14 Thread GHC

#7133: GHCi: strange behaviour after CTRL-C, followed by 'hPutChar: resource
vanished (Broken Pipe)' when quitting
-+--
Reporter:  DuncanMortimer|   Owner:  igloo  
Type:  bug   |  Status:  new
Priority:  normal|   Milestone:  7.8.1  
   Component:  GHCi  | Version:  7.4.1  
Keywords:|  Os:  MacOS X
Architecture:  Unknown/Multiple  | Failure:  Other  
  Difficulty:  Unknown   |Testcase: 
   Blockedby:|Blocking: 
 Related:|  
-+--
Changes (by igloo):

  * owner:  => igloo
  * difficulty:  => Unknown
  * milestone:  => 7.8.1


Comment:

 Thanks for the report. I'll see if I can reproduce it.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7111: record single inheritance, partial solution to record problem

2012-10-14 Thread GHC

#7111: record single inheritance, partial solution to record problem
---+
  Reporter:  centaurian_slug   |  Owner:  
  Type:  feature request   | Status:  closed  
  Priority:  normal|  Milestone:  
 Component:  Compiler  |Version:  7.4.2   
Resolution:  wontfix   |   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  
---+
Changes (by igloo):

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


Comment:

 Thanks for the suggestion. However, I think record system extensions need
 some more discussion and design work, for which the mailing lists and
 wikis are better forums than tickets, so I'm closing this ticket.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7111: record single inheritance, partial solution to record problem

2012-10-14 Thread GHC

#7111: record single inheritance, partial solution to record problem
-+--
Reporter:  centaurian_slug   |   Owner:  
Type:  feature request   |  Status:  new 
Priority:  normal|   Milestone:  
   Component:  Compiler  | Version:  7.4.2   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by igloo):

  * difficulty:  => Unknown


Old description:

> The record system reminded me of the situation in assembly language.
> Could "single inheritance of records" allow some shared field names as a
> stopgap solution without breaking much of the existing language and
> source, or precluding future solutions to this issue;
>
> Under this proposal, accessor functions in the same namespace would
> always access the same slot.
>
> imagine a keyword 'extends' in a data constructor that creates any
> boilerplate behind the scenes.
>
> data Base = Base { slotA::Int32, slotB::Int32 }
> data Foo = Foo extends Base { foo :: Int32 }
> data Bar = Bar extends Base { bar1 :: Float,bar2 ::Float }
>
> 'slotA' is now always a function to extract the first element of a 2,3,4
> element tuple
> 'slotB' is now always a function to extract the second element of a 2,3,4
> element tuple
> 'foo' is a functions to extract the 3rd slot.
> 'bar1','bar2' are functions to extract the 3rd,4th slots
>
> by analogy with c++,
> struct Base {
>   int32 slotA,int32 slotB;
> };  'a' now corresponds to an memory offset of 0
> 'b' now corresponds to an memory offset of 4
> struct Foo : public Base
> {
>   int32 foo;
> };
>'foo' now corresponds to a memory offset of 8
> struct Bar : public Base
> {
>   float bar1;
>   float bar2;
> };
>  //  'bar1' now corresponds to a memory offset of 8
>  //  'bar2' now corresponds to a memory offset of 12
>  //  'a' corresponds to a ptr offset of 0, for all types
> //   'b' corresponds to a ptr offset of 4 for all types
>
> By analogy to  assembly-language:-
>
> ; declare 'Base' datsstructure elements
> RSRESET ;clear structure offset counter
> slotARW 1   ; reserve 1 word for 'slotA'
> slotBRW 1
> baseSize RW 0
>
> ; declare 'Foo' datastructure elements
> RSSET baseSize  ; 'Foo' extends 'Base', set counter to end of 'Base'
> foo  RW 1
> fooSize  RW 0
>
> ; declare  'Bar' datastructure members
> RSSET baseSize ; 'Bar' extends 'Base'
> bar1  RW 1
> bar2  RW 1
> barSize  RW 0
>
> ;result:- (4byte words)
> ;slotA=0, slotB=4, foo=8,  bar1=8, bar2=12
> ; baseSize=0;  fooSize=12;   barSize=16

New description:

 The record system reminded me of the situation in assembly language.
 Could "single inheritance of records" allow some shared field names as a
 stopgap solution without breaking much of the existing language and
 source, or precluding future solutions to this issue;

 Under this proposal, accessor functions in the same namespace would always
 access the same slot.

 imagine a keyword 'extends' in a data constructor that creates any
 boilerplate behind the scenes.
 {{{
 data Base = Base { slotA::Int32, slotB::Int32 }
 data Foo = Foo extends Base { foo :: Int32 }
 data Bar = Bar extends Base { bar1 :: Float,bar2 ::Float }
 }}}
 'slotA' is now always a function to extract the first element of a 2,3,4
 element tuple
 'slotB' is now always a function to extract the second element of a 2,3,4
 element tuple
 'foo' is a functions to extract the 3rd slot.
 'bar1','bar2' are functions to extract the 3rd,4th slots

 by analogy with c++,
 {{{
 struct Base {
   int32 slotA,int32 slotB;
 };  'a' now corresponds to an memory offset of 0
 'b' now corresponds to an memory offset of 4
 struct Foo : public Base
 {
   int32 foo;
 };
'foo' now corresponds to a memory offset of 8
 struct Bar : public Base
 {
   float bar1;
   float bar2;
 };
  //  'bar1' now corresponds to a memory offset of 8
  //  'bar2' now corresponds to a memory offset of 12
  //  'a' corresponds to a ptr offset of 0, for all types
 //   'b' corresponds to a ptr offset of 4 for all types
 }}}
 By analogy to  assembly-language:-
 {{{
 ; declare 'Base' datsstructure elements
 RSRESET ;clear structure offset counter
 slotARW 1   ; reserve 1 word for 'slotA'
 slotBRW 1
 baseSize RW 0

 ; declare 'Foo' datastructure elements
 RSSET baseSize  ; 'Foo' extends 'Base', set counter to end of 'Base'
 foo  RW 1
 fooSize  RW 0

 ; declare  'Bar' datastructure members
 RSSET baseSize ; 'Bar' extends 'Base'
 bar1  RW 1
 bar2  RW 1
 barSize  RW 0

 ;result:- (4byte words)
 ;slotA=0, slotB=4, foo=8,  bar1=8, bar2=

Re: [GHC] #7313: arm-linux: impossible happened : CLabel.toInfoLbl stg_newMVarzh

2012-10-14 Thread GHC

#7313: arm-linux: impossible happened : CLabel.toInfoLbl stg_newMVarzh
-+--
 Reporter:  erikd|  Owner:  
 Type:  bug  | Status:  new 
 Priority:  normal   |  Component:  Compiler
  Version:  7.7  |   Keywords:  
   Os:  Unknown/Multiple |   Architecture:  arm 
  Failure:  Building GHC failed  |   Testcase:  
Blockedby:   |   Blocking:  
  Related:   |  
-+--
Changes (by bgamari):

 * cc: bgamari@… (added)


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7276: -fdefer-type-errors allows the types of quotations to be coerced, causing segmentation fault

2012-10-14 Thread GHC

#7276: -fdefer-type-errors allows the types of quotations to be coerced, causing
segmentation fault
-+--
Reporter:  parcs |   Owner:
Type:  bug   |  Status:  merge 
Priority:  normal|   Milestone:
   Component:  Compiler  | Version:  7.6.1 
Keywords:|  Os:  Unknown/Multiple  
Architecture:  Unknown/Multiple  | Failure:  Compile-time crash
  Difficulty:  Unknown   |Testcase:  th/T7276  
   Blockedby:|Blocking:
 Related:|  
-+--

Comment(by parcs):

 I think I found the underlying issue: when the inferred type and actual
 type of a TH bracket don't match, the TH bracket does not get replaced
 with a call to `error`. Instead, the bracket is just coerced to whatever
 type it's expected to be, e.g.:

 {{{
 > let a = [| True |] :: Int
 > a
 1099511628032
 }}}

 instead of:

 {{{
 > let a = [| True |] :: Int
 > a
 *** Exception: :2:9:
 Couldn't match type `Language.Haskell.TH.Syntax.Q
 ...
 (deferred type error)
 }}}

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #876: Length is not a good consumer

2012-10-14 Thread GHC

#876: Length is not a good consumer
+---
Reporter:  ariep@…  |   Owner:  simonpj
Type:  bug  |  Status:  new
Priority:  lowest   |   Milestone:  7.6.2  
   Component:  libraries/base   | Version:  6.5
Keywords:  length   |  Os:  Linux  
Architecture:  x86  | Failure:  Runtime performance bug
  Difficulty:  Unknown  |Testcase:  list003
   Blockedby:   |Blocking: 
 Related:   |  
+---
Changes (by george.colpitts):

  * failure:  None/Unknown => Runtime performance bug


Comment:

 I don't remember explicitly setting Type of failure to None/Unknown when I
 added a keyword of length but it seems I did. I have now changed the
 failure type to runtime performance bug. On ghc 7.4.1 the problem I see is
 that the space usage of  length is O(n) not O(1) in the size of the input,
 perhaps this is a better summary of the bug. I'm assuming that this is
 what "length is not a good consumer" means. This of course also slows down
 execution speed. Given the preceding I'm not sure why priority is lowest.

 {{{
 *Main> length  [0 .. (2^20)]
 1048577
 it :: Int
 (0.03 secs, 42303644 bytes)
 *Main> length  [0 .. (2^30)]
 1073741825
 it :: Int
 (23.08 secs, 42950370096 bytes)
 *Main> 42950370096 / 42303644
 1015.2877160180338
 }}}

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7109: Inlining depends on datatype size, even with INLINE pragmas

2012-10-14 Thread GHC

#7109: Inlining depends on datatype size, even with INLINE pragmas
-+--
Reporter:  dreixel   |   Owner:  simonpj 
Type:  bug   |  Status:  new 
Priority:  normal|   Milestone:  7.8.1   
   Component:  Compiler  | Version:  7.5 
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by igloo):

  * owner:  => simonpj
  * difficulty:  => Unknown
  * milestone:  => 7.8.1


Comment:

 Simon, is some sort of heuristic coming into play?

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

[GHC] #7329: ghc-7.6.1 win64: internal error: R_X86_6 4_PC32: High bits are set in WSAGetLastError

2012-10-14 Thread GHC

#7329: ghc-7.6.1 win64: internal error: R_X86_6 4_PC32: High bits are set in
WSAGetLastError
--+-
 Reporter:  dagit |  Owner:  
 Type:  bug   | Status:  new 
 Priority:  normal|  Component:  Compiler
  Version:  7.6.1 |   Keywords:  
   Os:  Windows   |   Architecture:  Unknown/Multiple
  Failure:  None/Unknown  |   Testcase:  
Blockedby:|   Blocking:  
  Related:|  
--+-
 While updating cabal-dev to build against ghc-7.6 and cabal 1.16, I got
 the following error during linking:
 {{{
 [ 8 of 19] Compiling Distribution.Dev.CabalInstall (
 src\Distribution\Dev\CabalInstall.hs, dist\build\cabal-dev\cabal-dev-
 tmp\Distribution\Dev\CabalInstall.o )
 Loading package ghc-prim ... linking ... done.
 Loading package integer-gmp ... linking ... done.
 Loading package base ... linking ... done.
 Loading package array-0.4.0.1 ... linking ... done.
 Loading package deepseq-1.3.0.1 ... linking ... done.
 Loading package bytestring-0.10.0.0 ... linking ... done.
 Loading package zlib-0.5.4.0 ... linking ... done.
 Loading package containers-0.5.0.0 ... linking ... done.
 Loading package pretty-1.1.1.0 ... linking ... done.
 Loading package template-haskell ... linking ... done.
 Loading package Win32-2.3.0.0 ... linking ... done.
 Loading package filepath-1.3.0.1 ... linking ... done.
 Loading package old-locale-1.0.0.5 ... linking ... done.
 Loading package time-1.4.0.1 ... linking ... done.
 Loading package directory-1.2.0.0 ... linking ... done.
 Loading package old-time-1.1.0.1 ... linking ... done.
 Loading package tar-0.4.0.1 ... linking ... done.
 Loading package transformers-0.3.0.0 ... linking ... done.
 Loading package mtl-2.1.2 ... linking ... done.
 Loading package text-0.11.2.3 ... linking ... done.
 Loading package parsec-3.1.3 ... linking ... done.
 Loading package network-2.4.0.1 ... linking ... ghc.exe: internal error:
 R_X86_64_PC32: High bits are set in 7fef1cec8ed for WSAGetLastError
 (GHC version 7.6.1 for x86_64_unknown_mingw32)
 Please report this as a GHC bug:
 http://www.haskell.org/ghc/reportabug

 This application has requested the Runtime to terminate it in an unusual
 way.
 Please contact the application's support team for more information.
 Failed to install cabal-dev-0.9.1
 cabal.exe: Error: some packages failed to install:
 cabal-dev-0.9.1 failed during the building phase. The exception was:
 ExitFailure 255
 }}}

 At least on my system this is a reproducible crash. I'm using windows 7,
 64bit with the 64bit GHC.

 {{{
 $ ghc --version
 The Glorious Glasgow Haskell Compilation System, version 7.6.1
 $ cabal --version
 cabal-install version 1.16.0
 using version 1.16.0.1 of the Cabal library
 $ cabal-dev --version
 cabal-dev 0.9
 built with Cabal 1.10.1.0
 }}}

 The command that causes the crash here is to simply run `cabal-dev
 install` on my locally modify source for cabal-dev:
 {{{
 The top commit in my local branch is:
 commit 1a0cadb226b3a0ba65b762172e20e6d2033fc3a3
 Merge: 0c5752b 6db5e32
 Author: Jonathan Daugherty 
 Date:   Wed Jun 27 12:25:02 2012 -0700

 Merge pull request #61 from jonathanjouty/patch-1

 Minor typo in README.md
 }}}

 If you want to try reproducing this, my Git diff looks like this:
 {{{
 diff --git a/cabal-dev.cabal b/cabal-dev.cabal
 index 5c25721..684591a 100644
 --- a/cabal-dev.cabal
 +++ b/cabal-dev.cabal
 @@ -49,7 +49,7 @@ Bug-Reports: http://github.com/creswick/cabal-
 dev/issues
  Copyright:   2010-2012 Galois, Inc.
  Category:Development
  Build-type:  Custom
 -Cabal-version:   >=1.6
 +Cabal-version:   >=1.14
  Data-Files:
admin/cabal-config.in,
admin/00-index.tar
 @@ -78,6 +78,7 @@ Executable cabal-dev
Main-is: Main.hs
GHC-Options: -Wall
Extensions: TemplateHaskell
 +  default-language: Haskell2010

if flag(no-cabal-dev)
  Buildable: False
 @@ -93,7 +94,7 @@ Executable cabal-dev
  -- avoid using it:
  if impl(ghc >= 6.12)
Build-depends:
 -containers >= 0.3 && < 0.5
 +containers >= 0.3

  -- Require this specific version that came with GHC 6.10 because
  -- of packaging problems with containers-0.2
 @@ -106,18 +107,18 @@ Executable cabal-dev
  containers == 0.1.0.2

  Build-depends:
 -  bytestring >= 0.9 && < 0.10,
 -  directory >= 1.0 && < 1.3,
 -  filepath >= 1.1 && < 1.4,
 -  Cabal >= 1.10.0.0 && < 1.15,
 -  HTTP >= 4000.0.9 && < 4000.3,
 -  mtl >= 1.1 && < 2.2,
 -  network >= 2.2 && < 2.4,
 -  pretty >= 1.0 && < 1.2,
 -  process >= 1.0 && < 1.2,
 -  tar >= 0.3 && < 0.4,
 -  zlib >= 0.5 && < 0.6,
 -  transformers >= 0.2 && < 0.4,
 +

Re: [GHC] #7104: Add tryWriteTBQueue to Control.Concurrent.STM.TBQueue

2012-10-14 Thread GHC

#7104: Add tryWriteTBQueue to Control.Concurrent.STM.TBQueue
--+-
Reporter:  joeyadams  |   Owner:  simonmar
Type:  feature request|  Status:  new 
Priority:  normal |   Milestone:  7.8.1   
   Component:  libraries (other)  | Version:  7.4.2   
Keywords:  stm|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple   | Failure:  None/Unknown
  Difficulty:  Unknown|Testcase:  
   Blockedby: |Blocking:  
 Related: |  
--+-
Changes (by igloo):

  * milestone:  => 7.8.1


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7098: GHC 7.4.1 reports an internal error and core dumps while using DPH

2012-10-14 Thread GHC

#7098: GHC 7.4.1 reports an internal error and core dumps while using DPH
-+--
Reporter:  Prasanna  |   Owner:  benl
Type:  bug   |  Status:  new 
Priority:  normal|   Milestone:  7.8.1   
   Component:  Compiler  | Version:  7.4.1   
Keywords:  DPH   |  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by igloo):

  * milestone:  => 7.8.1


Old description:

> While compiling a DPH program I got the following error,
>
> Main: internal error: allocGroup: requested zero blocks
> (GHC version 7.4.1 for i386_unknown_linux)
> Please report this as a GHC bug:
> http://www.haskell.org/ghc/reportabug
> Aborted (core dumped)
>
> I have attached the code files that I was using.

New description:

 While compiling a DPH program I got the following error,
 {{{
 Main: internal error: allocGroup: requested zero blocks
 (GHC version 7.4.1 for i386_unknown_linux)
 Please report this as a GHC bug:
 http://www.haskell.org/ghc/reportabug
 Aborted (core dumped)
 }}}
 I have attached the code files that I was using.

--

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7097: linker fails to load package with binding to foreign library

2012-10-14 Thread GHC

#7097: linker fails to load package with binding to foreign library
--+-
Reporter:  nus|   Owner:  
Type:  bug|  Status:  new 
Priority:  high   |   Milestone:  7.8.1   
   Component:  Runtime System | Version:  7.4.2   
Keywords: |  Os:  Windows 
Architecture:  x86| Failure:  None/Unknown
  Difficulty:  Unknown|Testcase:  
   Blockedby:  3658   |Blocking:  
 Related:  #2283 #3242 #1883  |  
--+-
Changes (by igloo):

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


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7091: DPH Matrix product memory usage

2012-10-14 Thread GHC

#7091: DPH Matrix product memory usage
--+-
Reporter:  mblanco|   Owner:  benl   
Type:  bug|  Status:  new
Priority:  normal |   Milestone:  7.8.1  
   Component:  Data Parallel Haskell  | Version:  7.4.1  
Keywords: |  Os:  Linux  
Architecture:  x86| Failure:  Runtime performance bug
  Difficulty:  Unknown|Testcase: 
   Blockedby: |Blocking: 
 Related: |  
--+-
Changes (by igloo):

  * owner:  => benl
  * milestone:  => 7.8.1


Comment:

 Ben, could you take a look please?

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7091: DPH Matrix product memory usage

2012-10-14 Thread GHC

#7091: DPH Matrix product memory usage
--+-
Reporter:  mblanco|   Owner: 
Type:  bug|  Status:  new
Priority:  normal |   Milestone: 
   Component:  Data Parallel Haskell  | Version:  7.4.1  
Keywords: |  Os:  Linux  
Architecture:  x86| Failure:  Runtime performance bug
  Difficulty:  Unknown|Testcase: 
   Blockedby: |Blocking: 
 Related: |  
--+-
Changes (by igloo):

  * difficulty:  => Unknown


Old description:

> This report is from the post at Haskell-cafe "DPH matrix product", I'm
> reporting it here so developers can define if it's a bug or not and its
> priority.
>
> On a (I think) standar implementation of matrix product on DPH I notice
> an excessive use of system memory.
> At execution time, on matrices of size 300*300 the program does finish
> (although it is very slow), but on 600*600 it consumes GBs of RAM until
> the process is aborted.
>
> This is the system information:
>
> - Ubuntu 12.04 32-bit
>
> - Intel® Core™2 Duo CPU T5270 @ 1.40GHz × 2
>
> - 2.9 GiB RAM
>
> GHC version:
>
> - GHC 7.4.1
>
> DPH libraries:
>
> - dph-base-0.6.1.1
>
> - (dph-lifted-base-0.6.1.1)
>
> - (dph-lifted-vseg-0.6.1.2)
>
> - (dph-prim-interface-0.6.1.1)
>
> - (dph-prim-par-0.6.1.1)
>
> - (dph-prim-seq-0.6.1.1)
>
> Compilation flags:
>
> I'm using two combinations of flags, taken from different sources. In
> both cases results are identical:
>
> - From https://github.com/ghc/packages-dph: -rtsopts -threaded -fllvm
> -optlo-O3 -Odph -fcpr-off -fno-liberate-case -package dph-lifted-vseg
>
> - From dph-examples: -rtsopts -threaded -fllvm -Odph -package dph-lifted-
> vseg -fcpr-off -fno-liberate-case -fsimpl-tick-factor=1000
>
> Execution flags:
>
> +RTS -N
>
> Tests:
>
> - Computing the product of two 400*400 matrices takes 6.037993 seconds.
>
> - Computing the product of two 600*600 matrices yields "out of memory
> (requested 1728053248 bytes)".
>
> DPH code:
>
> 
> {-# LANGUAGE ParallelArrays, ParallelListComp #-}
>
> {-# OPTIONS -fvectorise #-}
>
> module DPH_mmult_wrapper (matMult_wrapper, Matrix_wrapper) where
>
> import qualified Prelude
>
> import Data.Array.Parallel
>
> import Data.Array.Parallel.Prelude.Double as D
>
> import Data.Array.Parallel.Prelude.Int as I
>
> type MMultType = Double
>
> type Matrix = [:[:MMultType:]:]
>
> type MVector = [:MMultType:]
>
> type Matrix_wrapper = PArray (PArray MMultType)
>
> -- matMult_wrapper assumes mB is already transposed
>
> {-# NOINLINE matMult_wrapper #-}
>
> matMult_wrapper :: Matrix_wrapper -> Matrix_wrapper -> Matrix_wrapper
>
> matMult_wrapper mA mB = toPArrayP (mapP toPArrayP (matMult
> (fromNestedPArrayP mA) (fromNestedPArrayP mB)))
>
> matMult :: Matrix -> Matrix -> Matrix
>
> matMult mA mB = mapP (\row -> mapP (\col -> dotp row col) mB) mA
>
> dotp :: MVector -> MVector -> MMultType
>
> dotp row col = D.sumP (zipWithP (D.*) row col)
>
> 
>
> I'm reporting this as I think it is the kind of problems intended to be
> solved in the last definition of the internal DPH structure (the one from
> "Work Efficient Higher-Order Vectorisation" paper).
>
> If there is any information missing, please comment and I will update the
> report.
>
> Thanks.

New description:

 This report is from the post at Haskell-cafe "DPH matrix product", I'm
 reporting it here so developers can define if it's a bug or not and its
 priority.

 On a (I think) standar implementation of matrix product on DPH I notice an
 excessive use of system memory.
 At execution time, on matrices of size 300*300 the program does finish
 (although it is very slow), but on 600*600 it consumes GBs of RAM until
 the process is aborted.

 This is the system information:

 - Ubuntu 12.04 32-bit

 - Intel® Core™2 Duo CPU T5270 @ 1.40GHz × 2

 - 2.9 GiB RAM

 GHC version:

 - GHC 7.4.1

 DPH libraries:

 - dph-base-0.6.1.1

 - (dph-lifted-base-0.6.1.1)

 - (dph-lifted-vseg-0.6.1.2)

 - (dph-prim-interface-0.6.1.1)

 - (dph-prim-par-0.6.1.1)

 - (dph-prim-seq-0.6.1.1)

 Compilation flags:

 I'm using two combinations of flags, taken from different sources. In both
 cases results are identical:

 - From https://github.com/ghc/packages-dph: -rtsopts -threaded -fllvm
 -optlo-O3 -Odph -fcpr-off -fno-liberate-case -package dph-lifted-vseg

 - From dph-examples: -rtsopts -threaded -fllvm -Odph -package dph-lifted-
 vseg -fcpr-off -fno-liberate-case -fsimpl-tick-factor=1000

 Execution flags:

Re: [GHC] #7089: -fwarn-unused-do-bind with type families

2012-10-14 Thread GHC

#7089: -fwarn-unused-do-bind with type families
+---
  Reporter:  dag|  Owner:   
   
  Type:  bug| Status:  closed   
   
  Priority:  normal |  Milestone:   
   
 Component:  Compiler   |Version:  7.4.1
   
Resolution:  worksforme |   Keywords:   
   
Os:  Unknown/Multiple   |   Architecture:  
Unknown/Multiple
   Failure:  Incorrect warning at compile-time  | Difficulty:  Unknown  
   
  Testcase: |  Blockedby:   
   
  Blocking: |Related:   
   
+---
Changes (by igloo):

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


Comment:

 As we have no way to reproduce this, I'm closing it. Please reopen (or
 open a new ticket) if you find a way to reproduce it.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7081: arrow analogs of lambda case and multi-way if

2012-10-14 Thread GHC

#7081: arrow analogs of lambda case and multi-way if
-+--
Reporter:  jeltsch   |   Owner:  
Type:  feature request   |  Status:  new 
Priority:  normal|   Milestone:  7.8.1   
   Component:  Compiler  | Version:  7.5 
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by igloo):

  * milestone:  => 7.8.1


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7078: Panic using mixing list with parallel arrays incorrectly

2012-10-14 Thread GHC

#7078: Panic using mixing list with parallel arrays incorrectly
-+--
Reporter:  NeilJ |   Owner:  chak  
Type:  bug   |  Status:  new   
Priority:  normal|   Milestone:  7.8.1 
   Component:  Compiler  | Version:  7.4.1 
Keywords:|  Os:  Unknown/Multiple  
Architecture:  x86   | Failure:  Compile-time crash
  Difficulty:  Unknown   |Testcase:
   Blockedby:|Blocking:
 Related:|  
-+--
Changes (by igloo):

  * milestone:  => 7.8.1


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7078: Panic using mixing list with parallel arrays incorrectly

2012-10-14 Thread GHC

#7078: Panic using mixing list with parallel arrays incorrectly
-+--
Reporter:  NeilJ |   Owner:  chak  
Type:  bug   |  Status:  new   
Priority:  normal|   Milestone:
   Component:  Compiler  | Version:  7.4.1 
Keywords:|  Os:  Unknown/Multiple  
Architecture:  x86   | Failure:  Compile-time crash
  Difficulty:  Unknown   |Testcase:
   Blockedby:|Blocking:
 Related:|  
-+--
Description changed by igloo:

Old description:

> ghc: panic! (the 'impossible' happened)
>   (GHC version 7.4.1 for i386-unknown-linux):
> DsMonad: uninitialised ds_parr_bi
>
> Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

New description:

 {{{
 ghc: panic! (the 'impossible' happened)
   (GHC version 7.4.1 for i386-unknown-linux):
 DsMonad: uninitialised ds_parr_bi

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
 }}}

--

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7076: Crash with eager blackholing

2012-10-14 Thread GHC

#7076: Crash with eager blackholing
---+
  Reporter:  SimonMeier|  Owner:   
  Type:  bug   | Status:  closed   
  Priority:  normal|  Milestone:   
 Component:  Runtime System|Version:  7.4.2
Resolution:  fixed |   Keywords:  eager blackholing
Os:  Unknown/Multiple  |   Architecture:  x86_64 (amd64)   
   Failure:  Runtime crash | Difficulty:  Unknown  
  Testcase:|  Blockedby:   
  Blocking:|Related:  #6146
---+
Changes (by igloo):

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


Comment:

 Optimistically closing; please re-open if you still have problems with GHC
 7.6 or later.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7066: isInstance does not work for compound types

2012-10-14 Thread GHC

#7066: isInstance does not work for compound types
-+--
Reporter:  edsko |   Owner:  simonpj 
Type:  bug   |  Status:  new 
Priority:  normal|   Milestone:  7.8.1   
   Component:  Template Haskell  | Version:  7.4.2   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by igloo):

  * milestone:  => 7.8.1


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7057: Simplifier infinite loop regression

2012-10-14 Thread GHC

#7057: Simplifier infinite loop regression
-+--
Reporter:  ronwalf   |   Owner:  simonpj   
Type:  bug   |  Status:  new   
Priority:  normal|   Milestone:  7.8.1 
   Component:  Compiler  | Version:  7.4.2 
Keywords:|  Os:  Unknown/Multiple  
Architecture:  Unknown/Multiple  | Failure:  Compile-time crash
  Difficulty:  Unknown   |Testcase:
   Blockedby:|Blocking:
 Related:|  
-+--
Changes (by igloo):

  * owner:  => simonpj
  * milestone:  => 7.8.1


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7049: LLVM backend miscompiles GHC stage2

2012-10-14 Thread GHC

#7049: LLVM backend miscompiles GHC stage2
-+--
Reporter:  kgardas   |   Owner:  dterei 
Type:  bug   |  Status:  new
Priority:  normal|   Milestone:  7.8.1  
   Component:  Compiler (LLVM)   | Version:  7.5
Keywords:|  Os:  Unknown/Multiple   
Architecture:  Unknown/Multiple  | Failure:  Building GHC failed
  Difficulty:  Unknown   |Testcase: 
   Blockedby:|Blocking: 
 Related:|  
-+--
Changes (by igloo):

  * difficulty:  => Unknown
  * milestone:  => 7.8.1


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7044: reject reading rationals with exponent notation

2012-10-14 Thread GHC

#7044: reject reading rationals with exponent notation
---+
  Reporter:  maeder|  Owner:  
  Type:  bug   | Status:  new 
  Priority:  normal|  Milestone:  7.8.1   
 Component:  Compiler  |Version:  7.4.2   
Resolution:|   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  #5692   
---+
Changes (by igloo):

  * milestone:  => 7.8.1


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7043: 32-bit GHC ceiling of negative float SEGFAULT: 11

2012-10-14 Thread GHC

#7043: 32-bit GHC ceiling of negative float SEGFAULT: 11
--+-
Reporter:  DrGodCarl  |   Owner:  igloo 

Type:  bug|  Status:  new   

Priority:  high   |   Milestone:  7.6.2 

   Component:  Compiler   | Version:  7.4.1 

Keywords:  Segfault, ceiling, segmentation fault  |  Os:  MacOS X   

Architecture:  Other  | Failure:  GHCi 
crash
  Difficulty:  Unknown|Testcase:  ceiling 
(-0.8)
   Blockedby: |Blocking:

 Related: |  
--+-
Changes (by igloo):

  * owner:  => igloo
  * difficulty:  => Unknown
  * priority:  normal => high
  * milestone:  => 7.6.2


Comment:

 Thanks for the report. I can reproduce this:
 {{{
 $ inplace/bin/ghc-stage2 --interactive
 GHCi, version 7.7.20121013: http://www.haskell.org/ghc/  :? for help
 Loading package ghc-prim ... linking ... done.
 Loading package integer-gmp ... linking ... done.
 Loading package base ... linking ... done.
 Prelude> ceiling (-0.8)
 Segmentation fault: 11
 }}}

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7035: `deriving instance Generic (HsExpr Id)` raises panic

2012-10-14 Thread GHC

#7035: `deriving instance Generic (HsExpr Id)` raises panic
--+-
Reporter:  Daniel Schuessler  |   Owner:  dreixel   
Type:  bug|  Status:  new   
Priority:  normal |   Milestone:  7.8.1 
   Component:  Compiler   | Version:  7.4.2 
Keywords: |  Os:  Linux 
Architecture:  Unknown/Multiple   | Failure:  Compile-time crash
  Difficulty:  Unknown|Testcase:
   Blockedby: |Blocking:
 Related: |  
--+-

Comment(by dreixel):

 Somehow I've only seen this now. I think it's fixed by now, but I'll
 check.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7035: `deriving instance Generic (HsExpr Id)` raises panic

2012-10-14 Thread GHC

#7035: `deriving instance Generic (HsExpr Id)` raises panic
--+-
Reporter:  Daniel Schuessler  |   Owner:  dreixel   
Type:  bug|  Status:  new   
Priority:  normal |   Milestone:  7.8.1 
   Component:  Compiler   | Version:  7.4.2 
Keywords: |  Os:  Linux 
Architecture:  Unknown/Multiple   | Failure:  Compile-time crash
  Difficulty:  Unknown|Testcase:
   Blockedby: |Blocking:
 Related: |  
--+-
Changes (by igloo):

  * milestone:  => 7.8.1


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7033: stale .tix files can cause programs built with -fhpc to segfault

2012-10-14 Thread GHC

#7033: stale .tix files can cause programs built with -fhpc to segfault
-+--
Reporter:  jwlato|   Owner:  
Type:  bug   |  Status:  new 
Priority:  normal|   Milestone:  7.8.1   
   Component:  Code Coverage | Version:  7.4.2   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  Runtime crash   
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by igloo):

  * owner:  andy@… =>
  * difficulty:  => Unknown
  * milestone:  => 7.8.1


Comment:

 Thanks for the report

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7015: Add support for 'static'

2012-10-14 Thread GHC

#7015: Add support for 'static'
-+--
Reporter:  edsko |   Owner:  
Type:  feature request   |  Status:  new 
Priority:  normal|   Milestone:  7.8.1   
   Component:  Compiler  | Version:  7.4.2   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by igloo):

  * difficulty:  => Unknown
  * milestone:  => 7.8.1


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7005: GHC 7.4.2 crashes with a panic when using type families and data kinds together

2012-10-14 Thread GHC

#7005: GHC 7.4.2 crashes with a panic when using type families and data kinds
together
-+--
  Reporter:  Kangyuan|  Owner:  
  Type:  bug | Status:  closed  
  Priority:  normal  |  Milestone:  
 Component:  Compiler|Version:  7.4.2   
Resolution:  fixed   |   Keywords:  panic typefamilies datakinds
Os:  Unknown/Multiple|   Architecture:  Unknown/Multiple
   Failure:  Compile-time crash  | Difficulty:  Unknown 
  Testcase:  |  Blockedby:  
  Blocking:  |Related:  
-+--
Changes (by igloo):

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


Comment:

 No precise reproduction instructions, probably fixed, and no response from
 submitter, so closing.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #6157: Support duplicating a TChan with the current content available.

2012-10-14 Thread GHC

#6157: Support duplicating a TChan with the current content available.
--+-
Reporter:  klao   |   Owner:  simonmar
Type:  feature request|  Status:  new 
Priority:  normal |   Milestone:  7.8.1   
   Component:  libraries (other)  | Version:  7.4.2   
Keywords: |  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple   | Failure:  None/Unknown
  Difficulty:  Unknown|Testcase:  
   Blockedby: |Blocking:  
 Related: |  
--+-
Changes (by igloo):

  * owner:  => simonmar
  * difficulty:  => Unknown
  * milestone:  => 7.8.1


Comment:

 Thanks for the suggestion. Simon, I think you know best the feasibility
 and desirability of this.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7328: Seemingly inappropriate "expecting one more argument" error in polykinded class

2012-10-14 Thread GHC

#7328: Seemingly inappropriate "expecting one more argument" error in polykinded
class
---+
 Reporter:  illissius  |  Owner:  
 Type:  bug| Status:  new 
 Priority:  normal |  Component:  Compiler
  Version:  7.6.1  |   Keywords:  
   Os:  Unknown/Multiple   |   Architecture:  Unknown/Multiple
  Failure:  GHC rejects valid program  |   Testcase:  
Blockedby: |   Blocking:  
  Related: |  
---+

Comment(by illissius):

 If instead of Proxy (Foo f) I write Proxy (Bar f) or Proxy f, there is no
 error.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

[GHC] #7328: Seemingly inappropriate "expecting one more argument" error in polykinded class

2012-10-14 Thread GHC

#7328: Seemingly inappropriate "expecting one more argument" error in polykinded
class
---+
 Reporter:  illissius  |  Owner:  
 Type:  bug| Status:  new 
 Priority:  normal |  Component:  Compiler
  Version:  7.6.1  |   Keywords:  
   Os:  Unknown/Multiple   |   Architecture:  Unknown/Multiple
  Failure:  GHC rejects valid program  |   Testcase:  
Blockedby: |   Blocking:  
  Related: |  
---+
 Triggered by the following code:

 {{{
 {-# LANGUAGE PolyKinds, GADTs #-}

 data Proxy a

 class Foo a where
 foo :: a ~ f i => Proxy (Foo f)
 }}}

 GHC writes:

 {{{
 test.hs:6:34:
 Expecting one more argument to `f'
 In the type `a ~ f i => Proxy (Foo f)'
 In the class declaration for `Foo'
 }}}

 It seems to me that given Foo :: forall k. k -> Constraint, Proxy ::
 forall k. k -> *, a :: k, f :: k1 -> k, that Foo in Proxy (Foo f) should
 be instantiated at k1 -> k, and Proxy at Constraint, and that this should
 work.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5539: GHC panic - Simplifier ticks exhausted

2012-10-14 Thread GHC

#5539: GHC panic -  Simplifier ticks exhausted
-+--
  Reporter:  hvr |  Owner:  simonpj   
  Type:  bug | Status:  new   
  Priority:  high|  Milestone:  7.6.2 
 Component:  Compiler|Version:  7.3   
Resolution:  |   Keywords:
Os:  Linux   |   Architecture:  x86_64 (amd64)
   Failure:  Compile-time crash  | Difficulty:  Unknown   
  Testcase:  |  Blockedby:
  Blocking:  |Related:
-+--
Changes (by ihameed):

 * cc: idhameed@… (added)


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

54 matches

Mail list logo