- ghc-tickets - Haskell.org

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

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 simonpj): Great work. I'm going to add some top level comments here * I'd love a wiki page summarising the programmer's-eye-view of the design; and sketching the implementation. You may say that the programmer's eye view is in the paper, but (a) that's less accessible, and (b) details change, such as the type, which you have called `Ref`. * Bikeshed: I don't that is at all a good name... sounds mutable to me. I don't think `Static t` so bad. `StaticName` is ok, as is `StaticPtr`. * The type checker is not supposed to do program transformations like floating bindings to top level. It should be possible to display the output of the type checker in an IDE, exactly as the programmer wrote it, fully decorated with type information. 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. * I don't understand `checkStaticValues`. The typing rule for `static` in the paper is quite simple, so what is going on here? * What is `addrToAny#` and where is it documented? * I'm pretty convinced that static values (`Refs`) should come with a `TypeRep` -- or at least the fingerprint of a `TypeRep` so that we can reject bogus values. That wouldn't be hard, would it? The merit of having a `TypeRep` tree rather than just a fingerprint is that the error message might be more informative. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 07 Aug '14

07 Aug '14

#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Resolution: | Injective Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #4259 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by aavogt): * cc: vogt.adam@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:43> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3919: Or-patterns as GHC extension
by GHC 07 Aug '14

07 Aug '14

#3919: Or-patterns as GHC extension -------------------------------------+------------------------------------- Reporter: | Owner: BjornEdstrom | Status: new Type: feature | Milestone: ⊥ request | Version: Priority: normal | Keywords: Component: Compiler | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by rwbarton): * cc: rwbarton (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3919#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0