February 2014 - ghc-tickets

Re: [GHC] #3693: Show stack traces
by GHC 20 Feb '14

20 Feb '14

#3693: Show stack traces -------------------------------------+------------------------------------ Reporter: jpet | Owner: Tarrasch Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: Runtime System | Version: 6.10.4 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by simonpj): Thanks for the heads-up. Can anyone point me to a single write-up of * The basic idea * A specification, as precise as possible. (E.g. given a proposed Core- Core transformation, does the transformation meet the specfification or not? There are a lot of side conditions like "if `tickishSoftScope` then..." in the code.) * An overview of how the implementation works supported by examples. There are lots of related design ideas sketched here [wiki:ExplicitCallStack]. If there's a serious proposal to adopt this one, it would be helpful to have a write up in at least this level of detail, perhaps more. Maybe it exists already. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3693#comment:62> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8806: Invalid constraints should fail to type check
by GHC 20 Feb '14

20 Feb '14

#8806: Invalid constraints should fail to type check -------------------------------------------+------------------------------- Reporter: erikd | Owner: erikd Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- With ghc-7.6.3 the following code: {{{ f :: Int => Int f x = x + 1 }}} should fail to type check, but instead compiles and runs as if it was: {{{ f :: Int -> Int f x = x + 1 }}} With 7.8rc1 and git HEAD this results in an error: {{{ Expected a constraint, but ‛Int’ has kind ‛*’ In the type signature for ‛f’: f :: Int => Int }}} We should add a "shouldn't type check" test to avoid the possibilty of a regression. Also: {{{ g :: (Int => Show a) => Int g = undefined }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8806> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #5682: Properly parse promoted data constructor operators
by GHC 20 Feb '14

20 Feb '14

#5682: Properly parse promoted data constructor operators -------------------------------------+------------------------------------- Reporter: lunaris | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.8.1-rc1 (Parser) | Keywords: PolyKinds, ghc- Resolution: fixed | kinds Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: GHC rejects | Difficulty: Unknown valid program | Blocked By: Test Case: | Related Tickets: #8486 parser/should_compile/T5682 | Blocking: | -------------------------------------+------------------------------------- Comment (by Austin Seipp <austin@…>): In [changeset:"5a576754d745171422d13cd1dba69dd874714cf1/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="5a576754d745171422d13cd1dba69dd874714cf1" Add a test for d3af980 (#5682) Signed-off-by: Austin Seipp <austin(a)well-typed.com> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5682#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5682: Properly parse promoted data constructor operators
by GHC 20 Feb '14

20 Feb '14

#5682: Properly parse promoted data constructor operators -------------------------------------+------------------------------------- Reporter: lunaris | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.8.1-rc1 (Parser) | Keywords: PolyKinds, ghc- Resolution: fixed | kinds Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: GHC rejects | Difficulty: Unknown valid program | Blocked By: Test Case: | Related Tickets: #8486 parser/should_compile/T5682 | Blocking: | -------------------------------------+------------------------------------- Changes (by thoughtpolice): * status: merge => closed * resolution: => fixed Comment: Merged in b27517a53ef4a8cdc62d52289600f02e28a46a7c -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5682#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8801: Exclude extralibs from sdist
by GHC 20 Feb '14

20 Feb '14

#8801: Exclude extralibs from sdist ------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Build System | Version: 7.8.1-rc1 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Am Mittwoch, den 19.02.2014, 11:13 +0100 schrieb Herbert Valerio Riedel: On 2014-02-18 at 23:22:13 +0100, Joachim Breitner wrote: > > Am Dienstag, den 18.02.2014, 14:12 -0800 schrieb David Fox: > >> It seems to me that the stm library that is supposed to be built into > >> ghc-7.8.1 is missing. The deb provides and conflicts with > >> libghc-stm-dev , but does not provide libghc-stm-dev-2.4.2.1-abcde. > > > > this seems to be the result of a possible inadvertent change in the GHC > > source tarball creation: stm had been a "extra" lib already in 7.6 and > > before, but was not part of the tarball. > > > > Herbert or Austin, is the sdist code not doing the right thing here? > > Afaics, 'stm' is only used as an "extra" lib by testsuite (and only for > one test-case) and nofib; therefore I don't think the GHC source tarball > is supposed to contain 'stm'... (This is so that he who fixes this has a bug to close, which is always rewarding.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8801> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8792: apple does not supply lllvm i.e. opt and llc
by GHC 20 Feb '14

20 Feb '14

#8792: apple does not supply lllvm i.e. opt and llc ------------------------------------+-------------------------------------- Reporter: George | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Documentation | Version: 7.8.1-rc1 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: Documentation bug Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+-------------------------------------- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8792> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 15

[GHC] #8805: QuasiQuote should imply -dynamic-too, too
by GHC 20 Feb '14

20 Feb '14

#8805: QuasiQuote should imply -dynamic-too, too ------------------------------------+------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.1-rc1 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- (On applicable hardware and OSes. And suppose no -dynamic flag is given.) QuasiQuote does not implicitly trigger -dynamic-too. (TemplateHaskell already does, which is good.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8805> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8764: Usage of `sed' in GHC build system (Solaris build failure).
by GHC 20 Feb '14

20 Feb '14

#8764: Usage of `sed' in GHC build system (Solaris build failure). --------------------------------+---------------------------------------- Reporter: kgardas | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.9 Keywords: | Operating System: Solaris Architecture: x86 | Type of failure: Building GHC failed Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | --------------------------------+---------------------------------------- Hello, I've found that (1) GHC's configure attempts to find the GNU sed and once found it's saved into the SED makefile variable. But (2) a lot of GHC's makefiles are using straight 'sed' instead of '$(SED)', i.e found GNU sed. The reason for this bugreport is that on Solaris, the provided sed fails on parsing sed expression in rules-builddependencies.mk. I've solved this issue by fixing 'sed' to '$(SED)' there (patch attached), but the general question is if this should not be fixed everywhere. Thanks! Karel -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8764> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 16

[GHC] #8719: clarify prefetch release notes + remove some deadcode
by GHC 20 Feb '14

20 Feb '14

#8719: clarify prefetch release notes + remove some deadcode ------------------------------------+------------------------------------- Reporter: carter | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.8.1-rc1 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- https://github.com/cartazio/ghc/compare/ghc:ghc-7.8...amend-prefetch- release-notes noticed some deadcode in the -fvia-c related to prefetch, removes that too i have those two as separate commits so they can be handled more easily -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8719> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #8795: Build fails on Solaris 10 due to missing ranlib
by GHC 20 Feb '14

20 Feb '14

#8795: Build fails on Solaris 10 due to missing ranlib -------------------------------------+------------------------------------- Reporter: kgardas | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Keywords: | Operating System: Solaris Architecture: x86_64 (amd64) | Type of failure: Building GHC Difficulty: Easy (less than 1 | failed hour) | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- Hello, On Solaris 10 and GHC HEAD I get this compilation failure: {{{ Linking utils/ghc-cabal/dist/build/tmp/ghc-cabal ... "touch" utils/ghc-cabal/dist/build/tmp/ghc-cabal "cp" utils/ghc-cabal/dist/build/tmp/ghc-cabal inplace/bin/ghc-cabal "inplace/bin/mkdirhier" compiler/stage1/build//. "rm" -f compiler/stage1/build/Config.hs Creating compiler/stage1/build/Config.hs ... done. "inplace/bin/ghc-cabal" configure libraries/Cabal/Cabal dist-boot "" --with-ghc="/home/karel/sfw/ghc-7.6.3-new-dist/bin/ghc" --with-ghc- pkg="/home/karel/sfw/ghc-7.6.3-new-dist/bin/ghc-pkg" --package- db=/silence/home/karel/vcs/ghc-src/ghc-sunos5.1x-ranlib- fix/libraries/bootstrapping.conf --disable-library-for-ghci --enable- library-vanilla --enable-library-for-ghci --disable-library-profiling --disable-shared --configure-option=CFLAGS=" -U__i686 " --configure- option=LDFLAGS=" " --configure-option=CPPFLAGS=" " --constraint "Cabal == 1.18.1.3" --constraint "hpc == 0.6.0.1" --constraint "bin- package-db == 0.0.0.0" --constraint "hoopl == 3.10.0.0" --constraint "transformers == 0.3.0.0" --constraint "terminfo == 0.4.0.0" --with- gcc="/usr/sfw/bin/gcc" --configure-option=--with-cc="/usr/sfw/bin/gcc" --with-ar="/usr/xpg4/bin/ar" --with-ranlib=":" --with- alex="/home/karel/.cabal/bin/alex" --with- happy="/home/karel/.cabal/bin/happy" Configuring Cabal-1.18.1.3... ghc-cabal: Cannot find the program 'ranlib' at ':' or on the path gmake[1]: *** [libraries/Cabal/Cabal/dist-boot/package-data.mk] Error 1 }}} the reason for this failure is that in configure.ac we're using FP_PROG_AR_NEEDS_RANLIB which is defined in aclocal.m4 and uses AC_PROG_RANLIB in its body. The problem is that if ranlib is not found then AC_PROG_RANLIB sets RANLIB variable to `:' which is preferred way of no-op in POSIX shell even slightly more preferable than setting it to true (google for it if you care). Anyway, ghc-cabal tries to execute `:', but this fails since this is shell built-in and not the program/application on the target OS. The fix should be easy, test if RANLIB is set to `:' and set it to true. This works since true is actually a program/application on Solaris 10: {{{ $ which true /usr/bin/true }}} Please note that such failure will happen on all OSes (Unix(-like)) which do not provide ranlib command. Also please note that Solaris 11 is not hit by this issue since it provides ranlib in a form of shell wrapper actually calling just `exit 0' -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8795> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5