February 2015 - ghc-tickets

Re: [GHC] #7191: hsc2hs can't treat absolute path correctly on Windows.
by GHC 21 Feb '15

21 Feb '15

#7191: hsc2hs can't treat absolute path correctly on Windows. -------------------------------------+------------------------------------- Reporter: shelarcy | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: Component: hsc2hs | Version: 7.8.1-rc2 Resolution: | Keywords: Operating System: Windows | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Phyx-): So what's the status of this ticket then? Should it just be closed? I can't really follow what should happen here :) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7191#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1168: Optimisation sometimes decreases sharing in IO code
by GHC 21 Feb '15

21 Feb '15

#1168: Optimisation sometimes decreases sharing in IO code -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.6 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | nofib/spectral/calendar | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by nomeata): See #10102 for another example (but nothing excitingly new there). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1168#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7655: 7.6.2 Segmentation Fault/Bus Error in large exponentation
by GHC 20 Feb '15

20 Feb '15

#7655: 7.6.2 Segmentation Fault/Bus Error in large exponentation -------------------------------+----------------------------------------- Reporter: Doug310 | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: 7.12.1 Component: GHCi | Version: 7.8.1-rc1 Resolution: | Keywords: exponentiation Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------+----------------------------------------- Comment (by George): I cannot reproduce this i 7.10.rc2 with the original test case: {{{ 12345678901234567890 ^ 12345 }}} Can others reproduce it on 7.10.rc2? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7655#comment:38> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8280: Deriving Show for Word#
by GHC 20 Feb '15

20 Feb '15

#8280: Deriving Show for Word# ------------------------------------+------------------------------------- Reporter: monoidal | 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: | ------------------------------------+------------------------------------- {{{ {-# LANGUAGE MagicHash #-} import GHC.Prim data A = A Word# deriving Show }}} This works in 7.6.3, but 7.7 gives {{{ Can't find interface-file declaration for data constructor GHC.Types.W# Probable cause: bug in .hi-boot file, or inconsistent .hi file Use -ddump-if-trace to get an idea of which file caused the error }}} The same file works if Word# is replaced by Int#. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8280> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

Re: [GHC] #3699: Wildcards in type functions
by GHC 20 Feb '15

20 Feb '15

#3699: Wildcards in type functions -------------------------------------+------------------------------------- Reporter: | Owner: MartijnVanSteenbergen | Status: new Type: feature request | Milestone: 7.12.1 Priority: low | Version: 6.10.4 Component: Compiler (Type | Keywords: newcomer checker) | Architecture: Resolution: | Unknown/Multiple Operating System: Unknown/Multiple | Test Case: Type of failure: None/Unknown | Blocking: Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Changes (by jstolarek): * keywords: => newcomer -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3699#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4385: Type-level natural numbers
by GHC 20 Feb '15

20 Feb '15

#4385: Type-level natural numbers -------------------------------------+------------------------------------- Reporter: diatchki | Owner: diatchki Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: checker) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by adamgundry): * cc: adam.gundry@… (removed) * cc: adamgundry (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4385#comment:73> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4385: Type-level natural numbers
by GHC 20 Feb '15

20 Feb '15

#4385: Type-level natural numbers -------------------------------------+------------------------------------- Reporter: diatchki | Owner: diatchki Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: checker) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by adamgundry): Iavor can probably say more than me, but I believe he is currently working on a type-nats constraint solver as a typechecker plugin that communicates with an SMT solver: https://github.com/yav/type-nat-solver More generally, the aim of the typechecker plugins work is to make this sort of thing easier to experiment with. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4385#comment:72> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4385: Type-level natural numbers
by GHC 19 Feb '15

19 Feb '15

#4385: Type-level natural numbers -------------------------------------+------------------------------------- Reporter: diatchki | Owner: diatchki Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: checker) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by dmcclean): Could anyone provide an update on the current state of efforts to improve the constraint solver? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4385#comment:71> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2530: deriving Show adds extra parens for constructor with record syntax
by GHC 19 Feb '15

19 Feb '15

#2530: deriving Show adds extra parens for constructor with record syntax -------------------------------------+------------------------------------- Reporter: spl | Owner: Type: bug | Status: patch Priority: lowest | Milestone: 7.12.1 Component: Compiler | Version: 6.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D669 -------------------------------------+------------------------------------- Changes (by thomie): * status: new => patch * differential: => Phab:D669 Comment: The 2010 report, section 11.4, mentions: "The result of `show` is a syntactically correct Haskell expression ... Parenthesis are only added where needed ..." -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2530#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9054: runghc-<version> does not call ghc of the same version
by GHC 18 Feb '15

18 Feb '15

#9054: runghc-<version> does not call ghc of the same version ------------------------------------+------------------------------------- Reporter: EyalLotem | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | 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 ran runghc-7.6.3, it actually executed "/usr/local/bin/ghc" which points to ghc-7.8.2. The offending line is inside the runghc-<version> script: {{{ exec "$executablename" -f "$bindir/ghc" ${1+"$@"} }}} Which should be: {{{ exec "$executablename" -f "$bindir/ghc-<version>" ${1+"$@"} }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9054> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3