June 2014 - ghc-tickets

[GHC] #9116: RTS Linker doesn't recognize .text.unlikely section on Windows
by GHC 24 Jul '14

24 Jul '14

#9116: RTS Linker doesn't recognize .text.unlikely section on Windows -------------------------------------+------------------------------------- Reporter: niklasl | Owner: simonmar Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 7.8.2 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: GHC rejects Difficulty: Easy (less than 1 | valid program hour) | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- When trying to use a newer gcc with GHC 7.8.2, some .o files are rejected by the linker for containing a .text.unlikely section with the following message: {{{ Loading package text-1.1.1.2 ... ghc.exe: panic! (the 'impossible' happened) (GHC version 7.8.2 for x86_64-unknown-mingw32): loadObj "C:\\Niklas\\src\\Idris-dev\\.cabal-sandbox\\x86_64 -windows-ghc-7.8.2\\text-1.1.1.2\\HStext-1.1.1.2.o": failed Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug ghc.exe: Unknown PEi386 section name `.text.unlikely' (while processing: C:\Niklas\src\Idris-dev\.cabal-sandbox\x86_64-windows- ghc-7.8.2\text-1.1.1.2\HStext-1.1.1.2.o) }}} This comes from the ocGetNames_PEi386 function in rts/Linker.c. There is a list of section names recognized as code sections at line 4146- in that file. The fix is to add .text.unlikely there, or maybe the right solution is to cast the net wider and accept .text.* as code sections. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9116> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9156: Duplicate record field
by GHC 24 Jul '14

24 Jul '14

#9156: Duplicate record field ------------------------------------+------------------------------------- Reporter: wojteknar | Owner: Type: bug | Status: new Priority: low | 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: | ------------------------------------+------------------------------------- This compiles. {{{ #!haskell data D = D1 { f1 :: Int } | D2 { f1, f1 :: Int } -- Oops, duplicate }}} Probably harmless, but still. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9156> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 15

[GHC] #8646: Distinguish between update frames in rts/Printer.c
by GHC 23 Jul '14

23 Jul '14

#8646: Distinguish between update frames in rts/Printer.c ------------------------------------+------------------------------------- Reporter: Tarrasch | Owner: simonmar Type: feature request | Status: new Priority: lowest | Milestone: _|_ Component: Runtime System | 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: | ------------------------------------+------------------------------------- When doing printf-debugging and using Printer.c, it would be nice to see exact kind of update frame. (See attached patch) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8646> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #9241: Add a"same" function to Data.Eq
by GHC 22 Jul '14

22 Jul '14

#9241: Add a"same" function to Data.Eq ------------------------------------+------------------------------------- Reporter: mhwombat | Owner: Type: feature request | Status: new Priority: low | Milestone: Component: Prelude | 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: | ------------------------------------+------------------------------------- Add a"same" function to Data.Eq that parallels the "comparing" function in Data.Ord. For example: -- | -- > same p x y = (p x) == (p y) -- -- Useful combinator for use in conjunction with the @xxxBy@ family -- of functions from "Data.List", for example: -- -- > ... groupBy (same fst) ... same :: (Eq a) => (b -> a) -> b -> b -> Bool same p x y = (p x) == (p y) For a closer parallel, I suppose "same" could return "Equality" (similar to "Ordering"), and the functions "nubBy", "deleteBy", "deleteFirstsBy", "unionBy", "intersectBy" and "groupBy" should take (a -> a -> Equality) (a -> a -> Bool). But I don't know if there's any benefit to that. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9241> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8874: Warning: Couldn't figure out linker information!
by GHC 21 Jul '14

21 Jul '14

#8874: Warning: Couldn't figure out linker information! -------------------------+------------------------------------------------- Reporter: | Owner: Lemming | Status: new Type: bug | Milestone: Priority: | Version: 7.8.1-rc2 normal | Operating System: Linux Component: | Type of failure: Incorrect warning at Compiler | compile-time Keywords: | Test Case: Architecture: | Blocking: x86_64 (amd64) | Difficulty: | Unknown | Blocked By: | Related Tickets: | -------------------------+------------------------------------------------- {{{ $ cabal-1.18.0.2 install --with-ghc=ghc-7.8.0.20140228 utility-ht-0.0.10 ... [ 1 of 24] Compiling Text.Show.HT ( src/Text/Show/HT.hs, dist/build/Text/Show/HT.o ) [ 2 of 24] Compiling Text.Read.HT ( src/Text/Read/HT.hs, dist/build/Text/Read/HT.o ) [ 3 of 24] Compiling Data.Strictness.HT ( src/Data/Strictness/HT.hs, dist/build/Data/Strictness/HT.o ) [ 4 of 24] Compiling Control.Monad.HT ( src/Control/Monad/HT.hs, dist/build/Control/Monad/HT.o ) [ 5 of 24] Compiling Data.Tuple.HT ( src/Data/Tuple/HT.hs, dist/build/Data/Tuple/HT.o ) [ 6 of 24] Compiling Control.Functor.HT ( src/Control/Functor/HT.hs, dist/build/Control/Functor/HT.o ) [ 7 of 24] Compiling Data.Monoid.HT ( src/Data/Monoid/HT.hs, dist/build/Data/Monoid/HT.o ) [ 8 of 24] Compiling Data.Maybe.HT ( src/Data/Maybe/HT.hs, dist/build/Data/Maybe/HT.o ) [ 9 of 24] Compiling Data.Ix.Enum ( src/Data/Ix/Enum.hs, dist/build/Data/Ix/Enum.o ) [10 of 24] Compiling Data.Function.HT.Private ( src/Data/Function/HT/Private.hs, dist/build/Data/Function/HT/Private.o ) [11 of 24] Compiling Data.Function.HT ( src/Data/Function/HT.hs, dist/build/Data/Function/HT.o ) [12 of 24] Compiling Data.List.Key.Private ( src/Data/List/Key/Private.hs, dist/build/Data/List/Key/Private.o ) [13 of 24] Compiling Data.List.Key ( src/Data/List/Key.hs, dist/build/Data/List/Key.o ) [14 of 24] Compiling Data.Ord.HT ( src/Data/Ord/HT.hs, dist/build/Data/Ord/HT.o ) [15 of 24] Compiling Data.Eq.HT ( src/Data/Eq/HT.hs, dist/build/Data/Eq/HT.o ) [16 of 24] Compiling Data.Bool.HT.Private ( src/Data/Bool/HT/Private.hs, dist/build/Data/Bool/HT/Private.o ) [17 of 24] Compiling Data.Bool.HT ( src/Data/Bool/HT.hs, dist/build/Data/Bool/HT.o ) [18 of 24] Compiling Data.List.Match.Private ( src/Data/List/Match/Private.hs, dist/build/Data/List/Match/Private.o ) [19 of 24] Compiling Data.List.HT.Private ( src/Data/List/HT/Private.hs, dist/build/Data/List/HT/Private.o ) [20 of 24] Compiling Data.List.HT ( src/Data/List/HT.hs, dist/build/Data/List/HT.o ) [21 of 24] Compiling Data.Record.HT.Private ( src/Data/Record/HT/Private.hs, dist/build/Data/Record/HT/Private.o ) [22 of 24] Compiling Data.Record.HT ( src/Data/Record/HT.hs, dist/build/Data/Record/HT.o ) [23 of 24] Compiling Data.String.HT ( src/Data/String/HT.hs, dist/build/Data/String/HT.o ) [24 of 24] Compiling Data.List.Match ( src/Data/List/Match.hs, dist/build/Data/List/Match.o ) [ 1 of 24] Compiling Text.Show.HT ( src/Text/Show/HT.hs, dist/build/Text/Show/HT.p_o ) <no location info>: Warning: Couldn't figure out linker information! Make sure you're using GNU gcc, or clang [ 2 of 24] Compiling Text.Read.HT ( src/Text/Read/HT.hs, dist/build/Text/Read/HT.p_o ) [ 3 of 24] Compiling Data.Strictness.HT ( src/Data/Strictness/HT.hs, dist/build/Data/Strictness/HT.p_o ) [ 4 of 24] Compiling Control.Monad.HT ( src/Control/Monad/HT.hs, dist/build/Control/Monad/HT.p_o ) ... }}} The warning only appears for the first module in profiling mode. What does the warning mean? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8874> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #9092: ghc: panic! (the 'impossible' happened)
by GHC 21 Jul '14

21 Jul '14

#9092: ghc: panic! (the 'impossible' happened) -----------------------------------+--------------------------------------- Reporter: alex404 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: panic | Operating System: Linux impossible | Type of failure: Compile-time crash Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- I'm not sure *why* this is happening, but I know where. The code for this library is available here: http://hub.darcs.net/alex404/hsl-random So as is, I can run the script called multivariate and get the expected results, but when I try to compile I get ghc: panic! (the 'impossible' happened) (GHC version 7.8.2 for x86_64-unknown-linux): attempt to prod-split usage call demand C(C1(U(U,U,U,U,U,U))) If at line 317 in Scientific.Random.Distributions.hs, I replace the statement sgma = ... with sgma = undefined, the code will compile, though obviously it cannot be used. If I transform the code in other ways which are meant to preserve the results, I can get it to compile, but then the script hangs. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9092> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8902: Test for RTLD_NEXT, RTLD_DEFAULT broken on Linux
by GHC 16 Jul '14

16 Jul '14

#8902: Test for RTLD_NEXT, RTLD_DEFAULT broken on Linux ------------------------------------+--------------------------------- Reporter: trommler | Owner: Type: bug | Status: new Priority: low | Milestone: Component: libraries/unix | 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: | ------------------------------------+--------------------------------- Building 7.8.1RC2 on openSUSE, I see this: {{{ [ 2270s] checking return type of unsetenv... int [ 2270s] checking for RTLD_NEXT from dlfcn.h... no [ 2270s] checking for RTLD_DEFAULT from dlfcn.h... no [ 2270s] checking for RTLD_LOCAL from dlfcn.h... yes }}} The manual says that both RTLD_NEXT and RTLD_DEFAULT exist. Setting priority to low as I don't see any failures because of that. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8902> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8910: cross compiling for x86_64 solaris2
by GHC 15 Jul '14

15 Jul '14

#8910: cross compiling for x86_64 solaris2 ----------------------------------+---------------------------------- Reporter: maeder | Owner: Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.1-rc2 Keywords: | Operating System: Solaris Architecture: x86_64 (amd64) | Type of failure: Runtime crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+---------------------------------- using a "gcc -m64" and a working ghc-7.8.0.20140228-i386-unknown-solaris2 I was able to create a 64Bit ghc-stage2 compiler that can compile a simple hello world program but may create binaries from larger sources that seg- fault. In particular "ghc-stage2 --interactive" seg-faults: {{{ [Thread debugging using libthread_db enabled] [New Thread 1 (LWP 1)] [New LWP 2 ] [New LWP 3 ] [New LWP 4 ] GHCi, version 7.8.0.20140228: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-simple ... linking ... done. Loading package base ... linking ... Program received signal SIGSEGV, Segmentation fault. [Switching to Thread 1 (LWP 1)] 0x00000000041ea4c0 in ?? () (gdb) bt #0 0x00000000041ea4c0 in ?? () #1 0x000000000369cf92 in resolveObjs () #2 0x000000000206de99 in cplU_info () #3 0x000000000000000c in ?? () #4 0x0000000003d0fe09 in base_GHCziEventziManager_zdLr88clvl8_closure () #5 0x0000000000000000 in ?? () }}} The content of my mk/build.mk is just {{{ INTEGER_LIBRARY = integer-simple }}} Creating a binary-dist also worked, but unpacking and "gmake install" failed at first because old-time, haskell98 and haskell2010 libraries were missing due to "!CrossCompiling" in ghc.mk and the second time with: {{{ Reading package info from "rts/dist/package.conf.install" ... done. "utils/ghc-cabal/dist-install/build/tmp/ghc-cabal-bindist" register libraries/ghc-prim dist-install "/local/home/maeder/haskell/ghc-7.8-x64-static/lib/ghc-7.8.0.20140228/bin/ghc" "/local/home/maeder/haskell/ghc-7.8-x64-static/lib/ghc-7.8.0.20140228/bin /ghc-pkg" "/local/home/maeder/haskell/ghc-7.8-x64-static/lib/ghc-7.8.0.20140228" '' '/local/home/maeder/haskell/ghc-7.8-x64-static' '/local/home/maeder/haskell/ghc-7.8-x64-static/lib/ghc-7.8.0.20140228' '/local/home/maeder/haskell/ghc-7.8-x64-static/share/doc/ghc/html/libraries' NO ghc-cabal: Bad interface file: dist-install/build/GHC/CString.hi magic number mismatch: old/corrupt interface file? (wanted 129742, got 33214052) gmake[1]: *** [install_packages] Fehler 1 }}} What am I doing wrong for cross compiling? There is also #8378 using a different build host. #8713 also seem to use x86_64 solaris2 libs. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8910> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] #9063: Default associated type instances are too general
by GHC 15 Jul '14

15 Jul '14

#9063: Default associated type instances are too general ------------------------------------+------------------------------------- Reporter: goldfire | 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: | ------------------------------------+------------------------------------- I compile the following with `-ddump-tc` and `-fprint-explicit-kinds`: {{{ {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, TypeOperators, UndecidableInstances #-} module Bug where import Data.Type.Equality import Data.Proxy class kproxy ~ 'KProxy => PEq (kproxy :: KProxy a) where type (:==) (x :: a) (y :: a) :: Bool type x :== y = x == y }}} and I see {{{ TYPE SIGNATURES TYPE CONSTRUCTORS PEq :: forall (a :: BOX). KProxy a -> Constraint class (~) (KProxy a) kproxy (KProxy a) => PEq (a::BOX) (kproxy::KProxy a) Roles: [nominal, nominal] RecFlag NonRecursive type family (:==) (a::BOX) (x::a) (y::a) :: Bool (open) Defaults: [(k, BOX), (x, k), (y, k)] k x y = (==) k x y COERCION AXIOMS axiom Bug.NTCo:PEq :: PEq a kproxy = (~) (KProxy a) kproxy ('KProxy a) }}} The problem is the `Defaults:` line. That `k` should be an `a`. This is not a printing/tidying problem -- the default does not work when it should. For example, if I add the following {{{ instance PEq ('KProxy :: KProxy Bool) foo :: Proxy (True :== True) -> Proxy (True == True) foo = id }}} I get {{{ Couldn't match type ‘(:==) Bool 'True 'True’ with ‘'True’ Expected type: Proxy Bool ((:==) Bool 'True 'True) -> Proxy Bool ((==) Bool 'True 'True) Actual type: Proxy Bool 'True -> Proxy Bool 'True In the expression: id In an equation for ‘foo’: foo = id }}} Adding kind signatures (that is `:: a`) to the arguments of the type family default fixes the problem. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9063> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #8615: All packages built with GHC / clang are failing
by GHC 14 Jul '14

14 Jul '14

#8615: All packages built with GHC / clang are failing ------------------------------------+------------------------------------- Reporter: sylvestre | 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: | ------------------------------------+------------------------------------- I am trying to rebuild the Debian archive using clang instead of gcc. The biggest source of errors (622 over 2188 [1]) is related to GHC. Clang does not implement the "-u" option [2]. This is causing most (all?) of the "GHC based" packages to fail to build. with: {{{ /usr/lib/ghc/libHSrts.a(RtsStartup.o): In function `hs_exit_': (.text+0x49): undefined reference to `base_GHCziTopHandler_flushStdHandles_closure' }}} Of course, if you think it is not GHC's fault at all or there is no workaround, don't hesitate to close this bug. For example: http://clang.debian.net/logs/2013-07-14/agda_2.3.2.1-1_unstable_clang.log http://clang.debian.net/logs/2013-07-14/happy_1.18.10-2_unstable_clang.log [1] http://clang.debian.net/status.php?version=3.3&key=MISSING_OPTION_U [2] http://llvm.org/bugs/show_bug.cgi?id=18250 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8615> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5