August 2014 - ghc-tickets

[GHC] #9425: ghc-HEAD (only in -O -fllvm aka 'optllvm') prunes yield in -fno-omit-yields mode
by GHC 11 Aug '14

11 Aug '14

#9425: ghc-HEAD (only in -O -fllvm aka 'optllvm') prunes yield in -fno-omit- yields mode -------------------------------------+------------------------------------- Reporter: slyfox | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Found on '''./validate --slow''' today: {{{#!hs Unexpected failures: concurrent/should_run T367_letnoescape [bad exit code] (optllvm) # run manually: $ LANG=C make fulltest stage=2 TEST=T367_letnoescape WAY=optllvm =====> T367_letnoescape(optllvm) 2419 of 4083 [0, 0, 0] cd ./concurrent/should_run && '/home/st/fun/ghc/inplace/bin/ghc-stage2' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package- db -rtsopts -fno-ghci-history -o T367_letnoescape T367_letnoescape.hs -O -fllvm -fno-omit-yields >T367_letnoescape.comp.stderr 2>&1 cd ./concurrent/should_run && ./T367_letnoescape </dev/null >T367_letnoescape.run.stdout 2>T367_letnoescape.run.stderr Timeout happened...killing process... Wrong exit code (expected 0 , actual 99 ) Stdout: Stderr: *** unexpected failure for T367_letnoescape(optllvm) }}} I've loaded test in gdb and manually interrupted it: {{{ ^C Program received signal SIGINT, Interrupt. 0x0000000000407110 in r5Wp_info () (gdb) disassemble Dump of assembler code for function r5Wp_info: 0x00000000004070f8 <+0>: mov 0x358(%r13),%rax 0x00000000004070ff <+7>: dec %r14 0x0000000000407102 <+10>: data32 data32 data32 data32 nopw %cs:0x0(%rax,%rax,1) => 0x0000000000407110 <+24>: inc %r14 0x0000000000407113 <+27>: test %rax,%rax 0x0000000000407116 <+30>: jne 0x407110 <r5Wp_info+24> 0x0000000000407118 <+32>: mov -0x8(%r13),%rax 0x000000000040711c <+36>: mov $0x8e0690,%ebx 0x0000000000407121 <+41>: jmpq *%rax End of assembler dump }}} Here we see 3 instructions-long dead loop. llvm-3.4.2, amd64-linux. Looks like yield code was not emitted or was moved away. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9425> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #5630: External Core needs love
by GHC 11 Aug '14

11 Aug '14

#5630: External Core needs love -------------------------------------+------------------------------------- Reporter: quux | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.2.1 Resolution: wontfix | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thoughtpolice): * milestone: 7.10.1 => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5630#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5630: External Core needs love
by GHC 11 Aug '14

11 Aug '14

#5630: External Core needs love -------------------------------------+------------------------------------- Reporter: quux | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.2.1 Resolution: wontfix | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thoughtpolice): * status: new => closed * resolution: => wontfix Comment: This bug is obsolete now, considering we've removed external core completely in HEAD. Nobody had maintained it for years, so it was pretty bitrotten. As a result I'm closing this as WONTFIX. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5630#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5630: External Core needs love
by GHC 11 Aug '14

11 Aug '14

#5630: External Core needs love -------------------------------------+------------------------------------- Reporter: quux | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.2.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by Fuuzetsu): While it was already moved up to 7.10, I'd like to mention that I just hit it in 7.8.3 so it has not gone away while noone was looking. Specifically I hit this with ‘sizes-2.3.1.1’ package. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5630#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7775: Mark intentionally omitted type class instances
by GHC 10 Aug '14

10 Aug '14

#7775: Mark intentionally omitted type class instances -------------------------------------+------------------------------------- Reporter: Lemming | Owner: Type: feature | Status: closed request | Milestone: Priority: normal | Version: 7.7 Component: Compiler | Keywords: instance warning (Type checker) | Architecture: Unknown/Multiple Resolution: wontfix | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by Lemming): Maybe it can still become true via #9334. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7775#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7919: Heap corruption (segfault) from large 'let' expression
by GHC 10 Aug '14

10 Aug '14

#7919: Heap corruption (segfault) from large 'let' expression -------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: bug | Status: infoneeded Priority: high | Milestone: 7.8.4 Component: Runtime | Version: 7.6.3 System | Keywords: Resolution: | Architecture: x86_64 (amd64) Operating System: Linux | Difficulty: Unknown Type of failure: Runtime | Blocked By: crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by rwbarton): The test case T7919 crashes for me some of the time when run with WAY=threaded2 in a validate tree. Haven't looked into exactly how that relates to this ticket, but thought I would report it here. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7919#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9189: Linking fails on OSX when -staticlib and -threaded are enabled
by GHC 10 Aug '14

10 Aug '14

#9189: Linking fails on OSX when -staticlib and -threaded are enabled -------------------------------------+------------------------------------- Reporter: frode | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: pthread staticlib | Operating System: MacOS X threaded | Type of failure: Compile-time Architecture: x86 | crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- I'm trying to build a library with ffi exported functions to be called from ObjectiveC in an Xcode project on OSX. With just -staticlib it works, but when I add -threaded as well I get a linker error saying that it cannot find pthread. This happens even with a trivial program: {{{ Test.hs: module Test where main :: IO () main = putStrLn "Hello" }}} {{{ $ ghc Test.hs -staticlib -threaded [1 of 1] Compiling Test ( Test.hs, Test.o ) Linking liba.a ... error: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/libtool: can't locate file for: -lpthread error: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/libtool: file: -lpthread is not an object file (not allowed in a library) }}} The linker command that fails: {{{ *** Linker: libtool -static -o liba.a Test.o -L/usr/local/lib/ghc-7.8.2/base-4.7.0.0 -L/usr/local/lib/ghc-7.8.2/integer-gmp-0.5.1.0 -L/usr/local/lib/ghc-7.8.2 /ghc-prim-0.3.1.0 -L/usr/local/lib/ghc-7.8.2/rts-1.0 /var/folders/jc/3pqglx_x3z9dk3gnxgh56tv80000gp/T/ghc26454_0/ghc26454_3.o -lHSbase-4.7.0.0 -lHSinteger-gmp-0.5.1.0 -lHSghc-prim-0.3.1.0 -lHSrts_thr -lCffi -lpthread }}} If I make a script that removes the -lpthread argument, it links ok and the project works with multiple threads calling my ffi-functions simultaneously. It was suggested by Bob on Haskell Cafe that it should not link against libpthread on OSX since it is included in libSystem (like IOS): https://groups.google.com/d/msg/haskell-cafe/GGEkifs_-uY/uzHeV-Z2E2YJ https://github.com/ghc/ghc/blob/master/compiler/main/DriverPipeline.hs#L186… OSX version 10.9.3 Verbose output: {{{ $ ghc Test.hs -staticlib -threaded -v Glasgow Haskell Compiler, Version 7.8.2, stage 2 booted by GHC version 7.6.3 Using binary package database: /usr/local/lib/ghc-7.8.2/package.conf.d/package.cache Using binary package database: /Users/frode/.ghc/x86_64-darwin-7.8.2/package.conf.d/package.cache hiding package Cabal-1.18.1.3 to avoid conflict with later version Cabal-1.20.0.0 hiding package hoauth2-0.3.6.2 to avoid conflict with later version hoauth2-0.3.7 hiding package hoauth2-0.3.6.1 to avoid conflict with later version hoauth2-0.3.7 wired-in package ghc-prim mapped to ghc- prim-0.3.1.0-948744e1f99cc8bcc7c7d3ba60c7c2d8 wired-in package integer-gmp mapped to integer- gmp-0.5.1.0-dc47f6b546fc171f67a7f7d311684a99 wired-in package base mapped to base-4.7.0.0-a333addb6892f3cc2e6baa5ec782bd04 wired-in package rts mapped to builtin_rts wired-in package template-haskell mapped to template- haskell-2.9.0.0-ed6ecfb467e6936688bb20f968f702e1 wired-in package dph-seq not found. wired-in package dph-par not found. Hsc static flags: hiding package Cabal-1.18.1.3 to avoid conflict with later version Cabal-1.20.0.0 hiding package hoauth2-0.3.6.2 to avoid conflict with later version hoauth2-0.3.7 hiding package hoauth2-0.3.6.1 to avoid conflict with later version hoauth2-0.3.7 wired-in package ghc-prim mapped to ghc- prim-0.3.1.0-948744e1f99cc8bcc7c7d3ba60c7c2d8 wired-in package integer-gmp mapped to integer- gmp-0.5.1.0-dc47f6b546fc171f67a7f7d311684a99 wired-in package base mapped to base-4.7.0.0-a333addb6892f3cc2e6baa5ec782bd04 wired-in package rts mapped to builtin_rts wired-in package template-haskell mapped to template- haskell-2.9.0.0-ed6ecfb467e6936688bb20f968f702e1 wired-in package dph-seq not found. wired-in package dph-par not found. *** Chasing dependencies: Chasing modules from: *Test.hs Stable obj: [Test] Stable BCO: [] Ready for upsweep [NONREC ModSummary { ms_hs_date = 2014-06-10 10:02:41 UTC ms_mod = main:Test, ms_textual_imps = [import (implicit) Prelude] ms_srcimps = [] }] *** Deleting temp files: Deleting: compile: input file Test.hs Created temporary directory: /var/folders/jc/3pqglx_x3z9dk3gnxgh56tv80000gp/T/ghc26454_0 *** Checking old interface for main:Test: [1 of 1] Skipping Test ( Test.hs, Test.o ) Upsweep completely successful. *** Deleting temp files: Deleting: /var/folders/jc/3pqglx_x3z9dk3gnxgh56tv80000gp/T/ghc26454_0/ghc26454_1.s Warning: deleting non-existent /var/folders/jc/3pqglx_x3z9dk3gnxgh56tv80000gp/T/ghc26454_0/ghc26454_1.s link: linkables are ... LinkableM (2014-06-10 10:02:55 UTC) main:Test [DotO Test.o] Linking liba.a ... *** C Compiler: /usr/bin/gcc -m64 -fno-stack-protector -DTABLES_NEXT_TO_CODE -c /var/folders/jc/3pqglx_x3z9dk3gnxgh56tv80000gp/T/ghc26454_0/ghc26454_2.c -o /var/folders/jc/3pqglx_x3z9dk3gnxgh56tv80000gp/T/ghc26454_0/ghc26454_3.o -I/usr/local/lib/ghc-7.8.2/include *** Linker: libtool -static -o liba.a Test.o -L/usr/local/lib/ghc-7.8.2/base-4.7.0.0 -L/usr/local/lib/ghc-7.8.2/integer-gmp-0.5.1.0 -L/usr/local/lib/ghc-7.8.2 /ghc-prim-0.3.1.0 -L/usr/local/lib/ghc-7.8.2/rts-1.0 /var/folders/jc/3pqglx_x3z9dk3gnxgh56tv80000gp/T/ghc26454_0/ghc26454_3.o -lHSbase-4.7.0.0 -lHSinteger-gmp-0.5.1.0 -lHSghc-prim-0.3.1.0 -lHSrts_thr -lCffi -lpthread error: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/libtool: can't locate file for: -lpthread error: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/libtool: file: -lpthread is not an object file (not allowed in a library) *** Deleting temp files: Deleting: /var/folders/jc/3pqglx_x3z9dk3gnxgh56tv80000gp/T/ghc26454_0/ghc26454_3.o /var/folders/jc/3pqglx_x3z9dk3gnxgh56tv80000gp/T/ghc26454_0/ghc26454_2.c *** Deleting temp dirs: Deleting: /var/folders/jc/3pqglx_x3z9dk3gnxgh56tv80000gp/T/ghc26454_0 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9189> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #1631: Make the External Package Table contain ModDetails not ModIface
by GHC 08 Aug '14

08 Aug '14

#1631: Make the External Package Table contain ModDetails not ModIface -------------------------------------+------------------------------------- Reporter: simonpj | Owner: ezyang Type: task | Status: new Priority: lowest | Milestone: 7.10.1 Component: Compiler | Version: 6.6.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by ezyang): * owner: => ezyang Comment: I need this for #9252: here, we may have a module in the EPT which we want to compare against an hsig we compiled locally, and we need a full `ModDetails` for this comparison and not just a stubbed out `ModIface`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1631#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7015: Add support for 'static'
by GHC 08 Aug '14

08 Aug '14

#7015: Add support for 'static' -------------------------------------+------------------------------------- Reporter: edsko | Owner: Type: feature | Status: patch request | Milestone: 7.10.1 Priority: normal | Version: 7.4.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D119 | -------------------------------------+------------------------------------- Comment (by facundo.dominguez): Replying to [comment:12 simonpj]: > * I'd love a wiki page summarising the programmer's-eye-view of the design; ... Good suggestion. > * What is `addrToAny#` and where is it documented? Found here: http://www.haskell.org/ghc/docs/latest/html/libraries/ghc-prim-0.3.1.0 /GHC-Prim.html#v:addrToAny-35- > * ... So I think it'd be better if the desugarer did the floating, not the type checker. That should not be a hard change to make. Sure, we can try it. > * I don't understand `checkStaticValues`. The typing rule for `static` in the paper is quite simple, so what is going on here? One of the major design choices we had to make is how to handle qualified types. Say we have the expression `static return`, we had to choose between giving it types like: {{{ static return :: Ref (Monad m => a -> m a) static return :: Monad m => Ref (a -> m a) }}} or disallowed them completely. The last option looked the simplest while still useful, so we disallowed static forms whose bodies have qualified types. Now, say we want to type- check an expression like {{{ f :: Ref (a -> IO a) f = static return }}} We expect the expression `return` to have type `a -> IO a`. Yet we don't know if the type of `return` will be qualified or not until the whole definition of `f` is type-checked. `f` could have more equations and no type signature, or we may even have to wait for the whole module to be type-checked because of the monomorphism restriction. `checkStaticValues` is the piece of the implementation that considers if the body of the static form has a qualified type. And this, we understand, is only practical to do after the whole module has been type-checked. > * I'm pretty convinced that static values (`Refs`) should come with a `TypeRep` ... In case you mean Data.Typeable.TypeRep, how could we deal with static forms whose bodies have a polymorphic type? > Bikeshed: ... I leave this for later. Thanks for looking at the implementation. It really needs the feedback. And probably, we should document better the design and discuss it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7191: hsc2hs can't treat absolute path correctly on Windows.
by GHC 08 Aug '14

08 Aug '14

#7191: hsc2hs can't treat absolute path correctly on Windows. -------------------------------------+------------------------------------- Reporter: shelarcy | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: hsc2hs | Version: 7.8.1-rc2 Resolution: | Keywords: Operating System: Windows | Architecture: Unknown/Multiple Type of failure: | Difficulty: Unknown None/Unknown | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by edwinhere): * owner: igloo => * status: closed => new * version: 7.4.1 => 7.8.1-rc2 * resolution: fixed => * milestone: 7.6.2 => Comment: We need to reopen this for hsc2hs version 0.67 and GHC version 7.8.3 into Haskell platform 2014.2.0.0 for Windows. I am still getting the error. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7191#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0