June 2014 - ghc-tickets

[GHC] #8555: Simplify given `Coercible` constraints
by GHC 19 May '15

19 May '15

#8555: Simplify given `Coercible` constraints -------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.7 checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects Architecture: Unknown/Multiple | valid program Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #8503 | -------------------------------------+------------------------------------- It would be feasible and possibly useful if {{{ foo :: Coercible [a] [b] => a -> b foo = coerce }}} would work. This involve simplifying `CtGiven`s similar to how given (nominal) equalities are simplified. I’ll defer working on this, as it is not strictly required, it seems. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8555> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #8799: Orientation of given `Coercible` constraints
by GHC 19 May '15

19 May '15

#8799: Orientation of given `Coercible` constraints -------------------------------------------+------------------------------- Reporter: nomeata | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: #8555 | Test Case: | Blocking: -------------------------------------------+------------------------------- {{{ Prelude> :m + GHC.Exts Prelude GHC.Exts> let f :: Coercible a b => b -> a ; f = coerce <interactive>:3:40: Could not coerce from ‛b’ to ‛a’ because ‛b’ and ‛a’ are different types. arising from a use of ‛coerce’ from the context (Coercible a b) bound by the type signature for f :: Coercible a b => b -> a at <interactive>:3:10-32 In the expression: coerce In an equation for ‛f’: f = coerce }}} Something better could be done here (but its not clear what exactly, and to what general extend). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8799> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #8789: includes/stg/SMP.h: use 'NOSMP' instead of never defined 'WITHSMP'
by GHC 13 May '15

13 May '15

#8789: includes/stg/SMP.h: use 'NOSMP' instead of never defined 'WITHSMP' ------------------------------------+------------------------------------- Reporter: slyfox | 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: | ------------------------------------+------------------------------------- Looks like WITHSMP is not generated anywere, thus don't know how it worked before. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8789> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #8444: Fix CPP issue with Xcode5 in integer-simple
by GHC 06 May '15

06 May '15

#8444: Fix CPP issue with Xcode5 in integer-simple -------------------------------------+------------------------------------- Reporter: lukexi | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: libraries (other) | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Building GHC Difficulty: Easy (less than 1 | failed hour) | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- This works around a build failure with Xcode 5's version of clang, wherein writing WORD_SIZE_IN_BITS.0 results in "64 .0" (note the space). (this is for libraries/integer-simple) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8444> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #8445: Fix Xcode5 CPP issue with compiler/deSugar/DsBinds.lhs and compiler/utils/FastString.lhs
by GHC 06 May '15

06 May '15

#8445: Fix Xcode5 CPP issue with compiler/deSugar/DsBinds.lhs and compiler/utils/FastString.lhs ----------------------------------+---------------------------------------- Reporter: lukexi | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Building GHC failed Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | ----------------------------------+---------------------------------------- A tiny patch to shuffle some spaces around to allow Xcode 5's clang CPP to compile these files correctly. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8445> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #8493: Can't compile happy + ghc with clang's CPP
by GHC 06 May '15

06 May '15

#8493: Can't compile happy + ghc with clang's CPP ----------------------------------+---------------------------------------- Reporter: maxs | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: libraries | Version: 7.7 (other) | Operating System: MacOS X Keywords: happy | Type of failure: Building GHC failed Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: | ----------------------------------+---------------------------------------- On OS X MtnLion with Xcode 5: Compiling GHC fails early on because the GenericTemate outputted by happy is syntactically invalid. It is invalid because of tabs inserted into the template that cause the functions to have syntax / indenting errors. I attempted to install happy to patch it, but happy will not compile either because of the tabs. I think clang's CPP is inserting tabs into lines with > 8 spaces of indentation. Also the comment lines in the template of this form are invalid for clang and cause it to fail. {{{ # 5 comment }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8493> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 17

[GHC] #8941: Module that causes GHC-7.8 to exhaust memory compiled with -O2
by GHC 04 May '15

04 May '15

#8941: Module that causes GHC-7.8 to exhaust memory compiled with -O2 ------------------------------------+--------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.1-rc2 Keywords: | Operating System: Linux Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+--------------------------------- The module is JSON.Render in http://src.seereason.com/o2bug. When compiled ghc uses up at least 16GB of RAM and then dies. I haven't been able to simplify it very much, almost any change to JSON.Render causes it to start working properly. I did get it to fail using only packages available in hackage. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8941> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #8086: Minimal install for GHC
by GHC 04 May '15

04 May '15

#8086: Minimal install for GHC ------------------------------------+--------------------------------- Reporter: gidyn | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Linux Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+--------------------------------- Installing GHC on a shared server requires a minimal footprint, without GHCi, profiling, debugging, documentation, or anything else not needed for regular building and installing. And anything stripable should be striped, if it isn't already. It would be great if the configuration script would support a --minimal option. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8086> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8085: Both GHC and its installer don't run on current Debian Stable
by GHC 04 May '15

04 May '15

#8085: Both GHC and its installer don't run on current Debian Stable -------------------------------------+------------------------------------- Reporter: ppetr | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Linux Architecture: Unknown/Multiple | Type of failure: GHC doesn't work Difficulty: Easy (less than 1 | at all hour) | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- Currently it's not possible to run GHC or its installer. It fails with: {{{ ghc: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory }}} The problem is that the current Debian stable is Wheezy and it uses a newer version of libgmp. Proposed solution: Recompile on a recent Debian stable (Wheezy). Applies to x86_64 as well, most likely all architectures supported by Debian are affected. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8085> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #9204: Conflicting definition in hs-boot file
by GHC 24 Apr '15

24 Apr '15

#9204: Conflicting definition in hs-boot file ------------------------------------+------------------------------------- Reporter: Feuerbach | 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: | ------------------------------------+------------------------------------- Foo.hs: {{{ module Foo where import Bar data Foo a }}} Foo.hs-boot: {{{ module Foo where data Foo a }}} Bar.hs: {{{ module Bar where import {-# SOURCE #-} Foo }}} With GHC 7.8.2 I'm getting the error {{{ Foo.hs-boot:3:1: Type constructor ‘Foo’ has conflicting definitions in the module and its hs-boot file Main module: type role Foo phantom data Foo a Boot file: data Foo a }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9204> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13