Re: [GHC] #7136: fix for os x package builder script

[GHC]

#7136: fix for os x package builder script
--+-
  Reporter:  carter   |  Owner:
  Type:  bug  | Status:  new   
  Priority:  normal   |  Milestone:  7.6.1 
 Component:  Build System |Version:  7.6.1 
Resolution:   |   Keywords:
Os:  MacOS X  |   Architecture:  x86_64 (amd64)
   Failure:  Building GHC failed  | Difficulty:  Unknown   
  Testcase:   |  Blockedby:
  Blocking:   |Related:
--+-
Changes (by carter):

  * status:  closed => new
  * version:  7.5 => 7.6.1
  * resolution:  wontfix =>


Comment:

 reopening to get the updated mkinstaller script (attached) merged in.

 I'll do the same with the haskell platform build folks, it looks like its
 (essentially) the exact same script, so it makes
 sense to update things on both sides

-- 
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] #6084: Add stg_ap_pnnv and related call patterns

[GHC]

#6084: Add stg_ap_pnnv and related call patterns
-+--
Reporter:  SimonMeier|   Owner:  simonmar
Type:  feature request   |  Status:  new 
Priority:  normal|   Milestone:  7.8.1   
   Component:  Runtime System| Version:  7.4.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by SimonMeier):

 @igloo: I have implemented the unboxed continuation calls in the past and
 I was astonished that they were slower than the boxed versions. I didn't
 know enough about the RTS at that time to understand whats going on. Once
 I read the eval/apply paper and the corresponding GHC sources the slowdown
 was however no longer surprising. Currently, unknown calls to IO functions
 with unboxed arguments are expensive because the 'apply' is executed in a
 one by one fashion. This feature request would change that.

 The change only improves unknown calls with unboxed arguments and a final
 void argument. Attoparsec does not profit, as it does not require side-
 effects. The binary builder could profit, but in its current form it would
 additipnally require the stg_ap_pnnnv and stg_ap_nnnv call patterns.

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

[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):

 It looks like you can still trigger a segfault if you bind the quotation
 to an identifier while coercing its type and then splicing the quotation,
 e.g.

 {{{
 :set -fdefer-type-errors
 :set -XTemplateHaskell

 import Language.Haskell.TH

 let x = [d|a = ()|] :: Q Exp
 :t $x
 }}}

 The patch also makes GHC too aggressive than it should be with respect to
 type errors within declaration quotations. For example the type error in
 `$([d|a = () ()|])` could be deferred but after this patch it becomes an
 eager type error. Likewise, you can no longer do e.g. `:t $([|() ()|])`
 within GHCi to view the type of a malformed expression quotation.

-- 
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] #6063: GHC's build-time ld-flag checks are problematic

[GHC]

#6063: GHC's build-time ld-flag checks are problematic
-+--
Reporter:  parcs |   Owner: 
Type:  bug   |  Status:  new
Priority:  normal|   Milestone:  7.8.1  
   Component:  Compiler  | Version:  7.4.1  
Keywords:|  Os:  Linux  
Architecture:  Unknown/Multiple  | Failure:  GHC doesn't work at all
  Difficulty:  Unknown   |Testcase: 
   Blockedby:|Blocking: 
 Related:  #4862 |  
-+--

Comment(by parcs):

 Replying to [comment:4 igloo]:
 > The linker flags are detected when a bindist is installed, not when it
 is built, so they should match the machine that GHC is run on.
 >
 > Should we check what flags the linker supports every time ghc is run?

 Yeah, that sounds like a reasonable solution. The system linker may change
 after GHC is installed, and doing so shouldn't result in a non-functioning
 GHC installation.

-- 
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] #7309: The Ix instance for (,) leaks space in range

[GHC]

#7309: The Ix instance for (,) leaks space in range
--+-
Reporter:  nomeata|   Owner: 
Type:  bug|  Status:  new
Priority:  normal |   Milestone: 
   Component:  libraries (other)  | Version:  7.6.1  
Keywords: |  Os:  Unknown/Multiple   
Architecture:  Unknown/Multiple   | Failure:  Runtime performance bug
  Difficulty:  Unknown|Testcase: 
   Blockedby: |Blocking: 
 Related: |  
--+-
Changes (by carter):

 * cc: carter.schonwald@… (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] #7206: Implement cheap build

[GHC]

#7206: Implement cheap build
-+--
Reporter:  simonpj   |   Owner:  
Type:  bug   |  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 carter):

 * cc: carter.schonwald@… (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] #7318: CONLIKE pragma documentation bug

[GHC]

#7318: CONLIKE pragma documentation bug
---+
 Reporter:  acowley|  Owner:  
 Type:  bug| Status:  new 
 Priority:  normal |  Component:  Documentation   
  Version:  7.6.1  |   Keywords:  
   Os:  Unknown/Multiple   |   Architecture:  Unknown/Multiple
  Failure:  Documentation bug  |   Testcase:  
Blockedby: |   Blocking:  
  Related: |  
---+
 The documentation [http://www.haskell.org/ghc/docs/7.6.1/html/users_guide
 /rewrite-rules.html example],
 {{{
 {-# INLINE[1] CONLIKE f #-}
 f x = blah
 }}}
 results in a parse error in 7.6.1, but is accepted if the pragma is
 instead written as
 {{{
 {-# INLINE CONLIKE [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] #7317: Segmentation fault in RTS' STM code on git master

[GHC]

#7317: Segmentation fault in RTS' STM code on git master
--+-
 Reporter:  bgamari   |  Owner:  
 Type:  bug   | Status:  new 
 Priority:  normal|  Component:  Runtime System  
  Version:  7.7   |   Keywords:  rts, stm, segv  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  None/Unknown  |   Testcase:  
Blockedby:|   Blocking:  
  Related:|  
--+-

Comment(by bgamari):

 The following should work,

 '''links'''
 {{{
 1 2
 1 3
 }}}

 '''texts'''
 {{{
 1 this is a small node
 2 this is a larger node with more items
 3 this has items
 }}}

-- 
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] #6022: GHC infers over-general types

[GHC]

#6022: GHC infers over-general types
-+--
Reporter:  simonpj   |   Owner:  
Type:  bug   |  Status:  new 
Priority:  high  |   Milestone:  7.6.2   
   Component:  Compiler  | Version:  7.4.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by carter):

 fixed the formatting

 Prelude> let g x = (+) x $ head
 Prelude> :t g

  g :: Num ([a] -> a) => ([a] -> a) -> [a] -> a

 Prelude> let h x y = x + head y

 Prelude> :t h

 h : Num a => a -> [a] -> a

 Prelude> let q x = (x +) . head

 Prelude> :t q

  q : Num c => c -> [c] -> c

-- 
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] #6022: GHC infers over-general types

[GHC]

#6022: GHC infers over-general types
-+--
Reporter:  simonpj   |   Owner:  
Type:  bug   |  Status:  new 
Priority:  high  |   Milestone:  7.6.2   
   Component:  Compiler  | Version:  7.4.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by carter):

 While this is likely wrong code, it is perfectly reasonable to have vector
 function num instances! (its not overly general, its just not
 pedagogically helpful for new people starting in haskell)

 eg   given Num a ,  the instance  Num (Vector a -> a), has a perfectly
 natural (and useful) definition. and thus a Num instance for [a]-> a is
 reasonable too!

 however, maybe an alternative approach would be add a suppressable warning
 for when a type class constraint is used which has no known instances?

 here are example "similar ways" to write the same function, and their
 respective types, in ghci 7.6.1


 Prelude> let g x = (+) x  $ head
 Prelude> :t g
 g :: Num ([a] -> a) => ([a] -> a) -> [a] -> a

 Prelude> let h x y = x + head y
 Prelude> :t h
 h :: Num a => a -> [a] -> a

 Prelude> let q x = (x +) . head
 Prelude> :t q
 q :: Num c => c -> [c] -> c

 so it seems that the core of the issue in the case of the bad example in
 this ticket  is a syntactical one of making the intended composition.
 Likewise, I think this isn't a bug, the type checker is giving a type that
 the user can look at and see is "wrong" for their code!

 i think rejecting code with that Num instance constraint would be bad.
 Unless someone has a counter point, I think this issue should be closed.

-- 
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] #7263: Add derived Show instances to GHC.Generics

[GHC]

#7263: Add derived Show instances to GHC.Generics
--+-
 Reporter:  dag   |  Owner:  dreixel 
 Type:  feature request   | Status:  new 
 Priority:  normal|  Component:  GHC API 
  Version:  7.7   |   Keywords:  generics
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  None/Unknown  |   Testcase:  
Blockedby:|   Blocking:  
  Related:|  
--+-

Comment(by spl):

 When I was working on EMGM, I found it useful to have `Read`, `Show`,
 `Eq`, and `Ord`. I'm playing with `generic-deriving`, and I just
 discovered that there is no `Ord` instance. This is convenient to have for
 `U1`.

-- 
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] #7317: Segmentation fault in RTS' STM code on git master

[GHC]

#7317: Segmentation fault in RTS' STM code on git master
--+-
 Reporter:  bgamari   |  Owner:  
 Type:  bug   | Status:  new 
 Priority:  normal|  Component:  Runtime System  
  Version:  7.7   |   Keywords:  rts, stm, segv  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  None/Unknown  |   Testcase:  
Blockedby:|   Blocking:  
  Related:|  
--+-

Comment(by fryguybob):

 Are the files `texts` and `links` available for reproducing the issue?

-- 
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] #7195: Add edit warning to Parser.y.pp

[GHC]

#7195: Add edit warning to Parser.y.pp
---+
  Reporter:  nomeata   |  Owner:  
  Type:  feature request   | Status:  closed  
  Priority:  normal|  Milestone:  
 Component:  Build System  |Version:  7.7 
Resolution:  fixed |   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  
---+
Changes (by igloo):

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


Comment:

 Thanks for the report. I've put the generated file elsewhere, so this
 won't happen in future.

-- 
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] #7262: directory 1.2 fails to build with base < 4.6

[GHC]

#7262: directory 1.2 fails to build with base < 4.6
--+-
  Reporter:  sopvop   |  Owner:  igloo   
  Type:  bug  | Status:  closed  
  Priority:  high |  Milestone:  7.6.2   
 Component:  libraries/directory  |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:  patch => closed
  * resolution:  => fixed


Comment:

 Thanks for the patch; I've applied it and uploaded 1.2.0.1 to Hackage.

-- 
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] #7233: Int64 division buggy on a 32-bit installation

[GHC]

#7233: Int64 division buggy on a 32-bit installation
-+--
Reporter:  lerkok|   Owner:  
Type:  bug   |  Status:  new 
Priority:  highest   |   Milestone:  7.6.2   
   Component:  libraries/base| Version:  7.6.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by mikhail.vorozhtsov):

 * cc: mikhail.vorozhtsov@… (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] #5467: Template Haskell: support for Haddock comments

[GHC]

#5467: Template Haskell: support for Haddock comments
-+--
Reporter:  reinerp   |   Owner:  
Type:  feature request   |  Status:  new 
Priority:  normal|   Milestone:  7.6.2   
   Component:  Template Haskell  | Version:  7.2.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:|Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by TimBaumann):

 I've got a [https://github.com/timjb/google-apis project] that would
 benefit from this feature. Google's
 [https://developers.google.com/discovery/ API discovery service] publishes
 machine-readable documentation for many Google APIs. I'm using this
 documentation to generate Haskell code for using these APIs. Google's JSON
 based documentation also contains human-readable descriptions of the data-
 structures and API calls. I want to include these descriptions as Haddock
 comments in the generated code.

 My [https://github.com/timjb/aeson-
 
schema/blob/b2099625e1cf1ea90c52bc78933cebd430f399d9/src/Data/Aeson/Schema/CodeGenM.hs
 current approach] is to have a representation of declarations based on
 Template Haskell that also includes an optional textual representation
 (with comments). I can then use the generated code as a TH splice or I can
 generate a Haskell source file (by using the pretty-printer in
 Language.Haskell.TH.Ppr) when I want to have Haddock comments. This
 approach is pretty hacky and the generated code could easily break when a
 new version of a core library is released.

-- 
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] #7312: panic! applytTypeToArgs with non-infix function type constructor

[GHC]

#7312: panic! applytTypeToArgs with non-infix function type constructor
+---
Reporter:  jwlato   |   Owner:  simonpj   
Type:  bug  |  Status:  new   
Priority:  normal   |   Milestone:
   Component:  Compiler (Type checker)  | Version:  7.6.1 
Keywords:   |  Os:  Unknown/Multiple  
Architecture:  Unknown/Multiple | Failure:  Compile-time crash
  Difficulty:  Unknown  |Testcase:
   Blockedby:   |Blocking:
 Related:   |  
+---
Changes (by simonpj):

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


Comment:

 Embarrassing but happily easy to fix. I need to validate first though.

 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

Re: [GHC] #7312: panic! applytTypeToArgs with non-infix function type constructor

[GHC]

#7312: panic! applytTypeToArgs with non-infix function type constructor
+---
 Reporter:  jwlato  |  Owner: 
 Type:  bug | Status:  new
 Priority:  normal  |  Component:  Compiler (Type checker)
  Version:  7.6.1   |   Keywords: 
   Os:  Unknown/Multiple|   Architecture:  Unknown/Multiple   
  Failure:  Compile-time crash  |   Testcase: 
Blockedby:  |   Blocking: 
  Related:  |  
+---
Changes (by liyang):

  * failure:  None/Unknown => Compile-time crash


-- 
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] #7312: panic! applytTypeToArgs with non-infix function type constructor

[GHC]

#7312: panic! applytTypeToArgs with non-infix function type constructor
--+-
 Reporter:  jwlato|  Owner: 
 Type:  bug   | Status:  new
 Priority:  normal|  Component:  Compiler (Type checker)
  Version:  7.6.1 |   Keywords: 
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple   
  Failure:  None/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