November 2015 - ghc-tickets

[GHC] #10955: GHC on windows does not resolve DLL dependencies
by GHC 07 Nov '15

07 Nov '15

#10955: GHC on windows does not resolve DLL dependencies -------------------------------------+------------------------------------- Reporter: Phyx- | Owner: Phyx- Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Runtime | Version: 7.10.2 System (Linker) | Keywords: | Operating System: Windows Architecture: | Type of failure: Runtime crash Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- GHC does not correctly tell the Windows Loader how to handle dependencies to dll's that are not on the standard windows load path: 1. The directory from which the application loaded. 2. The current directory. 3. The system directory. Use the `GetSystemDirectory` function to get the path of this directory. 4. The 16-bit system directory. There is no function that obtains the path of this directory, but it is searched. 5. The Windows directory. Use the `GetWindowsDirectory` function to get the path of this directory. 6. The directories that are listed in the `PATH` environment variable. Note that this does not include the per-application path specified by the App Paths registry key. The App Paths key is not used when computing the DLL search path. So what this means is given two DLLs `A` and `B` and `B` depending on `A`. If we put both DLLs into a new folder `bin` and then call GHC with: `ghc -L$(PWD)/bin -lB` the loading will fail as the Windows loader will try to load the dependency of `B` and fail since it cannot find `A`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10955> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #4837: Template Haskell does not work in a profiled compiler.
by GHC 07 Nov '15

07 Nov '15

#4837: Template Haskell does not work in a profiled compiler. -------------------------------------+------------------------------------- Reporter: benl | Owner: simonmar Type: bug | Status: closed Priority: high | Milestone: 8.0.1 Component: Profiling | Version: 7.0.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC doesn't work | Unknown/Multiple at all | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonmar): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4837#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #545: GHCi + profiling doesn't work
by GHC 07 Nov '15

07 Nov '15

#545: GHCi + profiling doesn't work -------------------------------------+------------------------------------- Reporter: nilsanders | Owner: simonmar Type: feature request | Status: closed Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 5.0 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonmar): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/545#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #545: GHCi + profiling doesn't work
by GHC 07 Nov '15

07 Nov '15

#545: GHCi + profiling doesn't work -------------------------------------+------------------------------------- Reporter: nilsanders | Owner: simonmar Type: feature request | Status: new Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 5.0 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Simon Marlow <marlowsd@…>): In [changeset:"ce1f1607ed7f8fedd2f63c8610cafefd59baaf32/ghc" ce1f1607/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="ce1f1607ed7f8fedd2f63c8610cafefd59baaf32" Make GHCi & TH work when the compiler is built with -prof Summary: Amazingly, there were zero changes to the byte code generator and very few changes to the interpreter - mainly because we've used good abstractions that hide the differences between profiling and non-profiling. So that bit was pleasantly straightforward, but there were a pile of other wibbles to get the whole test suite through. Note that a compiler built with -prof is now like one built with -dynamic, in that to use TH you have to build the code the same way. For dynamic, we automatically enable -dynamic-too when TH is required, but we don't have anything equivalent for profiling, so you have to explicitly use -prof when building code that uses TH with a profiled compiler. For this reason Cabal won't work with TH. We don't expect to ship a profiled compiler, so I think that's OK. Test Plan: validate with GhcProfiled=YES in validate.mk Reviewers: goldfire, bgamari, rwbarton, austin, hvr, erikd, ezyang Reviewed By: ezyang Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1407 GHC Trac Issues: #4837, #545 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/545#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4837: Template Haskell does not work in a profiled compiler.
by GHC 07 Nov '15

07 Nov '15

#4837: Template Haskell does not work in a profiled compiler. -------------------------------------+------------------------------------- Reporter: benl | Owner: simonmar Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: Profiling | Version: 7.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC doesn't work | Unknown/Multiple at all | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Simon Marlow <marlowsd@…>): In [changeset:"ce1f1607ed7f8fedd2f63c8610cafefd59baaf32/ghc" ce1f1607/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="ce1f1607ed7f8fedd2f63c8610cafefd59baaf32" Make GHCi & TH work when the compiler is built with -prof Summary: Amazingly, there were zero changes to the byte code generator and very few changes to the interpreter - mainly because we've used good abstractions that hide the differences between profiling and non-profiling. So that bit was pleasantly straightforward, but there were a pile of other wibbles to get the whole test suite through. Note that a compiler built with -prof is now like one built with -dynamic, in that to use TH you have to build the code the same way. For dynamic, we automatically enable -dynamic-too when TH is required, but we don't have anything equivalent for profiling, so you have to explicitly use -prof when building code that uses TH with a profiled compiler. For this reason Cabal won't work with TH. We don't expect to ship a profiled compiler, so I think that's OK. Test Plan: validate with GhcProfiled=YES in validate.mk Reviewers: goldfire, bgamari, rwbarton, austin, hvr, erikd, ezyang Reviewed By: ezyang Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1407 GHC Trac Issues: #4837, #545 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4837#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4863: TH crashes if you reify the Name of a dfun
by GHC 06 Nov '15

06 Nov '15

#4863: TH crashes if you reify the Name of a dfun -------------------------------------+------------------------------------- Reporter: guest | Owner: simonpj Type: bug | Status: new Priority: low | Milestone: ⊥ Component: Template Haskell | Version: 7.0.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by jstolarek): * cc: goldfire, jstolarek (added) Comment: Is this problem still present in the current implementation of TH? `classInstances` (now: `reifyInstances`) returns a proper list of instance declarations. I don't see any `Name`s inside `InstanceD` constructor so I'm not sure if there's anything more to reify after calling `reifyInstance`? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4863#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1830: Automatic derivation of Lift
by GHC 06 Nov '15

06 Nov '15

#1830: Automatic derivation of Lift -------------------------------------+------------------------------------- Reporter: guest | Owner: RyanGlScott Type: feature request | Status: closed Priority: normal | Milestone: ⊥ Component: Template Haskell | Version: 6.8.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1168 Wiki Page: | -------------------------------------+------------------------------------- Changes (by jstolarek): * status: new => closed * resolution: => fixed Comment: Phab revision is closed and the patches have been merged - I believe this ticket should also be closed. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1830#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9591: Add custom "Wiki" field in Trac
by GHC 06 Nov '15

06 Nov '15

#9591: Add custom "Wiki" field in Trac -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: hvr Type: feature request | Status: new Priority: normal | Milestone: Component: Trac & Git | Version: Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- I want to request a new custom field to Trac called "Wiki page"? Tickets that are about implementing a larger feature have an accompanying wiki page that summarizes the design. It would help my workflow if I could just get to that wiki page from the top of a Trac ticket. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9591> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #11059: panic in type hole when using 'ScopedTypeVariables'
by GHC 05 Nov '15

05 Nov '15

#11059: panic in type hole when using 'ScopedTypeVariables' ----------------------------------------+--------------------------------- Reporter: dimitri-xyz | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+--------------------------------- I got the following error message: {{{ [1 of 1] Compiling Main ( ghc-bug.hs, ghc-bug.o ) ghc-bug.hs:27:5: Couldn't match type ‘m’ with ‘IO’ ‘m’ is untouchable inside the constraints (Ord seqNum, Num seqNum) bound by the type signature for mkConsecutive :: (Ord seqNum, Num seqNum) => (value -> seqNum) -> Int -> Pipe value value IO () at ghc-bug.hs:22:18-116ghc: panic! (the 'impossible' happened) (GHC version 7.10.2 for x86_64-apple-darwin): No skolem info: m_a1qw[sk] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} when compiling the following file: {{{ {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE ScopedTypeVariables #-} import Data.List import Data.IORef import Control.Monad import Data.PriorityQueue.FingerTree as PQ import Pipes import Pipes.Concurrent import qualified Pipes.Prelude as P main = runEffect $ P.stdinLn >-> mkConsecutive length 20 >-> P.stdoutLn -- Ensure messages are received in order. -- FIX ME!! buffer should allow at most 20 messages. mkConsecutive :: forall value seqNum. (Ord seqNum, Num seqNum) => (value -> seqNum) -> Int -> Pipe value value IO () mkConsecutive f maxSize = do msg1 <- await yield msg1 curRef <- liftIO $ newIORef (f msg1, PQ.empty) forever $ do msg <- await (cur, pq) <- liftIO $ readIORef curRef let pq' = PQ.add (f msg) msg pq next cur pq' curRef where -- next :: (Ord seqNum, Num seqNum) => seqNum -- -> PQ.PQueue seqNum value -- -> IORef (seqNum, PQ.PQueue seqNum avalue) -- -> Pipe value value IO () next :: _ next cur pq curRef = case PQ.minView pq of Nothing -> liftIO $ writeIORef curRef (cur, pq) Just (minVal, pq') -> if f minVal == cur + 1 then do yield minVal next (f minVal) pq' curRef else do liftIO $ writeIORef curRef (cur, pq) }}} I am using Pipes-4.1.6 and fingertree-0.1.1.0. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11059> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #11061: GHC 7.10.3 RC1: build broken on OS X
by GHC 05 Nov '15

05 Nov '15

#11061: GHC 7.10.3 RC1: build broken on OS X -------------------------------------+------------------------------------- Reporter: trommler | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.10.3 Component: Build System | Version: 7.10.2 Keywords: | Operating System: MacOS X Architecture: | Type of failure: Building GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Richard reported on ghc-devs: > {{{ > checking for readelf... no > configure: error: cannot find readelf in your PATH > }}} OS X uses Mach-O not ELF. So `readelf` does not work on Mach-O binaries. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11061> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1