October 2015 - ghc-tickets

Re: [GHC] #2031: relocation overflow
by GHC 16 Oct '15

16 Oct '15

#2031: relocation overflow ---------------------------------+------------------------------- Reporter: maeder | Owner: Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.8.2 Resolution: | Keywords: Operating System: MacOS X | Architecture: powerpc Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | ---------------------------------+------------------------------- Comment (by erikd): Is there still any interest in OS X on PowerPC? If so, what version of GHC are you using? Have you tried compiling GHC from the git 7.10 branch? There have been two fixes for powerpc (testing on Linux only) in the last year or so that work around these relocation issues. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2031#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #487: powerpc/linux segfaulting binaries
by GHC 15 Oct '15

15 Oct '15

#487: powerpc/linux segfaulting binaries ----------------------------------+------------------------------- Reporter: dons | Owner: erikd Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.4.1 Resolution: None | Keywords: Operating System: Linux | Architecture: powerpc Type of failure: Runtime crash | Test Case: N/A Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | ----------------------------------+------------------------------- Changes (by erikd): * owner: => erikd -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/487#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #487: powerpc/linux segfaulting binaries
by GHC 15 Oct '15

15 Oct '15

#487: powerpc/linux segfaulting binaries ----------------------------------+------------------------------- Reporter: dons | Owner: Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.4.1 Resolution: None | Keywords: Operating System: Linux | Architecture: powerpc Type of failure: Runtime crash | Test Case: N/A Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | ----------------------------------+------------------------------- Changes (by erikd): * cc: erikd (added) Comment: Using ghc 7.10.2 (patched with two recent fixes from git HEAD) on powerpc/linux, I just set up a cabal sandbox and after installing required C libraries was able to do `cabal install yi` and then actually run it. I didn't do any serious editing with it, but it ran without a problem. I'm going to test this again with either the 7.10.3 release (if it happens) or the 8.0 release and then close it if all is still good. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/487#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3971: FFI callback segfaults on PPC
by GHC 15 Oct '15

15 Oct '15

#3971: FFI callback segfaults on PPC -----------------------------------+------------------------------- Reporter: wkahl | Owner: Type: bug | Status: closed Priority: normal | Milestone: ⊥ Component: Compiler (FFI) | Version: 6.12.3 Resolution: fixed | Keywords: Operating System: Linux | Architecture: powerpc Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -----------------------------------+------------------------------- Changes (by erikd): * status: new => closed * resolution: => fixed Comment: Just compiled and ran the `CallBacker" example on PowerPC with ghc 7.8.4 (last stable release) and ghc 7.10.2 (the current stable release). Both worked fine without any segfault. Closing this as fixed. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3971#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10888: ghci crashes
by GHC 15 Oct '15

15 Oct '15

#10888: ghci crashes ------------------------------------+------------------------------- Reporter: parsifal9 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Linux Architecture: arm | Type of failure: GHCi crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | ------------------------------------+------------------------------- Hi all, the compiler was installed from the file ghc_7.10.2-2_armhf.deb localhost: arch armv7l {{{#!hs localhost: ghci GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help Prelude> :l Course/List.hs [1 of 2] Compiling Course.Core ( Course/Core.hs, interpreted ) [2 of 2] Compiling Course.List ( Course/List.hs, interpreted ) Ok, modules loaded: Course.List, Course.Core. *Course.List> (1:. 2:. Nil) ++ (1:. 2:. Nil) [1,2,1,2Segmentation fault (core dumped) }}} The files Core.hs and List.hs are attached. I dont know how to cut the example down any smaller. Sorry. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10888> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10714: After implementing new installed package ID (hash of sdist), get rid of package keys
by GHC 15 Oct '15

15 Oct '15

#10714: After implementing new installed package ID (hash of sdist), get rid of package keys -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: Component: Package | Version: 7.10.2 system | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- GHC tracking bug for https://github.com/haskell/cabal/issues/2745 Externally, GHC's flags do not have to change much; a user simply passes the installed package ID to the flag currently named `-this-package-key` (but perhaps we should rename this.) Internally, if we can assume that `PackageKey == InstalledPackageId`, we can do away with the `InstalledPackageId` map and get rid of the level of indirection between the bin-pkg-db (which records installed package IDs`) and GHC's guts (which record package keys). Blocked on Cabal not actually using ABI hashes to identify packages. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10714> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #1853: hpc mix files for Main modules overwrite each other
by GHC 14 Oct '15

14 Oct '15

#1853: hpc mix files for Main modules overwrite each other ----------------------------------+-------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: lowest | Milestone: 8.0.1 Component: Code Coverage | Version: 6.8.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | ----------------------------------+-------------------------------------- Comment (by andygill): I've not touched hpc for years, but am happy to try help. Perhaps we could work on a concrete failure, and decide where to go from there? Can we create a small github repo with the failures, for example. The solution would need to integrate with cabal, for example. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1853#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1853: hpc mix files for Main modules overwrite each other
by GHC 14 Oct '15

14 Oct '15

#1853: hpc mix files for Main modules overwrite each other ----------------------------------+-------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: lowest | Milestone: 8.0.1 Component: Code Coverage | Version: 6.8.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | ----------------------------------+-------------------------------------- Comment (by andygill): Replying to [comment:18 mgsloan]: I would support this change, or in general, adding some type of way of designating the location and/or naming of the .tix file. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1853#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10931: layers-0.1 does not compile with ghc-7.10 (likely a regression from ghc-7.8)
by GHC 14 Oct '15

14 Oct '15

#10931: layers-0.1 does not compile with ghc-7.10 (likely a regression from ghc-7.8) -------------------------------------+------------------------------------- Reporter: slyfox | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 (Type checker) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | -------------------------------------+------------------------------------- Distilled example is the following: {{{#!hs {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE AllowAmbiguousTypes #-} -- not needed for 7.8, should not be needed for 7.10 as well {-# OPTIONS_GHC -Wall #-} module L () where import Prelude () -- clean up data IdT f a = IdC (f a) class ( m ~ Outer m (Inner m) ) => BugC (m :: * -> *) where type Inner m :: * -> * type Outer m :: (* -> *) -> * -> * bug :: ( forall n. ( n ~ Outer n (Inner n) , Outer n ~ Outer m ) => Inner n a) -> m a instance BugC (IdT m) where type Inner (IdT m) = m type Outer (IdT m) = IdT bug f = IdC f }}} ghc-7.8 compiles the sample just fine: {{{ $ ghci a.hs GHCi, version 7.8.4: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. [1 of 1] Compiling L ( a.hs, interpreted ) Ok, modules loaded: L. *L> :t bug bug :: (BugC (t1 t), Outer (t1 t) ~ t1, Inner (t1 t) ~ t) => (forall (n :: * -> *). (n ~ Outer n (Inner n), Outer n ~ Outer (t1 t)) => Inner n a) -> t1 t a }}} ghc-7.10 can't build it even with AllowAmbiguousTypes {{{ $ ghci a.hs GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling L ( a.hs, interpreted ) a.hs:28:17: Couldn't match type ‘m’ with ‘Inner (IdT m)’ ‘m’ is a rigid type variable bound by the instance declaration at a.hs:24:10 Expected type: Outer (IdT m) (Inner (IdT m)) Actual type: IdT m Relevant bindings include f :: forall (n :: * -> *). (n ~ Outer n (Inner n), Outer n ~ Outer (IdT m)) => Inner n a (bound at a.hs:28:9) bug :: (forall (n :: * -> *). (n ~ Outer n (Inner n), Outer n ~ Outer (IdT m)) => Inner n a) -> IdT m a (bound at a.hs:28:5) In the first argument of ‘IdC’, namely ‘f’ In the expression: IdC f In an equation for ‘bug’: bug f = IdC f Failed, modules loaded: none. }}} Without AllowAmbiguousTypes the error gives a hint on ambiguity (which does not really exist as I understand associated type families): {{{ $ ghci a-no-ambig-language.hs GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling L ( a.hs, interpreted ) a.hs:28:17: Couldn't match type ‘m’ with ‘Inner (IdT m)’ ‘m’ is a rigid type variable bound by the instance declaration at a.hs:24:10 Expected type: Outer (IdT m) (Inner (IdT m)) Actual type: IdT m Relevant bindings include f :: forall (n :: * -> *). (n ~ Outer n (Inner n), Outer n ~ Outer (IdT m)) => Inner n a (bound at a.hs:28:9) bug :: (forall (n :: * -> *). (n ~ Outer n (Inner n), Outer n ~ Outer (IdT m)) => Inner n a) -> IdT m a (bound at a.hs:28:5) In the first argument of ‘IdC’, namely ‘f’ In the expression: IdC f In an equation for ‘bug’: bug f = IdC f Failed, modules loaded: none. }}} It seems that ghc-7.8 is more correct here. Thanks! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10931> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #10964: User's Guide build error on Debian Wheezy
by GHC 14 Oct '15

14 Oct '15

#10964: User's Guide build error on Debian Wheezy -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- User's Guide fails to build on Debian Wheezy - see attached log. I'm doing a devel2 build in a separate symlinked build tree. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10964> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4