date:20121207

Re: [GHC] #7445: template-haskell : need a good error message instead of just an unexplained panic

2012-12-07 Thread GHC

#7445: template-haskell : need a good error message instead of just an 
unexplained
panic
-+--
  Reporter:  erikd   |  Owner:  
  Type:  bug | Status:  closed  
  Priority:  normal  |  Milestone:  
 Component:  Template Haskell|Version:  7.7 
Resolution:  fixed   |   Keywords:  
Os:  Unknown/Multiple|   Architecture:  Unknown/Multiple
   Failure:  Compile-time crash  | Difficulty:  Unknown 
  Testcase:  th/T7445|  Blockedby:  
  Blocking:  |Related:  
-+--
Changes (by igloo):

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


Comment:

 Merged as 1183080b1b45dbcaa6af1154e2e668f924598772

-- 
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] #7478: setSessionDynFlags does not always work

2012-12-07 Thread GHC

#7478: setSessionDynFlags does not always work
---+
  Reporter:  edsko |  Owner:  simonmar
  Type:  bug   | Status:  closed  
  Priority:  normal|  Milestone:  7.6.2   
 Component:  Compiler  |Version:  7.6.1   
Resolution:  fixed |   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:  ghc-api/T7478 |  Blockedby:  
  Blocking:|Related:  
---+
Changes (by igloo):

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


Comment:

 Merged as 16ba75714cc22aeb86425679ad24b996a2b30fea

-- 
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] #7471: Documentation bug: hs_init is incorrectly called in the example

2012-12-07 Thread GHC

#7471: Documentation bug: hs_init is incorrectly called in the example
+---
  Reporter:  dsign  |  Owner:  simonmar
  Type:  bug| Status:  closed  
  Priority:  normal |  Milestone:  7.6.2   
 Component:  Documentation  |Version:  
Resolution:  fixed  |   Keywords:  
Os:  Unknown/Multiple   |   Architecture:  Unknown/Multiple
   Failure:  Documentation bug  | Difficulty:  Unknown 
  Testcase: |  Blockedby:  
  Blocking: |Related:  
+---
Changes (by igloo):

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


Comment:

 Merged as 723570dab0384e295ced98089703060fce52e616

-- 
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] #7320: GHC crashes when building on 32-bit Linux in a Linode

2012-12-07 Thread GHC

#7320: GHC crashes when building on 32-bit Linux in a Linode
---+
Reporter:  benl|   Owner:  simonmar  
Type:  bug |  Status:  new   
Priority:  high|   Milestone:  7.6.2 
   Component:  Runtime System  | Version:  7.6.1 
Keywords:  |  Os:  Linux 
Architecture:  x86 | Failure:  Compile-time crash
  Difficulty:  Unknown |Testcase:
   Blockedby:  |Blocking:
 Related:  |  
---+

Comment(by Irene):

 Of course.  Let me know your public ssh key and preferred username.  (The
 box is key-only, no passwords.). Either reply here, or email to irene dot
 knapp squiggle icloud dot com.  I'll make sure you have a gig or so of
 disk space to work in.

-- 
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] #7488: Promotion of newtypes

2012-12-07 Thread GHC

#7488: Promotion of newtypes
-+--
Reporter:  dreixel   |  Owner:  
Type:  bug   | Status:  new 
Priority:  normal|  Component:  Compiler
 Version:  7.7   |   Keywords:  
  Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
 Failure:  None/Unknown  |  Blockedby:  
Blocking:|Related:  
-+--
Changes (by goldfire):

 * cc: eir@… (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

[GHC] #7488: Promotion of newtypes

2012-12-07 Thread GHC

#7488: Promotion of newtypes
-+--
Reporter:  dreixel   |  Owner:  
Type:  bug   | Status:  new 
Priority:  normal|  Component:  Compiler
 Version:  7.7   |   Keywords:  
  Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
 Failure:  None/Unknown  |  Blockedby:  
Blocking:|Related:  
-+--
 {{{
 {-# LANGUAGE DataKinds  #-}
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE GADTs  #-}

 newtype A = A Int
 data B (x :: A)
 }}}

 The program above raises the error: `A of kind * is not promotable`. The
 program compiles fine if we declare `A` using `data` instead of `newtype`.
 Is there a good reason to prevent promotion of newtypes?

-- 
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] #7463: [PATCH] When -keep-hc-files is enabled, foreign stubs *_stub.c should also be kept.

2012-12-07 Thread GHC

#7463: [PATCH] When -keep-hc-files is enabled, foreign stubs *_stub.c should 
also
be kept.
-+--
Reporter:  PHO   |   Owner:  
Type:  bug   |  Status:  infoneeded  
Priority:  normal|   Milestone:  
   Component:  Compiler  | Version:  7.6.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  Other   
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  3472
 Related:|  
-+--

Comment(by PHO):

 I am the current maintainer of [http://pkgsrc.se/wip/ghc pkgsrc-wip/ghc].
 I've been regularly booting GHC via C sources because [http://pkgsrc.org/
 pkgsrc] packages are supposed to bootstrap solely with a C compiler, just
 like FreeBSD Ports and Gentoo Portage. That way we could avoid annoying
 problems like binaries depending on an incompatible libc.

 On the other hand, I know very well that supporting HC bootstrap
 complicates the entire GHC system unacceptably. So if you stop supporting
 that, I'll switch to binary bootstrapping anyway.

-- 
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] #7478: setSessionDynFlags does not always work

2012-12-07 Thread GHC

#7478: setSessionDynFlags does not always work
-+--
Reporter:  edsko |   Owner:  simonmar
Type:  bug   |  Status:  merge   
Priority:  normal|   Milestone:  7.6.2   
   Component:  Compiler  | Version:  7.6.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  ghc-api/T7478   
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by simonmar):

  * status:  new => merge
  * testcase:  => ghc-api/T7478


-- 
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] #7478: setSessionDynFlags does not always work

2012-12-07 Thread GHC

#7478: setSessionDynFlags does not always work
-+--
Reporter:  edsko |   Owner:  simonmar
Type:  bug   |  Status:  new 
Priority:  normal|   Milestone:  7.6.2   
   Component:  Compiler  | Version:  7.6.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by marlowsd@…):

 commit 27770ae5c5ebd16d9f6cc4574e0f75c395e12720
 {{{
 Author: Simon Marlow 
 Date:   Fri Dec 7 12:05:29 2012 +

 Invalidate the ModSummary cache in setSessionDynFlags (#7478)

  compiler/main/GHC.hs |   27 +++
  1 files changed, 27 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] #7320: GHC crashes when building on 32-bit Linux in a Linode

2012-12-07 Thread GHC

#7320: GHC crashes when building on 32-bit Linux in a Linode
---+
Reporter:  benl|   Owner:  simonmar  
Type:  bug |  Status:  new   
Priority:  high|   Milestone:  7.6.2 
   Component:  Runtime System  | Version:  7.6.1 
Keywords:  |  Os:  Linux 
Architecture:  x86 | Failure:  Compile-time crash
  Difficulty:  Unknown |Testcase:
   Blockedby:  |Blocking:
 Related:  |  
---+

Comment(by simonmar):

 I'll need to debug this. Can you set me up with an account on your linode?

-- 
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] #7445: template-haskell : need a good error message instead of just an unexplained panic

2012-12-07 Thread GHC

#7445: template-haskell : need a good error message instead of just an 
unexplained
panic
-+--
Reporter:  erikd |   Owner:
Type:  bug   |  Status:  merge 
Priority:  normal|   Milestone:
   Component:  Template Haskell  | Version:  7.7   
Keywords:|  Os:  Unknown/Multiple  
Architecture:  Unknown/Multiple  | Failure:  Compile-time crash
  Difficulty:  Unknown   |Testcase:  th/T7445  
   Blockedby:|Blocking:
 Related:|  
-+--
Changes (by simonpj):

  * status:  new => merge
  * difficulty:  => Unknown
  * testcase:  => th/T7445


-- 
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] #7471: Documentation bug: hs_init is incorrectly called in the example

2012-12-07 Thread GHC

#7471: Documentation bug: hs_init is incorrectly called in the example
-+--
Reporter:  dsign |   Owner:  simonmar 
Type:  bug   |  Status:  merge
Priority:  normal|   Milestone:  7.6.2
   Component:  Documentation | Version:   
Keywords:|  Os:  Unknown/Multiple 
Architecture:  Unknown/Multiple  | Failure:  Documentation bug
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--
Changes (by simonmar):

  * status:  new => merge


-- 
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] #7471: Documentation bug: hs_init is incorrectly called in the example

2012-12-07 Thread GHC

#7471: Documentation bug: hs_init is incorrectly called in the example
-+--
Reporter:  dsign |   Owner:  simonmar 
Type:  bug   |  Status:  new  
Priority:  normal|   Milestone:  7.6.2
   Component:  Documentation | Version:   
Keywords:|  Os:  Unknown/Multiple 
Architecture:  Unknown/Multiple  | Failure:  Documentation bug
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--

Comment(by marlowsd@…):

 commit 250f02687eb6dc56394f1c6e9c4cc0aaa34b
 {{{
 Author: Simon Marlow 
 Date:   Fri Dec 7 10:35:40 2012 +

 fix code in library initialisation example (#7471)

  docs/users_guide/ffi-chap.xml |   28 
  1 files changed, 16 insertions(+), 12 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] #7478: setSessionDynFlags does not always work

2012-12-07 Thread GHC

#7478: setSessionDynFlags does not always work
-+--
Reporter:  edsko |   Owner:  simonmar
Type:  bug   |  Status:  new 
Priority:  normal|   Milestone:  7.6.2   
   Component:  Compiler  | Version:  7.6.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by simonmar):

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


Comment:

 You're getting the `DynFlags` from the cached `ModSummary`.  I think
 there's an easy fix: we should discard the cache in `setSessionDynFlags`.

-- 
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] #7471: Documentation bug: hs_init is incorrectly called in the example

2012-12-07 Thread GHC

#7471: Documentation bug: hs_init is incorrectly called in the example
-+--
Reporter:  dsign |   Owner:  simonmar 
Type:  bug   |  Status:  new  
Priority:  normal|   Milestone:  7.6.2
   Component:  Documentation | Version:   
Keywords:|  Os:  Unknown/Multiple 
Architecture:  Unknown/Multiple  | Failure:  Documentation bug
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--
Changes (by simonmar):

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


Comment:

 Thanks, I'll fix that.

-- 
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] #7470: Patch to enable GHC runtime system with thr_debug_p options...

2012-12-07 Thread GHC

#7470: Patch to enable GHC runtime system with thr_debug_p options...
--+-
Reporter:  MichalGajda|   Owner:  
Type:  bug|  Status:  new 
Priority:  normal |   Milestone:  
   Component:  Build System   | Version:  7.4.2   
Keywords:  RTS, BuildOptions  |  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple   | Failure:  None/Unknown
  Difficulty:  Unknown|Testcase:  
   Blockedby: |Blocking:  
 Related: |  
--+-
Changes (by simonmar):

  * difficulty:  => Unknown


Comment:

 I'm interested - why is `thr_debug_p` important for you?

 Note that `thr_debug` is already enabled, a few lines below your patch.

-- 
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] #5682: Properly parse kind operators (from promoted type operators)

2012-12-07 Thread GHC

#5682: Properly parse kind operators (from promoted type operators)
-+--
Reporter:  lunaris   |   Owner:  dreixel  
Type:  bug   |  Status:  new  
Priority:  low   |   Milestone:  7.6.2
   Component:  Compiler  | Version:  7.3  
Keywords:  PolyKinds, ghc-kinds  |  Os:  Unknown/Multiple 
Architecture:  Unknown/Multiple  | Failure:  GHC rejects valid program
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--

Comment(by dreixel):

 Replying to [comment:5 goldfire]:
 > generally {{{'}}} is not applied to kinds.

 Oh, yes, that's true. I think only `Sum0` should parse, in fact.

-- 
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] #7485: Tuple constraints not properly kinded

2012-12-07 Thread GHC

#7485: Tuple constraints not properly kinded
---+
  Reporter:  goldfire  |  Owner:  
  Type:  bug   | Status:  closed  
  Priority:  normal|  Milestone:  
 Component:  Compiler  |Version:  7.7 
Resolution:  invalid   |   Keywords:  ConstraintKinds 
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  
---+
Changes (by simonpj):

  * status:  new => closed
  * difficulty:  => Unknown
  * resolution:  => invalid


Comment:

 I think that is as expected. In the source language at least, `*` and
 `Constraint` are distict kinds.  So `(,)` has to have a particular kind,
 and it's `* -> * -> *`.  However the distfix syntax version `(a,b)` has
 special treatment so that we can use the same syntax for type tuples and
 constraint tuples.

 It's not dissimilar to `(->)`. You can write `Int# -> Int`, but `(->)` as
 a separate type constructor has the more restrictive kind `(->) :: * -> *
 -> *`.

 I'm open to improvements.  And/or suggested documentation.

-- 
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] #7487: Deriving Generic1 for a type containing Either

2012-12-07 Thread GHC

#7487: Deriving Generic1 for a type containing Either
-+--
Reporter:  spl   |  Owner:  dreixel 
Type:  bug   | Status:  new 
Priority:  normal|  Component:  Compiler
 Version:  7.7   |   Keywords:  
  Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
 Failure:  None/Unknown  |  Blockedby:  
Blocking:|Related:  
-+--
Changes (by dreixel):

  * version:  7.6.1 => 7.7


Comment:

 Thanks for the report. Those error messages are wrong, and the deriving
 mechanism should just generate an instance for those types. I'll look into
 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] #7445: template-haskell : need a good error message instead of just an unexplained panic

Re: [GHC] #7478: setSessionDynFlags does not always work

Re: [GHC] #7471: Documentation bug: hs_init is incorrectly called in the example

Re: [GHC] #7320: GHC crashes when building on 32-bit Linux in a Linode

Re: [GHC] #7488: Promotion of newtypes

[GHC] #7488: Promotion of newtypes

Re: [GHC] #7463: [PATCH] When -keep-hc-files is enabled, foreign stubs *_stub.c should also be kept.

Re: [GHC] #7478: setSessionDynFlags does not always work

Re: [GHC] #7478: setSessionDynFlags does not always work

Re: [GHC] #7320: GHC crashes when building on 32-bit Linux in a Linode

Re: [GHC] #7445: template-haskell : need a good error message instead of just an unexplained panic

Re: [GHC] #7471: Documentation bug: hs_init is incorrectly called in the example

Re: [GHC] #7471: Documentation bug: hs_init is incorrectly called in the example

Re: [GHC] #7478: setSessionDynFlags does not always work

Re: [GHC] #7471: Documentation bug: hs_init is incorrectly called in the example

Re: [GHC] #7470: Patch to enable GHC runtime system with thr_debug_p options...

Re: [GHC] #5682: Properly parse kind operators (from promoted type operators)

Re: [GHC] #7485: Tuple constraints not properly kinded

Re: [GHC] #7487: Deriving Generic1 for a type containing Either

19 matches

Site Navigation

Mail list logo

Footer information