June 2015 - ghc-tickets

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 03 Jun '15

03 Jun '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by puffnfresh): My gist also seems to suggest CSE is involved, right? I can reproduce comment:76 with 7.10 but with master I can not. I'd like to look into this more but I can't find anything easily reproducible with master. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:97> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 03 Jun '15

03 Jun '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by simonmar): @thoughtpolice: did you check that `-fno-cse` works around it? I thought it might be due to shortcutting rather than actual CSE. @Fuuzetsu we don't think there's a new regression in 7.10, but we think it is possibly more likely to happen due to the Applicative/Monad changes, because we often see `pure = return`. This triggers the condition in the second bullet point in the description. I'm actively trying to convince people to work on this, because it's important. (I might end up working on it myself if I can find time). But beyond temporary workarounds, it's very unlikely that anything will happen on the 7.10 branch. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:96> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9506: Name libraries (dll/so) separately from linker symbols
by GHC 03 Jun '15

03 Jun '15

#9506: Name libraries (dll/so) separately from linker symbols -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Keywords: backpack | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Tracking ticket so I don't forget. Based on feedback on `#ghc`, it sounds like it would be helpful if library names on the file system only had their full package name, e.g. `libHScontainers_HASH.so` as opposed to the abbreviated package name. Additionally, it seems less necessary to provide the abbreviated package name in linker symbols, since the modules often give a pretty good clue (and the package key can be looked up.) So let's do this, and make things better for users. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9506> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7746: Support loading/unloading profiled objects from a profiled executable
by GHC 03 Jun '15

03 Jun '15

#7746: Support loading/unloading profiled objects from a profiled executable -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: feature request | Status: new Priority: low | Milestone: ⊥ Component: Runtime System | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: 5435, 8039 | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by ezyang): * priority: normal => low * milestone: 7.12.1 => ⊥ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7746#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7672: boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module
by GHC 03 Jun '15

03 Jun '15

#7672: boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module -------------------------------------+------------------------------------- Reporter: skilpat | Owner: ezyang Type: bug | Status: closed Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.4.2 checker) | Keywords: backpack Resolution: fixed | Architecture: x86_64 Operating System: Linux | (amd64) Type of failure: GHC rejects | Test Case: valid program | rename/should_compile/T7672 Blocked By: | Blocking: 10336 Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by ezyang): * status: new => closed * resolution: => fixed Comment: Thank you Simon! Marking as fixed. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7672#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10460: Allow foreign prim to return Any
by GHC 03 Jun '15

03 Jun '15

#10460: Allow foreign prim to return Any -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: feature | Status: new request | Milestone: 7.12.1 Priority: normal | Version: 7.11 Component: Compiler | Operating System: Unknown/Multiple (Type checker) | Type of failure: GHC rejects Keywords: | valid program Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Presently, we have {{{ {-# LANGUAGE GHCForeignImportPrim #-} module Serum where import GHC.Exts foreign import prim "chenycopy" cheneycopy :: Any -> Any }}} induces the error {{{ Serum.hs:5:1: Unacceptable result type in foreign declaration: ‘Any’ cannot be marshalled in a foreign call When checking declaration: foreign import prim safe "static chenycopy" cheneycopy :: Any -> Any }}} We ought to allow a lifted value to be returned from a foreign primop; no reason not to, anyway; no reason not to, and there are plenty of built-in primops which do this. For reference, lifted arguments were allowed in arugments in this commit: {{{ commit e29001c9e0f73885c0b85d86c3a854519448013a Author: Joachim Breitner <mail(a)joachim-breitner.de> Mon Mar 12 01:20:12 2012 Committer: Simon Marlow <marlowsd(a)gmail.com> Wed Mar 14 06:01:18 2012 Allow Any as an argument type to foreign prim functions }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10460> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

Re: [GHC] #4806: Make error message more user friendly when module is not found because package is unusable
by GHC 03 Jun '15

03 Jun '15

#4806: Make error message more user friendly when module is not found because package is unusable -------------------------------------+------------------------------------- Reporter: mitar | Owner: lstrano Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by lstrano): * owner: => lstrano -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4806#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 03 Jun '15

03 Jun '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thoughtpolice): Also, just a random tidbit: the (excellent!) test in comment:76 can in fact be solved by simply compiling with `-fno-cse` - the nondeterministic ordering of bindings is the culprit in that case, and CSE chooses `return` or `pure` based on what shirt you're wearing. If determinism here is hurting NixOS, it may be preferrable to simply switch off CSE by default or always default to `-fno-cse` for every compilation. That sucks, but in the mean time it may help while we work towards a real fix (having a deterministic ordering for Uniques). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:95> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7672: boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module
by GHC 03 Jun '15

03 Jun '15

#7672: boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module -------------------------------------+------------------------------------- Reporter: skilpat | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.4.2 checker) | Keywords: backpack Resolution: | Architecture: x86_64 Operating System: Linux | (amd64) Type of failure: GHC rejects | Test Case: valid program | rename/should_compile/T7672 Blocked By: | Blocking: 10336 Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by simonpj): I've finally nailed this one. I thought it was going to be easy and just got sucked in. But I did lots of good clean-up along the way. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7672#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 03 Jun '15

03 Jun '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thoughtpolice): It wasn't really clear to me that we were still aiming to fix that for 7.10.2. If you think it should be fixed here, then sure, we can just remilestone it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:94> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0