September 2013 - ghc-tickets

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries
by GHC 15 Sep '13

15 Sep '13

#5435: GHCi linker should run constructors for linked libraries -------------------------------------+------------------------------------ Reporter: pumpkin | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: 3658 Blocking: 7746, 8199 | Related Tickets: #3658 -------------------------------------+------------------------------------ Comment (by simonmar): Files attached, thanks for looking into this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5435#comment:28> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8184: Compiler panic in the presence of cyclic imports
by GHC 15 Sep '13

15 Sep '13

#8184: Compiler panic in the presence of cyclic imports -----------------------------------+--------------------------------------- Reporter: parcs | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time crash Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: 910 Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- A.hs {{{ #!haskell module A where import {-# SOURCE #-} B data X = X Y }}} B.hs-boot {{{ #!haskell module B where data Y }}} B.hs {{{ #!haskell module B where import A data Y = Y Int Int thing :: X -> a thing (X (Y a b)) = thing (X (Y a b)) }}} C.hs {{{ #!haskell module C where import A import B panic :: Int -> a panic x = thing (X (Y x x)) }}} Now try to compile module C: {{{ $ ghc-stage2 -O C [1 of 4] Compiling B[boot] ( B.hs-boot, B.o-boot ) [2 of 4] Compiling A ( A.hs, A.o ) [3 of 4] Compiling B ( B.hs, B.o ) [4 of 4] Compiling C ( C.hs, C.o ) ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.7.20130826 for x86_64-unknown-linux): applyTypeToArgs main:B.$wthing{v rsQ} [gid] @ a{tv ivX} [tv] ww_iwm{v} [lid] ww_iwn{v} [lid] a{tv ivX} [tv] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} I encountered this bug when attempting to compile GHC with GHC -O2 --make. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8184> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #8284: freeHaskellFunPtr crashes on iOS
by GHC 15 Sep '13

15 Sep '13

#8284: freeHaskellFunPtr crashes on iOS -------------------------------------------+------------------------------- Reporter: StephenBlackheath | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Runtime System | Version: 7.7 Keywords: | Operating System: Other Architecture: arm | Type of failure: Runtime Difficulty: Easy (less than 1 hour) | crash Blocked By: | Test Case: Related Tickets: | Blocking: -------------------------------------------+------------------------------- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8284> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #8250: cgrun072 (optllvm) failing
by GHC 15 Sep '13

15 Sep '13

#8250: cgrun072 (optllvm) failing ------------------------------------+------------------------------------- Reporter: leroux | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (LLVM) | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Runtime crash Difficulty: Unknown | Test Case: cgrun072 Blocked By: | Blocking: Related Tickets: 7902 | ------------------------------------+------------------------------------- * Platform: OS X 10.8.4 x86_64 * GHC Version 7.7.20130904 (built with gcc-4.8) To reproduce this: {{{ $ make test TEST=cgrun072 WAY=optllvm }}} Expected output (for failure): {{{ =====> cgrun072(optllvm) 172 of 3749 [0, 0, 2] cd ./codeGen/should_run && '/Users/leroux/Dropbox/src/ghc/ghc- validate/inplace/bin/ghc-stage2' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -o cgrun072 cgrun072.hs -O -fllvm >cgrun072.comp.stderr 2>&1 cd ./codeGen/should_run && ./cgrun072 </dev/null >cgrun072.run.stdout 2>cgrun072.run.stderr Actual stdout output differs from expected: --- ./codeGen/should_run/cgrun072.stdout 2013-09-04 02:22:32.000000000 -0500 +++ ./codeGen/should_run/cgrun072.run.stdout 2013-09-07 03:27:09.000000000 -0500 @@ -1,3 +1,6 @@ OK -OK +FAIL + Input: 1480294021 +Expected: 2239642456 + Actual: -2055324840 OK *** unexpected failure for cgrun072(optllvm) }}} The failing test case is {{{test_bSwap32}}}. Here are some relevant snippets. bswap and cgrun072 were added in #7902. https://github.com/ghc/testsuite/blob/master/tests/codeGen/should_run/cgrun…: {{{ bswap32 :: Word32 -> Word32 bswap32 (W32# w#) = W32# (byteSwap32# w#) slowBswap32 :: Word32 -> Word32 slowBswap32 w = (w `shiftR` 24) .|. (w `shiftL` 24) .|. ((w `shiftR` 8) .&. 0xff00) .|. ((w .&. 0xff00) `shiftL` 8) test_bSwap32 = test casesW32 bswap32 slowBswap32 }}} https://github.com/ghc/packages-ghc- prim/blob/master/cbits/bswap.c#L10-L17: {{{ extern StgWord32 hs_bswap32(StgWord32 x); StgWord32 hs_bswap32(StgWord32 x) { return ((x >> 24) | ((x >> 8) & 0xff00) | (x << 24) | ((x & 0xff00) << 8)); } }}} Here are a few things to look at or try. * https://github.com/ghc/packages-ghc-prim/blob/master/cbits/bswap.c * https://github.com/ghc/ghc/tree/master/compiler/llvmGen * Maybe take an object dump and take what's going on. * gdb debugging? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8250> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

Re: [GHC] #2110: Rules to eliminate casted id's
by GHC 15 Sep '13

15 Sep '13

#2110: Rules to eliminate casted id's -------------------------------------+------------------------------------ Reporter: igloo | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by nomeata): I have a first working prototype, pushed to the wip/nomeata-T2110 branch. Comments how to do that properly and non-hacky are welcome. I ended up implementing the first idea, and this is what works: In the file {{{ module Test where import GHC.Exts import Unsafe.Coerce {-# RULES "map/coerce" map coerce = coerce #-} newtype Age = Age Int foo :: [Int] -> [Age] foo = map Age bar :: [Int] -> [Age] bar = map coerce baz :: [Int] -> [Age] baz = map unsafeCoerce }}} the rule will be desugared to {{{ ------ Local rules for imported ids -------- "map/coerce" [ALWAYS] forall (@ a_aET) (@ b_aEU) ($dCoercible_aEO :: a_aET GHC.Prim.~R# b_aEU). GHC.Base.map @ a_aET @ b_aEU ((\ (tpl_B1 :: a_aET) -> tpl_B1) `cast` (<a_aET>_R -> ($dCoercible_aEO) :: (a_aET -> a_aET) ~# (a_aET -> b_aEU))) = GHC.Prim.coerce @ [a_aET] @ [b_aEU] (GHC.Types.MkCoercible @ [a_aET] @ [b_aEU] @~ [($dCoercible_aEO)]_R) }}} and this indeed matches all three calls to `map`: {{{ Test.bar1 :: [GHC.Types.Int] -> [GHC.Types.Int] Test.bar1 = \ (tpl_B2 :: [GHC.Types.Int] -> tpl_B2 Test.foo :: [GHC.Types.Int] -> [Test.Age] Test.foo = Test.bar1 `cast` (<[GHC.Types.Int]>_R -> [Sym Test.NTCo:Age[0]]_R :: ([GHC.Types.Int] -> [GHC.Types.Int] ~# ([GHC.Types.Int] -> [Test.Age])) Test.bar :: [GHC.Types.Int] -> [Test.Age] Test.bar = Test.bar1 `cast` (<[GHC.Types.Int]>_R -> [Sym Test.NTCo:Age[0]]_R :: ([GHC.Types.Int] -> [GHC.Types.Int] ~# ([GHC.Types.Int] -> [Test.Age])) }}} It does not work yet for `unsafeCoerce`, as for some reason that function is not unfolded: {{{ Test.baz = GHC.Base.map @ GHC.Types.Int @ Test.Age ((Unsafe.Coerce.unsafeCoerce1 @ GHC.Types.Int @ Test.Age) `cast` (<GHC.Types.Int>_R -> UnivCo R GHC.Types.Int Test.Age :: (GHC.Types.Int -> GHC.Types.Int) ~# (GHC.Types.Int -> Test.Age))) }}} but if it were, it would work as well :-) I find this is quite a nice result so far, the user-facing part is slick and simple, and it shows that the `Coercible` design is at least usable. Should this direction be further pursued? (PS: Special-casing `coerce` in `Rules.match` is difficult, as `Rules` is a very basic module, imported for example in `MkId` which defines `coerceId`.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2110#comment:38> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries
by GHC 15 Sep '13

15 Sep '13

#5435: GHCi linker should run constructors for linked libraries -------------------------------------+------------------------------------ Reporter: pumpkin | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: 3658 Blocking: 7746, 8199 | Related Tickets: #3658 -------------------------------------+------------------------------------ Comment (by ezyang): Oh, well, that would explain the static case; I never implemented ctors because I wasn't sure if anyone had a version of GCC which still emitted them. Can you attach the object file to this bug report so I can figure out what the correct flags to test for are? Actually, I know what's going on with the dynamic case too. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5435#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2507: quotation characters in error messages
by GHC 15 Sep '13

15 Sep '13

#2507: quotation characters in error messages -------------------------------------+------------------------------------ Reporter: Isaac Dupree | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #2811,#3398 -------------------------------------+------------------------------------ Comment (by goldfire): It might be worth noting that when I run ghc in a bash shell from within Emacs on my Mac, the Unicode quotes cause formatting codes to be printed in place of the quotes. For example: {{{ The type signature for \342\200\233foo\342\200\231 lacks an accompanying binding (The type signature must be given where \342\200\233foo\342\200\231 is declared) }}} I couldn't seem to disable Unicode printing in this case, which mattered, as I was planning on using ghc in this configuration for a presentation. As it turned out, I found an emacs-specific solution (included below for the curious; I forget the source, sorry), but I can imagine a scenario where there's no easy solution to this problem. Perhaps use something like `-fno-unicode-quotes`? Emacs solution that worked for me, added to my `.emacs` file: {{{ (setq locale-coding-system 'utf-8) (set-terminal-coding-system 'utf-8-unix) (set-keyboard-coding-system 'utf-8) (set-selection-coding-system 'utf-8) (prefer-coding-system 'utf-8) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2507#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8194: make install (at git ef01794) still fails
by GHC 15 Sep '13

15 Sep '13

#8194: make install (at git ef01794) still fails --------------------------------+------------------------------------------ Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Build System | Version: 7.7 Keywords: | Operating System: Linux Architecture: x86 | Type of failure: Installing GHC failed Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | --------------------------------+------------------------------------------ I think the last time `make install` worked for me was sometime in February or March 2013. The build succeeds but `make install` fails. mk/build.mk: {{{ BuildFlavour = perf V = 0 }}} Steps to reproduce: {{{ $ perl boot $ ./configure --prefix=/tmp/ghc/7.7.20130827 $ make $ make install [...] Installing library in /tmp/ghc/7.7.20130827/lib/ghc-7.7.20130827/haskell2010-1.1.1.0 "/tmp/ghc/7.7.20130827/lib/ghc-7.7.20130827/bin/ghc-pkg" --force --global-package-db "/tmp/ghc/7.7.20130827/lib/ghc-7.7.20130827/package.conf.d" update rts/dist/package.conf.install /tmp/ghc/7.7.20130827/lib/ghc-7.7.20130827/bin/ghc-pkg: error while loading shared libraries: libHSbin-package-db-0.0.0.0-ghc7.7.20130827.so: cannot open shared object file: No such file or directory make[1]: *** [install_packages] Error 127 make: *** [install] Error 2 }}} Related mailing list threads: * http://www.haskell.org/pipermail/ghc-devs/2013-August/002167.html * http://www.haskell.org/pipermail/ghc-devs/2013-April/000995.html * http://www.haskell.org/pipermail/ghc-devs/2013-March/000822.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8194> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

Re: [GHC] #2110: Rules to eliminate casted id's
by GHC 15 Sep '13

15 Sep '13

#2110: Rules to eliminate casted id's -------------------------------------+------------------------------------ Reporter: igloo | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by nomeata): Alternative, similar idea: Leave the RULE as it is, but be smart when matching `(GHC.Prim.coerce @ t @ t1 $dCoercible)` and if the expression is of the form {{{(\x -> x) `cast` c}}}, succeed with a substitution `$dCoercible = MkCoercion @ t1 @ t2 @~ c`. The RHS would then look a bit convoluted, but the simplifier surely cleans that up. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2110#comment:37> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries
by GHC 15 Sep '13

15 Sep '13

#5435: GHCi linker should run constructors for linked libraries -------------------------------------+------------------------------------ Reporter: pumpkin | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: 3658 Blocking: 7746, 8199 | Related Tickets: #3658 -------------------------------------+------------------------------------ Comment (by simonmar): I have .ctors: {{{ > objdump --all-headers T5435_c_dyn.o T5435_c_dyn.o: file format elf64-x86-64 T5435_c_dyn.o architecture: i386:x86-64, flags 0x00000011: HAS_RELOC, HAS_SYMS start address 0x0000000000000000 Sections: Idx Name Size VMA LMA File off Algn 0 .text 00000048 0000000000000000 0000000000000000 00000040 2**2 CONTENTS, ALLOC, LOAD, RELOC, READONLY, CODE 1 .data 00000000 0000000000000000 0000000000000000 00000088 2**2 CONTENTS, ALLOC, LOAD, DATA 2 .bss 00000000 0000000000000000 0000000000000000 00000088 2**2 ALLOC 3 .rodata 00000022 0000000000000000 0000000000000000 00000088 2**0 CONTENTS, ALLOC, LOAD, READONLY, DATA 4 .ctors 00000010 0000000000000000 0000000000000000 000000b0 2**3 CONTENTS, ALLOC, LOAD, RELOC, DATA 5 .comment 0000002b 0000000000000000 0000000000000000 000000c0 2**0 CONTENTS, READONLY 6 .note.GNU-stack 00000000 0000000000000000 0000000000000000 000000eb 2**0 CONTENTS, READONLY 7 .eh_frame 00000058 0000000000000000 0000000000000000 000000f0 2**3 CONTENTS, ALLOC, LOAD, RELOC, READONLY, DATA SYMBOL TABLE: 0000000000000000 l df *ABS* 0000000000000000 T5435.c 0000000000000000 l d .text 0000000000000000 .text 0000000000000000 l d .data 0000000000000000 .data 0000000000000000 l d .bss 0000000000000000 .bss 0000000000000000 l d .rodata 0000000000000000 .rodata 0000000000000000 l F .text 0000000000000024 initializer1 0000000000000000 l d .ctors 0000000000000000 .ctors 0000000000000024 l F .text 0000000000000024 initializer2 0000000000000000 l d .note.GNU-stack 0000000000000000 .note .GNU-stack 0000000000000000 l d .eh_frame 0000000000000000 .eh_frame 0000000000000000 l d .comment 0000000000000000 .comment 0000000000000000 *UND* 0000000000000000 _GLOBAL_OFFSET_TABLE_ 0000000000000000 *UND* 0000000000000000 puts 0000000000000000 *UND* 0000000000000000 stdout 0000000000000000 *UND* 0000000000000000 fflush RELOCATION RECORDS FOR [.text]: OFFSET TYPE VALUE 0000000000000007 R_X86_64_PC32 .rodata-0x0000000000000004 000000000000000c R_X86_64_PLT32 puts-0x0000000000000004 0000000000000013 R_X86_64_GOTPCREL stdout-0x0000000000000004 000000000000001e R_X86_64_PLT32 fflush-0x0000000000000004 000000000000002b R_X86_64_PC32 .rodata+0x000000000000000d 0000000000000030 R_X86_64_PLT32 puts-0x0000000000000004 0000000000000037 R_X86_64_GOTPCREL stdout-0x0000000000000004 0000000000000042 R_X86_64_PLT32 fflush-0x0000000000000004 RELOCATION RECORDS FOR [.ctors]: OFFSET TYPE VALUE 0000000000000000 R_X86_64_64 .text 0000000000000008 R_X86_64_64 .text+0x0000000000000024 RELOCATION RECORDS FOR [.eh_frame]: OFFSET TYPE VALUE 0000000000000020 R_X86_64_PC32 .text 0000000000000040 R_X86_64_PC32 .text+0x0000000000000024 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5435#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0