May 2016 - ghc-tickets

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

16 May '16

#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: 8.0.1 Component: Compiler (Type | Version: 7.4.2 checker) | Keywords: backpack, hs- Resolution: fixed | boot Operating System: Linux | Architecture: x86_64 | (amd64) Type of failure: GHC rejects | Test Case: valid program | rename/should_compile/T7672 Blocked By: | Blocking: 10336 Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * keywords: backpack => backpack, hs-boot -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7672#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10333: hs-boot modification doesn't induce recompilation
by GHC 16 May '16

16 May '16

#10333: hs-boot modification doesn't induce recompilation -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC accepts Unknown/Multiple | invalid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Consider these modules: X.hs-boot {{{ module X where }}} Y.hs {{{ module Y where import {-# SOURCE #-} X data T = T data S = S T }}} X.hs {{{ module X where import Y }}} `ghc --make Y.hs` will compile fine. Now, modify `X.hs-boot` to add a `data T` (which will cause an ambiguous identifier error in Y.hx`. Run `ghc --make Y.hs` and nothing happens! (You might also notice something else a bit funny, which is that `X.hs` gets compiled, even though it's not directly in the import chain of Y. I think this might be intentional but I'm not sure.) Discovered this while poking around #10182. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10333> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 16 May '16

16 May '16

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: niteria Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: 11362 | Blocking: Related Tickets: #10424 | Differential Rev(s): Phab:D910, | Phab:D1073, Phab:D1133, Phab:D1192, | Phab:D1268, Phab:D1360, Phab:D1373, Wiki Page: | Phab:D1396, Phab:D1457, Phab:D1468, DeterministicBuilds | Phab:D1487, Phab:D1504, Phab:D1508 -------------------------------------+------------------------------------- Comment (by Bartosz Nitka <niteria@…>): In [changeset:"21fe4ffd049c8ab4b9ee36af3cf8f70b46d6beda/ghc" 21fe4ff/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="21fe4ffd049c8ab4b9ee36af3cf8f70b46d6beda" Kill varSetElems in tcInferPatSynDecl varSetElems introduces unnecessary non-determinism and while I didn't estabilish experimentally that this matters here I'm convinced that it will, because I expect pattern synonyms to end up in interface files. Test Plan: ./validate Reviewers: austin, simonmar, bgamari, mpickering, simonpj Reviewed By: simonpj Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D2206 GHC Trac Issues: #4012 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:169> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12071: PowerPC: RTS SMP functions lack memory barriers
by GHC 16 May '16

16 May '16

#12071: PowerPC: RTS SMP functions lack memory barriers -------------------------------------+------------------------------------- Reporter: trommler | Owner: trommler Type: bug | Status: new Priority: normal | Milestone: 8.0.2 Component: Runtime | Version: 8.0.1 System | Keywords: PowerPC SMP | Operating System: Unknown/Multiple Architecture: | Type of failure: Runtime crash Unknown/Multiple | Test Case: | Blocked By: concurrent/prog001/concprog001 | Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- @hvr reported on POWER7 big endian (powerpc64) and on AIX (powerpc): {{{ internal error: END_TSO_QUEUE object entered! (GHC version 8.0.0.20160421 for powerpc64_unknown_linux) }}} Also `concprog001` segfaults, which I falsely attributed to #11259 (no runtime linker support) when I marked the test broken on powerpc64. I propose to use gcc and clang `_sync_*` built-ins that are already used in `libraries/ghc-prim/cbits/atomic.c` instead of CPP ifdefs and inline assembly. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12071> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #12061: Allow duplicate record fields in pattern synonyms
by GHC 15 May '16

15 May '16

#12061: Allow duplicate record fields in pattern synonyms -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: Keywords: | Operating System: Unknown/Multiple PatternSynonyms | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- `DuplicateRecordFields` seems to not work for pattern synonyms {{{#!hs {-# Language PatternSynonyms, DuplicateRecordFields, NamedFieldPuns #-} pattern A{x} = Just x pattern B{x} = Just x }}} {{{ tg4t.hs:4:11: error: … Multiple declarations of ‘x’ Declared at: /tmp/tg4t.hs:3:11 /tmp/tg4t.hs:4:11 Compilation failed. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12061> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #4900: Consider usage files in the GHCi recompilation check
by GHC 15 May '16

15 May '16

#4900: Consider usage files in the GHCi recompilation check -------------------------------------+------------------------------------- Reporter: cdsmith | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: TH_Depends Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by shahn): * cc: soenkehahn@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4900#comment:79> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2412: Interaction between type synonyms and .hs-boot causes panic "tcIfaceGlobal (local): not found"
by GHC 15 May '16

15 May '16

#2412: Interaction between type synonyms and .hs-boot causes panic "tcIfaceGlobal (local): not found" -------------------------------------+------------------------------------- Reporter: batterseapower | Owner: igloo Type: bug | Status: closed Priority: normal | Milestone: 6.10.1 Component: Compiler | Version: 6.9 Resolution: fixed | Keywords: hs-boot Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: T2412 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by ezyang): * keywords: => hs-boot * failure: => None/Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2412#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1012: ghc panic with mutually recursive modules and template haskell
by GHC 14 May '16

14 May '16

#1012: ghc panic with mutually recursive modules and template haskell -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: lowest | Milestone: Component: Template Haskell | Version: 6.8.2 Resolution: | Keywords: hs-boot Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | TH_import_loop Blocked By: | Blocking: Related Tickets: #9032 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by ezyang): This bug still exists in GHC 8.0, although it can be a bit tricky to trigger if the topsort picks an ordering of modules which masks the error. I found this especially surprising because in the parallel upsweep case we seem to try to block, c.f. this comment in GhcMake {{{ 2. A module that depends on a module in an external loop can't proceed until the entire loop is re-typechecked. }}} and this code: {{{ -- If this module depends on a module within a loop then it must wait for -- that loop to get re-typechecked, i.e. it must wait on the module that -- finishes that loop. These extra dependencies are this module's -- "external" loop dependencies, because this module is outside of the -- loop(s) in question. let ext_loop_deps = Set.fromList [ head loop | loop <- comp_graph_loops , any (`Set.member` textual_deps) loop , this_build_mod `notElem` loop ] }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1012#comment:42> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1012: ghc panic with mutually recursive modules and template haskell
by GHC 14 May '16

14 May '16

#1012: ghc panic with mutually recursive modules and template haskell -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: lowest | Milestone: Component: Template Haskell | Version: 6.8.2 Resolution: | Keywords: hs-boot Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | TH_import_loop Blocked By: | Blocking: Related Tickets: #9032 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by ezyang): * keywords: => hs-boot -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1012#comment:41> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4003: tcIfaceGlobal panic building HEAD with 6.12.2
by GHC 14 May '16

14 May '16

#4003: tcIfaceGlobal panic building HEAD with 6.12.2 -------------------------------------+------------------------------------- Reporter: simonmar | Owner: igloo Type: bug | Status: closed Priority: highest | Milestone: 6.12.3 Component: Compiler | Version: 6.12.2 Resolution: fixed | Keywords: hs-boot Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: T4003 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by ezyang): * keywords: => hs-boot -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4003#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0