- ghc-tickets - Haskell.org

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

04 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 04 Jun '15

04 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

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 Simon Peyton Jones <simonpj@…>): In [changeset:"7ea156ae3e1c66e59935f0eb877ea1a3f3bfd5b9/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="7ea156ae3e1c66e59935f0eb877ea1a3f3bfd5b9" Refactor RdrName.Provenance, to fix #7672 Trac #7672 has a data type T in module A that is in scope *both* locally-bound *and* imported (with a qualified) name. The Provenance of a GlobalRdrElt simply couldn't express that before. Now you can. In doing so, I flattened out Provenance into GlobalRdrElt, so quite a lot of modules are touched in a not-very-interesting way. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7672#comment:17> 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 simonpj): Fuuzetsu: see comment:83. It's just lack of a volunteer to actually dig into this and fix it. We can just hold up 7.10.2 until a volunteer appears, or until I get free enough to do it. Or we can push 7.10.2 out regardless (current plan). Open source projects are like this: they rely heavily on volunteers. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:93> 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 Fuuzetsu): Austin, is there a reason why we're punting to 7.12? Joachim's patch doesn't affect the main complaint I had with 7.10 which was the pure/return specialisation stuff. I even said above >But I also don't want to hold up any other fixes. I wish only to not end up in a situation where the final 7.10.x is released and to get much else in we have to wait for 7.12. As long as it's fixed in 7.10 somewhere, I'm happy. To us (nix), it's really not acceptable that we have to daily tell users to delete their packages and just try again praying that this time around something more consistent comes up. puffnfresh, yes, great, very useful, big part of this ticket as a whole is to even find out what breaks. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:92> 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 puffnfresh): I'm going to try and start submitting data when I hit this bug. Here is a diff of the Data.ByteString.Interal interface which I had built locally vs the one in Nix's cached GHC: https://gist.github.com/puffnfresh/fe3c86baf416114ef644#file-local-vs- cached-diff There seems to be some slightly different strictness and unfolding. The full files are included in that gist, in case they help. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:91> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0