date:20111025

Re: [GHC] #5581: ConstraintKinds lets you put the typechecker into a loop

2011-10-25 Thread GHC

#5581: ConstraintKinds lets you put the typechecker into a loop
+---
Reporter:  pumpkin  |Owner:  batterseapower
Type:  bug  |   Status:  new   
Priority:  normal   |Milestone:
   Component:  Compiler (Type checker)  |  Version:  7.3   
Keywords:  ConstraintKinds  | Testcase:
   Blockedby:   |   Difficulty:
  Os:  Unknown/Multiple | Blocking:
Architecture:  Unknown/Multiple |  Failure:  Compile-time crash
+---
Changes (by simonpj):

  * owner:  = batterseapower


Comment:

 Oops -- thank you for reporting this.

 Max, this is for you.  The two functions `sizeType` and `sizePred` go into
 an infinite loop on a single type variable `(p :: Constraint)`.  Could you
 fix pls?

 While you are at it could you add a `Note` to explain your reasoning:
  * Why convert to a `PredTree` (I think it is only because there might be
 a synonym, and you don't want to count the tuple of the constraints in the
 size).
  * What precisely you are counting and why (move the Paterson condition
 notes from higher up, I suggest, or at least copy the bit about size).

 Thanks!

 Simon

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5581#comment:2
GHC http://www.haskell.org/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] #5581: ConstraintKinds lets you put the typechecker into a loop

2011-10-25 Thread GHC

#5581: ConstraintKinds lets you put the typechecker into a loop
+---
Reporter:  pumpkin  |Owner:  batterseapower
Type:  bug  |   Status:  new   
Priority:  normal   |Milestone:
   Component:  Compiler (Type checker)  |  Version:  7.3   
Keywords:  ConstraintKinds  | Testcase:
   Blockedby:   |   Difficulty:
  Os:  Unknown/Multiple | Blocking:
Architecture:  Unknown/Multiple |  Failure:  Compile-time crash
+---

Comment(by batterseapower@…):

 commit 95d66964bb315f1c500f179ab2da001d8f52e2ac
 {{{
 Author: Max Bolingbroke batterseapo...@hotmail.com
 Date:   Tue Oct 25 10:28:31 2011 +0100

 Fix infinite loop in PredTYpe size checking (#5581)

  compiler/typecheck/TcMType.lhs |   37
 +++--
  1 files changed, 31 insertions(+), 6 deletions(-)
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5581#comment:3
GHC http://www.haskell.org/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] #5581: ConstraintKinds lets you put the typechecker into a loop

2011-10-25 Thread GHC

#5581: ConstraintKinds lets you put the typechecker into a loop
--+-
  Reporter:  pumpkin  |  Owner:  batterseapower  
  Type:  bug  | Status:  closed  
  Priority:  normal   |  Milestone:  
 Component:  Compiler (Type checker)  |Version:  7.3 
Resolution:  fixed|   Keywords:  ConstraintKinds 
  Testcase:   |  Blockedby:  
Difficulty:   | Os:  Unknown/Multiple
  Blocking:   |   Architecture:  Unknown/Multiple
   Failure:  Compile-time crash   |  
--+-
Changes (by batterseapower):

  * status:  new = closed
  * resolution:  = fixed


Comment:

 I've added a test, T5581, in commit
 fbf4be8429efe36984baebd800c31984272db401

 I relaxed the size check for tuple predicates while I was at it.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5581#comment:4
GHC http://www.haskell.org/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] #5266: Licensing requirements and copyright notices

2011-10-25 Thread GHC

#5266: Licensing requirements and copyright notices
--+-
  Reporter:  houeland |  Owner:  
  Type:  feature request  | Status:  new 
  Priority:  normal   |  Milestone:  
 Component:  None |Version:  
Resolution:   |   Keywords:  copyright   
  Testcase:   |  Blockedby:  
Difficulty:   | Os:  Unknown/Multiple
  Blocking:   |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown |  
--+-
Changes (by dtrebbien):

 * cc: dtrebbien@… (added)


-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5266#comment:4
GHC http://www.haskell.org/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] #5564: Panic in ghci name suggestion

2011-10-25 Thread GHC

#5564: Panic in ghci name suggestion
---+
  Reporter:  judahj|  Owner:  simonmar
  Type:  bug   | Status:  closed  
  Priority:  high  |  Milestone:  7.4.1   
 Component:  GHCi  |Version:  7.2.1   
Resolution:  fixed |   Keywords:  
  Testcase:|  Blockedby:  
Difficulty:| Os:  Unknown/Multiple
  Blocking:|   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  |  
---+
Changes (by simonmar):

  * status:  new = closed
  * resolution:  = fixed


-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5564#comment:4
GHC http://www.haskell.org/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] #5582: Panic from -C flag

2011-10-25 Thread GHC

#5582: Panic from -C flag
-+--
Reporter:  mjo   |   Owner:  
Type:  bug   |  Status:  new 
Priority:  normal|   Component:  Compiler
 Version:  7.2.1 |Keywords:  
Testcase:|   Blockedby:  
  Os:  Unknown/Multiple  |Blocking:  
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
-+--
 jumba ~ $ cat hello_world.hs

 {{{
 main = do
   print Hello, World.
 }}}

 jumba ~ $ ghc -C hello_world.hs

 {{{
 addFlag by -C on the commandline:
 Warning: The -fvia-C flag does nothing; it will be removed in a future
 GHC release
 ghc: panic! (the 'impossible' happened)
   (GHC version 7.2.1 for x86_64-unknown-linux):
 pipeLoop: at phase As but I wanted to stop at phase HCc

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

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5582
GHC http://www.haskell.org/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] #2897: HsFFI.h is not in the default include path for hsc2hs

2011-10-25 Thread GHC

#2897: HsFFI.h is not in the default include path for hsc2hs
---+
  Reporter:  cjs   |  Owner:  igloo   
  Type:  bug   | Status:  closed  
  Priority:  highest   |  Milestone:  7.4.1   
 Component:  hsc2hs|Version:  6.10.1  
Resolution:  fixed |   Keywords:  
  Testcase:|  Blockedby:  
Difficulty:  Unknown   | Os:  Unknown/Multiple
  Blocking:|   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  |  
---+
Changes (by igloo):

  * status:  new = closed
  * resolution:  = fixed


Comment:

 Done:
 {{{
 commit 5f3ac5267914cc020c11b148cdbc4356bd6eb02a
 Author: Ian Lynagh ig...@earth.li
 Date:   Tue Oct 25 15:45:36 2011 +0100

 Various hsc2hs improvements

 * Fix GHC trac #2897: Generate a separate utils C file containing
   wrappers for functions like printf. This means template-hsc.h
   doesn't need to includes any headers, so we don't pollute the C
   environment.
   (actually, we still need to include stddef.h).

 * Use runProcess rather than system. It used to try to conditionally
   use runProcess if it was available, but never actually did. Now it
   uses it unconditionally.

 * Some tidying up
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2897#comment:19
GHC http://www.haskell.org/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] #5583: GHC.Stats should use cameCase in its public API

2011-10-25 Thread GHC

#5583: GHC.Stats should use cameCase in its public API
-+--
Reporter:  tibbe |   Owner:
Type:  bug   |  Status:  patch 
Priority:  normal|   Component:  libraries/base
 Version:  7.2.1 |Keywords:
Testcase:|   Blockedby:
  Os:  Unknown/Multiple  |Blocking:
Architecture:  Unknown/Multiple  | Failure:  Other 
-+--
Changes (by tibbe):

  * status:  new = patch


-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5583#comment:1
GHC http://www.haskell.org/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] #5583: GHC.Stats should use cameCase in its public API

2011-10-25 Thread GHC

#5583: GHC.Stats should use cameCase in its public API
-+--
Reporter:  tibbe |   Owner:
Type:  bug   |  Status:  patch 
Priority:  normal|   Component:  libraries/base
 Version:  7.2.1 |Keywords:
Testcase:|   Blockedby:
  Os:  Unknown/Multiple  |Blocking:
Architecture:  Unknown/Multiple  | Failure:  Other 
-+--

Comment(by ezyang):

 Sounds reasonable.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5583#comment:2
GHC http://www.haskell.org/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] #5583: GHC.Stats should use cameCase in its public API

2011-10-25 Thread GHC

#5583: GHC.Stats should use cameCase in its public API
+---
 Reporter:  tibbe   |  Owner:  
 Type:  bug | Status:  closed  
 Priority:  normal  |  Component:  libraries/base  
  Version:  7.2.1   | Resolution:  fixed   
 Keywords:  |   Testcase:  
Blockedby:  | Os:  Unknown/Multiple
 Blocking:  |   Architecture:  Unknown/Multiple
  Failure:  Other   |  
+---
Changes (by tibbe):

  * status:  patch = closed
  * resolution:  = fixed


Comment:

 Submitted as 41138fd97a9944850b79488196b617597a0fe0c4

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5583#comment:3
GHC http://www.haskell.org/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] #5583: GHC.Stats should use cameCase in its public API

2011-10-25 Thread GHC

#5583: GHC.Stats should use cameCase in its public API
+---
 Reporter:  tibbe   |  Owner:  
 Type:  bug | Status:  closed  
 Priority:  normal  |  Component:  libraries/base  
  Version:  7.2.1   | Resolution:  fixed   
 Keywords:  |   Testcase:  
Blockedby:  | Os:  Unknown/Multiple
 Blocking:  |   Architecture:  Unknown/Multiple
  Failure:  Other   |  
+---

Comment(by tibbe):

 {{{
 commit 41138fd97a9944850b79488196b617597a0fe0c4
 Author: Johan Tibell johan.tib...@gmail.com
 Date:   Tue Oct 25 17:12:06 2011 -0700

 GHC.Stats: Use camelCase in public APIs
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5583#comment:4
GHC http://www.haskell.org/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] #5581: ConstraintKinds lets you put the typechecker into a loop

Re: [GHC] #5581: ConstraintKinds lets you put the typechecker into a loop

Re: [GHC] #5581: ConstraintKinds lets you put the typechecker into a loop

Re: [GHC] #5266: Licensing requirements and copyright notices

Re: [GHC] #5564: Panic in ghci name suggestion

[GHC] #5582: Panic from -C flag

Re: [GHC] #2897: HsFFI.h is not in the default include path for hsc2hs

Re: [GHC] #5583: GHC.Stats should use cameCase in its public API

Re: [GHC] #5583: GHC.Stats should use cameCase in its public API

Re: [GHC] #5583: GHC.Stats should use cameCase in its public API

Re: [GHC] #5583: GHC.Stats should use cameCase in its public API

11 matches

Site Navigation

Mail list logo

Footer information