November 2014 - ghc-tickets

Re: [GHC] #1476: Template Haskell: splicing types and patterns
by GHC 21 Nov '14

21 Nov '14

#1476: Template Haskell: splicing types and patterns -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: patch Priority: low | Milestone: 7.10.1 Component: Template | Version: 6.6.1 Haskell | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D433 | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"2346de44330a4309b840e26ddd1ded23f92c6f81/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="2346de44330a4309b840e26ddd1ded23f92c6f81" Fix #1476 by making splice patterns work. Unfortunately, splice patterns in brackets still do not work because we don't run splices in brackets. Without running a pattern splice, we can't know what variables it binds, so we're stuck. This is still a substantial improvement, and it may be the best we can do. Still must document new behavior. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1476#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7484: Template Haskell allows building invalid record fields/names
by GHC 21 Nov '14

21 Nov '14

#7484: Template Haskell allows building invalid record fields/names -------------------------------------+------------------------------------- Reporter: iustin | Owner: Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: Template | Version: 7.6.1 Haskell | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #8750 None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D431 | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"1b22d9f288cbf819be90ec42b254fb1b67dded2d/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="1b22d9f288cbf819be90ec42b254fb1b67dded2d" Release notes for #1476, #7484. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7484#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1476: Template Haskell: splicing types and patterns
by GHC 21 Nov '14

21 Nov '14

#1476: Template Haskell: splicing types and patterns -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: patch Priority: low | Milestone: 7.10.1 Component: Template | Version: 6.6.1 Haskell | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D433 | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"1b22d9f288cbf819be90ec42b254fb1b67dded2d/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="1b22d9f288cbf819be90ec42b254fb1b67dded2d" Release notes for #1476, #7484. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1476#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8149: GHC should warn about redundant import of a type name also if one of its record selectors is imported
by GHC 21 Nov '14

21 Nov '14

#8149: GHC should warn about redundant import of a type name also if one of its record selectors is imported ------------------------------------+------------------------------------- Reporter: Lemming | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Sorry, I have another corner case for a redundant import warning: {{{ module Main where import Control.Monad.Trans.Writer (WriterT, runWriterT) main :: IO () main = undefined runWriterT }}} This module will not provoke a warning, although the import of WriterT can be omitted. I assume this is because runWriterT is a record selector of WriterT and could (or should?) be imported as: {{{ import Control.Monad.Trans.Writer (WriterT(runWriterT)) }}} Since I used runWriterT like a regular function I did not care about its record selector feature. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8149> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #9815: Runtime error with RecordWildCards and a non-record constructor
by GHC 21 Nov '14

21 Nov '14

#9815: Runtime error with RecordWildCards and a non-record constructor -------------------------------------+------------------------------------- Reporter: akio | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: RecordWildCards, | Operating System: warning | Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: GHC Difficulty: Unknown | accepts invalid program Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- The following program is accepted with no warning, and crashes at runtime with an error: {{{#!hs {-# LANGUAGE RecordWildCards #-} newtype N = N Int deriving (Show) main = print N{..} }}} {{{ % runghc wildcards.hs wildcards.hs: wildcards.hs:4:14-18: Missing field in record construction }}} I find this behavior surprising. Would it be better to either disallow it or have `-fwarn-missing-fields` warn it? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9815> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #7220: Confusing error message in type checking related to type family, fundep, and higher-rank type
by GHC 21 Nov '14

21 Nov '14

#7220: Confusing error message in type checking related to type family, fundep, and higher-rank type -------------------------------------+------------------------------------- Reporter: tsuyoshi | Owner: simonpj Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.1-rc1 (Type checker) | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | typecheck/should_fail/T7220 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"7b1a8562d9b92547251d0dff23bb3a2de25d4b6f/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="7b1a8562d9b92547251d0dff23bb3a2de25d4b6f" Fix up tests for Trac #7220; the old test really was ambiguous }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7220#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9222: Unexpected DataKind Panic
by GHC 21 Nov '14

21 Nov '14

#9222: Unexpected DataKind Panic -------------------------------------------+------------------------------- Reporter: ekmett | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- Here's a simplified version of a panic I'm getting: {{{ {-# LANGUAGE RankNTypes, GADTs, DataKinds, PolyKinds, TypeOperators, TypeFamilies #-} import Data.Proxy data Want :: (i,j) -> * where Want :: (a ~ '(b,c) => Proxy b) -> Want a }}} {{{ GHCi, version 7.8.2: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. ghc: panic! (the 'impossible' happened) (GHC version 7.8.2 for x86_64-apple-darwin): tcTyVarDetails k{tv aAv} [tv] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9222> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #3650: Add a Natural number type to the pre-defined basic types.
by GHC 21 Nov '14

21 Nov '14

#3650: Add a Natural number type to the pre-defined basic types. -------------------------------------+------------------------------------- Reporter: JohnD | Owner: Type: proposal | Status: closed Priority: normal | Milestone: Component: Compiler | Version: (Type checker) | Keywords: Resolution: wontfix | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #9818 None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by hvr): * difficulty: => Unknown * related: => #9818 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3650#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7942: aarch64 support in ghc
by GHC 21 Nov '14

21 Nov '14

#7942: aarch64 support in ghc -------------------------------------+------------------------------------- Reporter: jcapik | Owner: Type: bug | Status: patch Priority: high | Milestone: 7.10.1 Component: Compiler | Version: Resolution: | Keywords: Operating System: Linux | Architecture: arm Type of failure: GHC | Difficulty: Unknown doesn't work at all | Blocked By: Test Case: | Related Tickets: 7623, 8664 Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by lukexi): * status: new => patch -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7942#comment:55> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7942: aarch64 support in ghc
by GHC 21 Nov '14

21 Nov '14

#7942: aarch64 support in ghc -------------------------------------+------------------------------------- Reporter: jcapik | Owner: Type: bug | Status: new Priority: high | Milestone: 7.10.1 Component: Compiler | Version: Resolution: | Keywords: Operating System: Linux | Architecture: arm Type of failure: GHC | Difficulty: Unknown doesn't work at all | Blocked By: Test Case: | Related Tickets: 7623, 8664 Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by lukexi): * status: closed => new * resolution: fixed => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7942#comment:54> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0