November 2014 - ghc-tickets

[GHC] #8967: Add syntax for creating finite maps and sets
by GHC 02 Nov '14

02 Nov '14

#8967: Add syntax for creating finite maps and sets ------------------------------------+------------------------------------- Reporter: tibbe | Owner: Type: feature request | 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: | ------------------------------------+------------------------------------- Many languages have syntax for creating maps. Commonly used syntax is either {{{ {key1: value1, key2: value2, ...} }}} or {{{ {key1 => value1, key2 => value2, ...} }}} Since few Haskellers (with the notable exception of SPJ) use the curly bracket Haskell syntax for layout, I thought we could co-opt it and instead use it for map (and set literals.) The feature would of course be protected by a language pragma as to not break old code. Strawman proposal: `{key1: value1, key2: value2, ...}` desugars to `fromList [(key1, value1), (key2, value2), ...]`, using a new type class: {{{#!haskell class IsMap m where type Key m type Value m fromList :: [(Key m, Value m)] -> m }}} `{:}` is the literal for empty maps. Analogously, `{value1, value2, ...}` desugars to `fromList [value1, value2, ...]`, using a new type class: {{{#!haskell class IsSet m where type Item m fromList :: [Item m] -> m }}} `{}` is the literal for empty sets. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8967> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #7330: Data Parallel Haskell (DPH) isn't usable yet.
by GHC 02 Nov '14

02 Nov '14

#7330: Data Parallel Haskell (DPH) isn't usable yet. -------------------------------------+------------------------------------- Reporter: benl | Owner: benl Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.6.1 Component: Data | Keywords: Parallel Haskell | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: 3782, | 3903, 4438, 5807, 6004, 7098, | 8023 | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * component: Compiler => Data Parallel Haskell -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7330#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2200: big static random access arrays
by GHC 02 Nov '14

02 Nov '14

#2200: big static random access arrays -------------------------------------+------------------------------------- Reporter: jsnx | Owner: ekmett Type: feature | Status: new request | Milestone: ⊥ Priority: normal | Version: 6.8.2 Component: Core | Keywords: static array Libraries | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: core-libraries-committee@… (added) * failure: => None/Unknown * component: Compiler => Core Libraries * owner: => ekmett -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2200#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2258: ghc --cleanup
by GHC 02 Nov '14

02 Nov '14

#2258: ghc --cleanup -------------------------------------+------------------------------------- Reporter: claus | Owner: VictorDenisov Type: feature | Status: new request | Milestone: 7.10.1 Priority: lowest | Version: 6.8.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #4114 None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by VictorDenisov): * owner: => VictorDenisov -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2258#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9738: Handle ANN pragmas in declaration splices
by GHC 02 Nov '14

02 Nov '14

#9738: Handle ANN pragmas in declaration splices -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: 7.10.1 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 {{{ $( do decs <- [d| data T = MkT {-# ANN type T "hi!" #-} |] runIO $ putStrLn $ pprint decs return decs ) }}} I get {{{ data T_0 = MkT_1 }}} No `ANN`. :( -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9738> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9084: Template Haskell should warn when it encounters an unencodable pragma
by GHC 02 Nov '14

02 Nov '14

#9084: Template Haskell should warn when it encounters an unencodable pragma ------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- When I say this {{{ {-# LANGUAGE TemplateHaskell #-} {-# OPTIONS_GHC -Wall #-} module Bug where $([d| class C a where meth :: a -> a meth = undefined -- give a (silly) default {-# MINIMAL meth #-} |]) instance C Int }}} I get no warnings. I'm not surprised that TH doesn't handle every pragma that GHC knows about, but it should issue a (suppressable) warning when it discards one. I can fix this one. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9084> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #9262: Allow free variables in reifyInstances
by GHC 02 Nov '14

02 Nov '14

#9262: Allow free variables in reifyInstances ------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: feature request | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- When I say {{{ {-# LANGUAGE TemplateHaskell #-} module Bug where import Language.Haskell.TH $( do insts <- reifyInstances ''Eq [ListT `AppT` VarT (mkName "a")] runIO $ putStrLn $ pprint insts return [] ) }}} I get {{{ Bug.hs:7:4: Not in scope: type variable ‘a’ In the argument of reifyInstances: GHC.Classes.Eq [a] }}} But, I wanted the declaration for `instance Eq a => Eq [a]`. The error message isn't wrong, exactly -- `a` really isn't in scope -- but I think we can do better by just treating variables as fresh. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9262> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #9752: Output unicode characters
by GHC 01 Nov '14

01 Nov '14

#9752: Output unicode characters -------------------------------------+------------------------------------- Reporter: pokiaka | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: unicode, stderr, | Operating System: Windows errors, output, printing, | Type of failure: Incorrect encoding, utf, utf8 | result at runtime Architecture: Unknown/Multiple | Test Case: Difficulty: Easy (less than 1 | Blocking: hour) | Differential Revisions: Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- When using UnicodeHaskell and having an error with a unicode symbol lurking around, GHC fails to print its name. So e.g. you get a message of an error "In the first argument of (<stderr>: commitBuffer: invalid argument (invalid character)". I am not certain, but I think that the fix would be to `hSetEncoding stderr utf8` before the output is printed. If so, hopefully it should be a quick easy fix. (And perhaps it would be appropriate to do the same for stdout as-well, or just when UnicodeSyntax is on). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9752> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9753: Segmentation fault when applying ** to a complex number
by GHC 01 Nov '14

01 Nov '14

#9753: Segmentation fault when applying ** to a complex number ---------------------------------+--------------------------------------- Reporter: AlexeiKopylov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.6.3 Keywords: | Operating System: MacOS X Architecture: ia64 | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: ---------------------------------+--------------------------------------- Rising a negative complex number to a power using {{{**}}} in ghci causes a segmentation fault: {{{ $ ghci GHCi, version 7.6.3: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Prelude> :m +Data.Complex Prelude Data.Complex> (-1) ** 1 :: Complex Double Segmentation fault }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9753> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries
by GHC 01 Nov '14

01 Nov '14

#5435: GHCi linker should run constructors for linked libraries -------------------------------------+------------------------------------ Reporter: pumpkin | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.2.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: 7746, 8199 | Related Tickets: #3658 -------------------------------------+------------------------------------ Comment (by Austin Seipp <austin@…>): In [changeset:"a47ff8be5aa78aff2eb80d5f91e294f52ea392e0/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="a47ff8be5aa78aff2eb80d5f91e294f52ea392e0" Fixed T5435_dyn_asm on Windows. The test code was not in sync with the expected output. Reviewers: austin Reviewed By: austin Subscribers: thomie, carter, simonmar Differential Revision: https://phabricator.haskell.org/D403 GHC Trac Issues: #5435 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5435#comment:42> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0