November 2014 - ghc-tickets

[GHC] #9814: Add Data.Void to base
by GHC 22 Nov '14

22 Nov '14

#9814: Add Data.Void to base -------------------------------------+------------------------------------- Reporter: shachaf | Owner: ekmett Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: Core Libraries | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Last year I [http://thread.gmane.org/gmane.comp.lang.haskell.libraries/19867 proposed] adding `Data.Void`, with a canonical uninhabited type `Void`, to base. This would replace the module of the same name in Edwardk Kmett's [http://hackage.haskell.org/package/void void] package (and in turn he'll update his package to reëxport the module from base). The response to the proposal was mostly positive; there were a couple of objections to the name, but `Void` is so standard by now that it seems pointless to change it, and no better name was suggested. Unfortunately I never did anything about it at the end of the discussion period. Recently several people have asked me to move this proposal along, and I'm finally getting around to making the ticket. Hopefully it can happen before the 7.10 freeze. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9814> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #2496: Invalid Eq/Ord instances in Data.Version
by GHC 21 Nov '14

21 Nov '14

#2496: Invalid Eq/Ord instances in Data.Version -------------------------------------+------------------------------------- Reporter: guest | Owner: duncan Type: bug | Status: patch Priority: normal | Milestone: ⊥ Component: Core | Version: 6.8.3 Libraries | 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:D395 | -------------------------------------+------------------------------------- Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"137b33133f49a994e5d147c5b30a8fcfc610eada/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="137b33133f49a994e5d147c5b30a8fcfc610eada" Deprecate Data.Version.versionTags (#2496) The library submission was accepted: http://www.haskell.org/pipermail/libraries/2014-September/023777.html The T5892ab testcases were changed to use `Data.Tree` instead of `Data.Version` Reviewed By: ekmett Differential Revision: https://phabricator.haskell.org/D395 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2496#comment:16> 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: closed Priority: high | Milestone: 7.10.1 Component: Compiler | Version: Resolution: fixed | 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 thoughtpolice): * status: patch => closed * resolution: => fixed Comment: Merged in fec1c3091b43f316ae7e683ed72b3ec175d9fd6e -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7942#comment:56> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9628: Add Annotations to the AST to simplify source to source conversions
by GHC 21 Nov '14

21 Nov '14

#9628: Add Annotations to the AST to simplify source to source conversions -------------------------------------+------------------------------------- Reporter: alanz | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Two different kinds of annotation are proposed to be added to HsSyn 1. Additional elements to explictly track the location of all syntactic elements not currently tracked. In particular, locations of reserved words and punctuation. 2. A top-level type parameter that allows a tool-writer to thread an application-specific annotation through the syntax tree. These two could potentially be merged, if the default annotation parameter is capable of tracking the first category of information. Discussion of the feature is at GhcAstAnnotations -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9628> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 43

[GHC] #9824: Pattern quotations warn about unused matches
by GHC 21 Nov '14

21 Nov '14

#9824: Pattern quotations warn about unused matches -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- If I say {{{ {-# LANGUAGE TemplateHaskell #-} {-# OPTIONS_GHC -fwarn-unused-matches #-} module Pat where foo = [p| (x, y) |] }}} I get {{{ Pat.hs:6:12: Warning: Defined but not used: ‘x’ Pat.hs:6:15: Warning: Defined but not used: ‘y’ }}} This is silly. Patch forthcoming. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9824> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

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: closed Priority: low | Milestone: 7.10.1 Component: Template | Version: 6.6.1 Haskell | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: th/T1476 | th/T1476b | Blocking: | Differential Revisions: Phab:D433 | -------------------------------------+------------------------------------- Changes (by goldfire): * status: patch => closed * testcase: => th/T1476 th/T1476b * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1476#comment:18> 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: closed Priority: normal | Milestone: 7.10.1 Component: Template | Version: 7.6.1 Haskell | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #8750 None/Unknown | Test Case: th/T7484 | Blocking: | Differential Revisions: Phab:D431 | -------------------------------------+------------------------------------- Changes (by goldfire): * status: patch => closed * testcase: => th/T7484 * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7484#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9293: GHCI :unset -XLanguageExtension returns "don't know how to reverse -XLanguageExtension"
by GHC 21 Nov '14

21 Nov '14

#9293: GHCI :unset -XLanguageExtension returns "don't know how to reverse -XLanguageExtension" -------------------------+------------------------------------------------- Reporter: | Owner: jfeltz | Status: new Type: bug | Milestone: Priority: | Version: 7.8.2 normal | Operating System: Unknown/Multiple Component: GHCi | Type of failure: None/Unknown Keywords: | Test Case: :set -XCPP followed by Architecture: x86 | :unset -XCPP Difficulty: | Blocking: Unknown | Blocked By: | Related Tickets: | -------------------------+------------------------------------------------- Any language extension tried appears to not work with :unset. To make matters worse, :unset expands to a number of options, misleading the user into thinking that it should (if that is the case). I eventually had to ask someone on IRC #haskell, leading to the :set -XNoLanguageExtension trick to do what I needed. A fix to :unset is suggested, or removing the misleading/non-working command. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9293> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

Re: [GHC] #4505: Segmentation fault on long input (list of pairs)
by GHC 21 Nov '14

21 Nov '14

#4505: Segmentation fault on long input (list of pairs) -------------------------------------+------------------------------------- Reporter: cathper | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: Segmentation Operating System: Linux | fault, segfault, long input Type of failure: Runtime | Architecture: x86_64 (amd64) crash | Difficulty: Unknown Test Case: | Blocked By: 4258 Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomie): Nice find Yuras. Should be easy to put that check back in then. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4505#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2431: Allow empty case analysis
by GHC 21 Nov '14

21 Nov '14

#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 Operating System: Unknown/Multiple | analysis Type of failure: None/Unknown | Architecture: Unknown/Multiple Test Case: | Difficulty: Unknown deSugar/should_compile/T2431 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"a97f90cecb6351a6db5a62c1551fcbf079b0acdd/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="a97f90cecb6351a6db5a62c1551fcbf079b0acdd" Add Data.Void to base (re #9814) This adds the module `Data.Void` (formerly provided by Edward Kmett's `void` package) to `base`. The original Haskell98 compatible implementation has been modified to use modern GHC features (among others this makes use of `EmptyCase` as motivated by #2431), and `vacuousM` was dropped since it's redundant now with the AMP in place. Instances for classes not part of `base` had to be dropped as well. TODO: Documentation could be improved Reviewed By: ekmett, austin Differential Revision: https://phabricator.haskell.org/D506 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2431#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0