Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

[GHC]

#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate
-+--
Reporter:  simonpj   |   Owner:  simonpj 
Type:  bug   |  Status:  new 
Priority:  high  |   Milestone:  7.8.1   
   Component:  Compiler  | Version:  6.12.1  
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:  #4139 |  
-+--

Comment(by mcandre):

 Bump, please fix.

-- 
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] #7498: panic : Register allocator: out of stack slots (need 147)

[GHC]

#7498: panic : Register allocator: out of stack slots (need 147)
--+-
  Reporter:  erikd|  Owner: 
  Type:  bug  | Status:  new
  Priority:  high |  Milestone:  7.8.1  
 Component:  Compiler |Version:  7.7
Resolution:   |   Keywords: 
Os:  Unknown/Multiple |   Architecture:  powerpc
   Failure:  Building GHC failed  | Difficulty:  Unknown
  Testcase:   |  Blockedby: 
  Blocking:   |Related: 
--+-

Comment(by erikd):

 @Igloo I do think this is the same thing.

 I currently can't reproduce it with my version or @pho's version of the
 PPC stack resizing code, but @pho's explanation does seem plausible.

-- 
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] #7281: GHC 7.4.2 build fails on Fedora17

[GHC]

#7281: GHC 7.4.2 build fails on Fedora17
--+-
Reporter:  PaulJohnson|   Owner:  judah.jacobson@…
Type:  bug|  Status:  new 
Priority:  high   |   Milestone:  7.8.1   
   Component:  libraries (other)  | Version:  7.4.2   
Keywords: |  Os:  Linux   
Architecture:  x86_64 (amd64) | Failure:  Building GHC failed 
  Difficulty:  Unknown|Testcase:  
   Blockedby: |Blocking:  
 Related: |  
--+-
Changes (by igloo):

  * component:  Compiler => libraries (other)
  * milestone:  7.6.2 => 7.8.1


Comment:

 I've applied this change as 6dde36fa0c347dbbb92affe932c5c79d030867db in
 GHC's 7.6 branch.

 Judah, could you apply it in the terminfo main repo please? Then I'll pull
 it into GHC HEAD.

-- 
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] #7486: dblatex can't build docs; fix included.

[GHC]

#7486: dblatex can't build docs; fix included.
--+-
  Reporter:  rlpowell |  Owner:  
  Type:  bug  | Status:  closed  
  Priority:  normal   |  Milestone:  
 Component:  Build System |Version:  7.6.1   
Resolution:  fixed|   Keywords:  
Os:  Unknown/Multiple |   Architecture:  Unknown/Multiple
   Failure:  Building GHC failed  | Difficulty:  Unknown 
  Testcase:   |  Blockedby:  
  Blocking:   |Related:  
--+-
Changes (by igloo):

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


Comment:

 Merged as 160424c64cdbf72d241fc83d97f7c8afe8be9aad

-- 
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] #7547: Loop when printing External Core

[GHC]

#7547: Loop when printing External Core
---+
  Reporter:  simonpj   |  Owner:  
  Type:  bug   | Status:  closed  
  Priority:  normal|  Milestone:  
 Component:  Compiler  |Version:  7.6.1   
Resolution:  fixed |   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  
---+
Changes (by igloo):

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


Comment:

 Merged as f7d9e72f4f79d3a8f635c3312ddd524a727334e4

-- 
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] #7536: Panic with TypeFamilies with type synonym instances

[GHC]

#7536: Panic with TypeFamilies with type synonym instances
--+-
  Reporter:  snowleopard  |  Owner: 
 
  Type:  bug  | Status:  closed 
 
  Priority:  normal   |  Milestone: 
 
 Component:  Compiler |Version:  7.6.1  
 
Resolution:  fixed|   Keywords: 
 
Os:  Unknown/Multiple |   Architecture:  
Unknown/Multiple
   Failure:  Compile-time crash   | Difficulty:  Unknown
 
  Testcase:  indexed_types/should_fail/T7536  |  Blockedby: 
 
  Blocking:   |Related: 
 
--+-
Changes (by igloo):

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


Comment:

 Not smooth, so not merging.

-- 
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] #7525: Compiler panic with ill-typed code using implicit parameters

[GHC]

#7525: Compiler panic with ill-typed code using implicit parameters
--+-
  Reporter:  parcs|  Owner:  
  Type:  bug  | Status:  closed  
  Priority:  normal   |  Milestone:  
 Component:  Compiler |Version:  7.7 
Resolution:  fixed|   Keywords:  
Os:  Unknown/Multiple |   Architecture:  Unknown/Multiple
   Failure:  Compile-time crash   | Difficulty:  Unknown 
  Testcase:  typecheck/should_fail/T7525  |  Blockedby:  
  Blocking:   |Related:  
--+-
Changes (by igloo):

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


Comment:

 Already works in 7.6 branch, so not merging.

-- 
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] #7062: Spurious undefined reference to `openpty'

[GHC]

#7062: Spurious undefined reference to `openpty'
---+
  Reporter:  simonmar  |  Owner:  
  Type:  bug   | Status:  closed  
  Priority:  high  |  Milestone:  7.6.2   
 Component:  Compiler  |Version:  7.4.2   
Resolution:  fixed |   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  
---+
Changes (by igloo):

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


Comment:

 OK, the above patch should fix this. Please reopen and give details if you
 still have problems.

-- 
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] #7062: Spurious undefined reference to `openpty'

[GHC]

#7062: Spurious undefined reference to `openpty'
---+
  Reporter:  simonmar  |  Owner:  
  Type:  bug   | Status:  new 
  Priority:  high  |  Milestone:  7.6.2   
 Component:  Compiler  |Version:  7.4.2   
Resolution:|   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  
---+

Comment(by ian@…):

 commit 9d9d09defda3dfc2362785608110e56d1fc1f3b2
 {{{
 Author: Ian Lynagh 
 Date:   Fri Jan 4 18:43:19 2013 +

 Add a -rpath entry for the RTS library, so that it can find libffi

 This fixes dynamic library resolution when --enable-new-dtags is used
 (#7062).

 When --enable-new-dtags is used when linking an executable, a RUNPATH
 as
 well as RPATH is set. The linker then ignores RPATH, and RUNPATH is
 only
 used for directly (not transitively) needed libraries. As the program
 doesn't directly need libffi, it isn't found.

  rts/ghc.mk |4 
  1 files changed, 4 insertions(+), 0 deletions(-)
 }}}

-- 
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] #7510: Immediate seg-fault on 32-bit windows build

[GHC]

#7510: Immediate seg-fault on 32-bit windows build
-+--
Reporter:  simonpj   |   Owner:  simonmar
Type:  bug   |  Status:  new 
Priority:  highest   |   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:|  
-+--

Comment(by igloo):

 Same as #7498?

-- 
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] #7498: panic : Register allocator: out of stack slots (need 147)

[GHC]

#7498: panic : Register allocator: out of stack slots (need 147)
--+-
  Reporter:  erikd|  Owner: 
  Type:  bug  | Status:  new
  Priority:  high |  Milestone:  7.8.1  
 Component:  Compiler |Version:  7.7
Resolution:   |   Keywords: 
Os:  Unknown/Multiple |   Architecture:  powerpc
   Failure:  Building GHC failed  | Difficulty:  Unknown
  Testcase:   |  Blockedby: 
  Blocking:   |Related: 
--+-

Comment(by igloo):

 Same as #7510?

-- 
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] #7548: GHC API dependency analysis is broken

[GHC]

#7548: GHC API dependency analysis is broken
--+-
  Reporter:  MikolajKonarski  |  Owner:
  Type:  bug  | Status:  closed
  Priority:  highest  |  Milestone:  7.8.1 
 Component:  GHC API  |Version:  7.4.2 
Resolution:  duplicate|   Keywords:
Os:  Linux|   Architecture:  x86_64 (amd64)
   Failure:  None/Unknown | Difficulty:  Unknown   
  Testcase:   |  Blockedby:
  Blocking:   |Related:
--+-

Comment(by MikolajKonarski):

 I confirm that a port of the fix to 7.4.2 works perfectly and now all the
 other tests I had, including the suspected "opposite" erroneous behaviour
 are solved or explained away.

-- 
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] #7436: Derived Foldable and Traversable instances become extremely inefficient due to eta-expansion

[GHC]

#7436: Derived Foldable and Traversable instances become extremely inefficient 
due
to eta-expansion
-+--
Reporter:  shachaf   |   Owner: 
Type:  bug   |  Status:  patch  
Priority:  normal|   Milestone: 
   Component:  Compiler  | Version:  7.6.1  
Keywords:|  Os:  Unknown/Multiple   
Architecture:  Unknown/Multiple  | Failure:  Runtime performance bug
  Difficulty:  Unknown   |Testcase: 
   Blockedby:|Blocking: 
 Related:|  
-+--

Comment(by simonpj):

 Thanks. I'll apply.

-- 
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] #2431: Allow empty case analysis

[GHC]

#2431: Allow empty case analysis
---+
  Reporter:  RalfHinze |  Owner:
 
  Type:  feature request   | Status:  closed
 
  Priority:  low   |  Milestone:  _|_   
 
 Component:  Compiler  |Version:  6.8.3 
 
Resolution:  fixed |   Keywords:  empty case 
analysis
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple  
 
   Failure:  None/Unknown  | Difficulty:  Unknown   
 
  Testcase:  deSugar/should_compile/T2431  |  Blockedby:
 
  Blocking:|Related:
 
---+
Changes (by simonpj):

  * status:  new => closed
  * testcase:  => deSugar/should_compile/T2431
  * resolution:  => fixed


Comment:

 Here it is:
 {{{
 commit 3671e674757c8f82ec1f0ea9b7c1ed56340b55bc
 Author: Simon Peyton Jones 
 Date:   Fri Jan 4 10:27:38 2013 +

 Allow empty case expressions (and lambda-case) with -XEmptyCase

 The main changes are:
   * Parser accepts empty case alternatives
   * Renamer checks that -XEmptyCase is on in that case
   * (Typechecker is pretty much unchanged.)
   * Desugarer desugars empty case alternatives, esp:
   - Match.matchWrapper and Match.match now accept empty eqns
   - New function matchEmpty deals with the empty case
   - See Note [Empty case alternatives] in Match

 This patch contains most of the work, but it's a bit mixed up
 with a refactoring of MatchGroup that I did at the same time
 (next commit).

  compiler/deSugar/DsExpr.lhs   |   13 +---
  compiler/deSugar/DsUtils.lhs  |2 +-
  compiler/deSugar/Match.lhs|   55
 -
  compiler/deSugar/MatchCon.lhs |3 +-
  compiler/deSugar/MatchLit.lhs |2 +-
  compiler/main/DynFlags.hs |4 ++-
  compiler/parser/Parser.y.pp   |2 +
  compiler/rename/RnBinds.lhs   |   18 ++--
  docs/users_guide/glasgow_exts.xml |   38 +
  9 files changed, 106 insertions(+), 31 deletions(-)
 }}}
 but it also needs the follow up
 {{{
 commit a8941e2a4fe3b000e6c085701e0c015c5316c6ee
 Author: Simon Peyton Jones 
 Date:   Fri Jan 4 10:30:14 2013 +

 Refactor HsExpr.MatchGroup

  * Make MatchGroup into a record, and use the record fields

  * Split the type field into two: mg_arg_tys and mg_res_ty
This makes life much easier for the desugarer when the
case alterantives are empty

 A little bit of this change unavoidably ended up in the preceding
 commit about empty case alternatives

  compiler/deSugar/Coverage.lhs|   12 ++--
  compiler/deSugar/DsArrows.lhs|   13 ++---
  compiler/deSugar/DsExpr.lhs  |8 
  compiler/deSugar/DsGRHSs.lhs |   14 +++---
  compiler/deSugar/DsMeta.hs   |   10 +-
  compiler/hsSyn/HsExpr.lhs|   28 +---
  compiler/hsSyn/HsUtils.lhs   |2 +-
  compiler/parser/RdrHsSyn.lhs |8 
  compiler/rename/RnBinds.lhs  |4 ++--
  compiler/rename/RnExpr.lhs   |2 +-
  compiler/rename/RnTypes.lhs  |2 +-
  compiler/typecheck/TcArrows.lhs  |9 ++---
  compiler/typecheck/TcBinds.lhs   |4 ++--
  compiler/typecheck/TcHsSyn.lhs   |7 ---
  compiler/typecheck/TcMatches.lhs |   14 --
  15 files changed, 70 insertions(+), 67 deletions(-)
 }}}
 and
 {{{
 commit 74d401860d6a28244b9a12fca844fe14a6a04274
 Author: Simon Peyton Jones 
 Date:   Fri Jan 4 10:30:53 2013 +

 Switch on -XEmptyCase when renaming derived declarations

 Compiler-generated code can have empty cases

 >---

  compiler/typecheck/TcDeriv.lhs |4 +++-
  1 files changed, 3 insertions(+), 1 deletions(-)
 }}}

-- 
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] #2132: Optimise nested comparisons

[GHC]

#2132: Optimise nested comparisons
--+-
  Reporter:  simonpj  |  Owner:  
  Type:  bug  | Status:  new 
  Priority:  normal   |  Milestone:  _|_ 
 Component:  Compiler |Version:  6.8.2   
Resolution:   |   Keywords:  
Os:  Unknown/Multiple |   Architecture:  Unknown/Multiple
   Failure:  Runtime performance bug  | Difficulty:  Unknown 
  Testcase:   |  Blockedby:  
  Blocking:   |Related:  
--+-
Changes (by simonpj):

  * priority:  lowest => normal
  * 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] #7378: Identical alts/bad divInt# code

[GHC]

#7378: Identical alts/bad divInt# code
--+-
Reporter:  daniel.is.fischer  |   Owner: 
Type:  bug|  Status:  new
Priority:  normal |   Milestone: 
   Component:  Compiler   | Version:  7.6.1  
Keywords: |  Os:  Unknown/Multiple   
Architecture:  Unknown/Multiple   | Failure:  Runtime performance bug
  Difficulty:  Unknown|Testcase: 
   Blockedby: |Blocking: 
 Related:  7360   |  
--+-
Changes (by simonpj):

  * difficulty:  => Unknown


Comment:

 * The nested comparison thing is covered by #2132.

  * The two identical alternatives should be combined; but they are too big
 for `cheapEqExpr` to combine.   Maybe we should be willing to compare in a
 nested way.

-- 
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] #2132: Optimise nested comparisons

[GHC]

#2132: Optimise nested comparisons
--+-
  Reporter:  simonpj  |  Owner:  
  Type:  bug  | Status:  new 
  Priority:  lowest   |  Milestone:  7.6.2   
 Component:  Compiler |Version:  6.8.2   
Resolution:   |   Keywords:  
Os:  Unknown/Multiple |   Architecture:  Unknown/Multiple
   Failure:  Runtime performance bug  | Difficulty:  Unknown 
  Testcase:   |  Blockedby:  
  Blocking:   |Related:  
--+-
Changes (by simonpj):

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


Comment:

 I'm re-opening this, since it came up again in #7378. I wonder if a very
 simple pass, enabled with -O2, might be worth while.  No overflow magic,
 just simple comparisons.

 Simon

-- 
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