November 2015 - ghc-tickets

Re: [GHC] #4931: hsc2hs emits invalid OPTIONS_GHC pragmas
by GHC 11 Nov '15

11 Nov '15

#4931: hsc2hs emits invalid OPTIONS_GHC pragmas -------------------------------------+------------------------------------- Reporter: awson | Owner: thomie Type: bug | Status: closed Priority: low | Milestone: 8.0.1 Component: hsc2hs | Version: 7.0.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: driver/T4931 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1452 Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4931#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4931: hsc2hs emits invalid OPTIONS_GHC pragmas
by GHC 11 Nov '15

11 Nov '15

#4931: hsc2hs emits invalid OPTIONS_GHC pragmas -------------------------------------+------------------------------------- Reporter: awson | Owner: thomie Type: bug | Status: patch Priority: low | Milestone: 8.0.1 Component: hsc2hs | Version: 7.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: driver/T4931 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1452 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"fbc2537c0b2cbe947684bb39669643f1ef9d96c0/ghc" fbc2537/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="fbc2537c0b2cbe947684bb39669643f1ef9d96c0" OPTIONS_GHC compiler flags may contain spaces (#4931) When a .hsc contains `#define FOO "bar baz"`, hsc2hs emits: {-# OPTIONS_GHC -optc-DFOO="bar baz" #-} Make sure GHC can compile this, by tweaking `HeaderInfo.getOptions` a bit. Test Plan: driver/T4931 Reviewers: austin, bgamari Reviewed By: bgamari Differential Revision: https://phabricator.haskell.org/D1452 GHC Trac Issues: #4931 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4931#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11055: GHC 7.8.4 crash on ARM while building Stack 0.1.7
by GHC 11 Nov '15

11 Nov '15

#11055: GHC 7.8.4 crash on ARM while building Stack 0.1.7 --------------------------------+--------------------------------------- Reporter: Lokathor | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.4 Keywords: | Operating System: Linux Architecture: arm | Type of failure: Compile-time crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------+--------------------------------------- I was attempting to get stack on a raspberry pi 2. I had made a sandbox and installed the dependencies just fine. I go to build stack itself and the following happens: {{{ daniel@pixie stack $ cabal build Package has never been configured. Configuring with default flags. If this fails, please run configure manually. Resolving dependencies... Configuring stack-0.1.7.0... Building stack-0.1.7.0... Preprocessing library stack-0.1.7.0... [ 1 of 74] Compiling Data.Set.Monad ( src/Data/Set/Monad.hs, dist/build/Data/Set/Monad.o ) ghc: internal error: scavenge: unimplemented/strange closure type 15028 @ 0x6dfe143c (GHC version 7.8.4 for arm_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Aborted }}} The folder is still there so I could attach files or some such if needed. I know that GHC on ARM is full of weird instruction problems that have only recently been fixed, but I wasn't sure if this was related or not. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11055> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #7983: Bug in hsc2hs --cross-safe
by GHC 10 Nov '15

10 Nov '15

#7983: Bug in hsc2hs --cross-safe -------------------------------------+------------------------------------- Reporter: singpolyma | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: hsc2hs | Version: 7.6.3 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 thomie): This is caused by a regression in GCC from gcc-4.4 to gcc-4.6: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=46028 {{{ $ cat Test_hsc_test0.c void _hsc2hs_test1() { static int test_array[(89.) > 0 ? 2 : 1]; } $ /usr/bin/gcc-4.4 -c ./Test_hsc_test0.c $ /usr/bin/gcc-4.6 -c ./Test_hsc_test0.c ./Test_hsc_test0.c: In function ‘_hsc2hs_test1’: ./Test_hsc_test0.c:3:16: error: storage size of ‘test_array’ isn’t constant }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7983#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3589: Recompilation checker doesn't take into account CPP headers
by GHC 10 Nov '15

10 Nov '15

#3589: Recompilation checker doesn't take into account CPP headers -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.4.1 Component: Compiler | Version: 6.10.4 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | driver/recomp011/recomp011 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * testcase: => driver/recomp011/recomp011 Comment: In commit 5262def14ba7b8b6c8d1aea6860226da65cc4248: {{{ Author: Simon Marlow <marlowsd(a)gmail.com> Date: Fri Nov 18 12:40:47 2011 +0000 test for #3589 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3589#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11007: Type family injectivity annotations ignored in hs-boot files
by GHC 10 Nov '15

10 Nov '15

#11007: Type family injectivity annotations ignored in hs-boot files -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.11 (Type checker) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Here's the test case: {{{ -- A.hs-boot {-# LANGUAGE TypeFamilies #-} module A where type family Id x = r | r -> x where .. }}} {{{ -- needed to avoid illegal self-import module B where import {-# SOURCE #-} A }}} {{{ {-# LANGUAGE TypeFamilies #-} module A where import B type family Id x = r | r -> x where Id a = a }}} I get {{{ A.hs-boot:6:1: error: Type constructor ‘Id’ has conflicting definitions in the module and its hs-boot file Main module: type family Id x = r :: * | r -> x where Id a = a Boot file: type family Id x :: * }}} Even when declaring an abstract closed type family, it should still be able to be injective. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11007> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #6018: Injective type families
by GHC 10 Nov '15

10 Nov '15

#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature request | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.4.1 Resolution: fixed | Keywords: TypeFamilies, | Injective Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: T6018, | T6018fail, T6018rnfail, T6018th, | T6018failclosed1, T6018failclosed2, | T6018ghci, T6018ghcifail, | T6018ghcirnfail Blocked By: | Blocking: Related Tickets: #4259, #10832, | Differential Rev(s): Phab:D202 #10833 | -------------------------------------+------------------------------------- Comment (by Jan Stolarek <jan.stolarek@…>): In [changeset:"3cfe60aebb9de2a1d897a111f779eacb6614b7cc/ghc" 3cfe60a/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="3cfe60aebb9de2a1d897a111f779eacb6614b7cc" Abstract TFs can have injectivity information Summary: For abstract type families we incorrectly rejected their injectivity annotation. Fixes #11007. Test Plan: #6018 Reviewers: goldfire, austin, bgamari Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1453 GHC Trac Issues: #11007 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:118> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3021: A way to programmatically insert marks into heap profiling output
by GHC 10 Nov '15

10 Nov '15

#3021: A way to programmatically insert marks into heap profiling output -------------------------------------+------------------------------------- Reporter: SamB | Owner: Type: feature request | Status: new Priority: normal | Milestone: ⊥ Component: Profiling | Version: 6.10.1 Resolution: | Keywords: profiling 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 maoe): * cc: maoe (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3021#comment:15> 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 09 Nov '15

09 Nov '15

#4863: TH crashes if you reify the Name of a dfun -------------------------------------+------------------------------------- Reporter: guest | Owner: simonpj Type: bug | Status: closed Priority: low | Milestone: ⊥ Component: Template Haskell | Version: 7.0.1 Resolution: fixed | 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: | -------------------------------------+------------------------------------- Comment (by goldfire): There's no need for one. This ticket had to do with `Name`s appearing in the TH AST where they no longer appear. Despite the ticket title, the underlying problem was a design goof, not an implementation one. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4863#comment:7> 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 09 Nov '15

09 Nov '15

#4863: TH crashes if you reify the Name of a dfun -------------------------------------+------------------------------------- Reporter: guest | Owner: simonpj Type: bug | Status: closed Priority: low | Milestone: ⊥ Component: Template Haskell | Version: 7.0.1 Resolution: fixed | 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: | -------------------------------------+------------------------------------- Comment (by simonpj): Could someone add a regression test? Thanks! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4863#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0